~/jendhub

def tz.date.time

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

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

964def tz.date.time(d: TzDay, rest: String) -> Maybe<&2, TzDatePart>:
965  match rest:
966    case SCon{Chr{47}, t}:
967      do Maybe<&2, TzDatePart>:
968        r : TzClock <- tz.clock.sign(t, 167)
969        tz.date.clock(d, r)
970    case _:
971      Some{TzDatePart{TzDate{d, i64(7200)}, rest}}

Uses (15)

Used by (1)