~/jendhub

def Zone.at

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

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

1192# The local time type at i. The footer applies strictly after the final explicit transition.
1193def Zone.at(z: Zone, i: Instant) -> Maybe<&2, Ttype>:
1194  match z i:
1195    case Zone{ts, types, +tz} Instant{s, n}:
1196      Zone.at.tz(String.eq(tz, ""), tz, types, ts, s)

Uses (6)

Used by (1)