def mk.if

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

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

import Base

526def mk.if(ok: Bool, t: DateTime) -> Maybe<&2, Instant>:
527  match ok:
528    case True{}:
529      Some{DateTime.to_instant(t)}
530    case False{}:
531      None{}

Uses (5)

Used by (1)

bend-kit-time@0.3.0.0/time:mk