~/jendhub

def when.after.sep

emerging-eztoml@0.9.0.0 · main.bend:917

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

917# T or a space separates a date from a time
918def when.after.sep(tee: Bool, sp: Bool, date: Date, tt: List<&2, Char>) -> WhenOut:
919  match tee:
920    case True{}:
921      when.clock.of(take.n(2n, tt, 0, True{}), date)
922    case False{}:
923      when.after.sp(sp, date, tt)

Uses (8)

Used by (1)