~/jendhub

def when.frac.digit

emerging-eztoml@0.9.0.0 · main.bend:778

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

778# one fractional digit, or the end of the fraction
779def when.frac.digit(
780  digit: Bool,
781  +cc: Char,
782  tt: List<&2, Char>,
783  rev: List<&2, Char>,
784  clock: Clock,
785  date: Date,
786  more: Unit -> WhenOut
787) -> WhenOut:
788  match digit:
789    case True{}:
790      more(Unit{})
791    case False{}:
792      when.frac.end(rev, clock, date, cc <> tt)

Uses (8)

Used by (1)