~/jendhub

def tz.day.weekday

bend-kit-time@0.3.0.0 · time.bend:920

import bend-kit-time@0.3.0.0/time.bend as Time
import Base

920def tz.day.weekday(c: TzField, +month: U32, +week: U32) -> Maybe<&2, TzDayPart>:
921  match c:
922    case TzField{+weekday, rest}:
923      tz.day.valid(Bool.and(U32.is_ge(month, 1), Bool.and(U32.is_le(month, 12),
924        Bool.and(U32.is_ge(week, 1), Bool.and(U32.is_le(week, 5), U32.is_le(weekday, 6))))),
925        MonthWeek{month, week, weekday}, rest)

Uses (9)

Used by (1)