EmergingEztoml.when.day.end: def of emerging-eztoml@0.9.0.0 Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml Lines 1028-1034 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=1028&end_line=1034 import Base # a complete date, then whatever follows it def when.day.end(dd: Dig, yy: U32, mo: U32) -> WhenOut: match dd: case DigBad{}: WFail{"invalid date"} case DigOk{n, cs}: when.date.ok(yy, mo, n, cs) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Dig https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=WhenOut https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.date.ok