~/jendhub

def when.clock.mm.colon

emerging-eztoml@0.9.0.0 · main.bend:869

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

869# the colon after the minutes
870def when.clock.mm.colon(cs: List<&2, Char>, hh: U32, mi: U32, date: Date) -> WhenOut:
871  match cs:
872    case []:
873      WFail{"invalid time"}
874    case +c <> t:
875      when.clock.ss(Char.is_eq(c, ':'), take.n(2n, t, 0, True{}), hh, mi, date)

Uses (9)

Used by (1)