~/jendhub

def when.after.date

emerging-eztoml@0.9.0.0 · main.bend:925

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

925# the character after a date: nothing, T, or a space, and then a time
926def when.after.date(date: Date, cs: List<&2, Char>) -> WhenOut:
927  match cs:
928    case []:
929      WSome{WDate{date}}
930    case +c <> t:
931      when.after.sep(Bool.or(Char.is_eq(c, 'T'), Char.is_eq(c, 't')),
932        Char.is_eq(c, ' '), date, t)

Uses (8)

Used by (1)