def when.after.sp

emerging-eztoml@0.9.0.0 · main.bend:909

import Base

909# a space separates a date from a time
910def when.after.sp(sp: Bool, date: Date, tt: List<&2, Char>) -> WhenOut:
911  match sp:
912    case True{}:
913      when.clock.of(take.n(2n, tt, 0, True{}), date)
914    case False{}:
915      WFail{"invalid datetime"}