~/jendhub

def Zone.local.at

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

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

1198def Zone.local.at(m: Maybe<&2, Ttype>, i: Instant) -> Maybe<&2, DateTime>:
1199  match m:
1200    case None{}:
1201      None{}
1202    case Some{Ttype{off, dst, abbr}}:
1203      DateTime.of_instant(Instant.add(i, Duration.of_secs(off)))

Uses (7)

Used by (1)