~/jendhub

def Zone.at.fallback

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

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

1170def Zone.at.fallback(m: Maybe<&2, Ttype>, types: List<&2, Ttype>, ts: List<&2, Trans>, secs: Int.I64) -> Maybe<&2, Ttype>:
1171  match m:
1172    case Some{t}:
1173      Some{t}
1174    case None{}:
1175      List.get(&2, Ttype, types, U32.to_nat(Zone.find(ts, secs, 0)))

Uses (8)

Used by (1)