def when.after2.go

emerging-eztoml@0.9.0.0 · main.bend:1100

import Base

1100# two digits decide a time or a date
1101def when.after2.go(cs: List<&2, Char>, nn: U32) -> WhenOut:
1102  match cs:
1103    case []:
1104      WFail{"invalid datetime"}
1105    case +c <> t:
1106      when.branch(Char.is_eq(c, ':'), Char.is_digit(c), nn, c, t)