emerging-eztoml Releases (3): 0.9.0.0 0xc5d9d3e28b79ea98be22eb42c7e37802 indexed https://jend.leeeet.dev/files.txt?path=emerging-eztoml@0.9.0.0 0.8.0.0 0x8fb95168b7719a8faec16af7ee47b246 unindexed https://jend.leeeet.dev/files.txt?path=emerging-eztoml@0.8.0.0 0.7.0.0 0x4afaf2f58f67e5fd7f1096ab1d08c6d2 unindexed https://jend.leeeet.dev/files.txt?path=emerging-eztoml@0.7.0.0 Definitions (704, 1 to 100 shown): EmergingEztoml.Sign (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Sign) # the sign of an integer, a float, or a zone offset type Sign is Data: Plus{} Minus{} EmergingEztoml.Date (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Date) # a calendar date: year, month, day type Date is Data: Date{y: U32, mo: U32, d: U32} EmergingEztoml.Clock (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Clock) # a time of day. frac is the fractional second, empty when there is none type Clock is Data: Clock{h: U32, mi: U32, s: U32, frac: String} EmergingEztoml.Zone (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Zone) # a zone offset: Z, or a numeric offset type Zone is Data: Zulu{} Shift{sign: Sign, h: U32, mi: U32} EmergingEztoml.When (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=When) # the four TOML datetime forms type When is Data: WOff{date: Date, clock: Clock, zone: Zone} WLocal{date: Date, clock: Clock} WDate{date: Date} WTime{clock: Clock} EmergingEztoml.Val (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val) # one TOML value. Tables remember the dotted path they were opened under. # An inline table is VInl. An array of tables is VAots, and each element is # VAot. VPair is a key in a table. VSpan is a plain string: the first n # characters of a source suffix. type Val is Data: VStr{text: String} VSpan{src: String, n: U32} VInt{sign: Sign, digits: String} VFlo{sign: Sign, text: String} VBool{bit: Bool} VWhen{when: When} … EmergingEztoml.Hit (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Hit) # a key found in a table, or not type Hit is Data: Found{val: Val} Miss{} EmergingEztoml.Doc (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Doc) # a parsed document: the first error, and the root table in order type Doc is Data: Doc{bad: String, rows: List<&2, Val>} EmergingEztoml.Got (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Got) # a value read from a bare word, or the reason it is not one type Got is Data: GotVal{val: Val} GotBad{why: String} EmergingEztoml.Dig (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Dig) # digits taken from the front of a character list type Dig is Data: DigOk{n: U32, cs: List<&2, Char>} DigBad{} EmergingEztoml.WhenOut (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=WhenOut) # what a datetime scan produced type WhenOut is Data: WSome{when: When} WFail{why: String} WSkip{} EmergingEztoml.NK (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=NK) # a decimal numeral being built, least-significant digit first type NK is Data: NLead{} NSign{} NZero{} NDig{} NBase{} NFrac{} NExp{} NEDig{} NBad{} EmergingEztoml.Num (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Num) # the numeral scan type Num is Data: Num{nk: NK, sign: Sign, base: U32, ds: List<&2, U32>, us: Bool, saw: Bool, why: String} EmergingEztoml.BK (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=BK) # how a basic-string character is written type BK is Data: BKCh{} BKHex{} BKEsc{mark: Char} EmergingEztoml.Lex (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Lex) # where the scanner is in a document type Lex is Data: LTop{} LLine{} LKey{} LKeyDot{} LAfter{} LKeyQ{} LKeyE{} LKeyU{} LVal{} … EmergingEztoml.QKind (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=QKind) # which quotes a string is using type QKind is Data: QBasic{} QLit{} QMulti{} QMultiLit{} EmergingEztoml.Hold (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Hold) # one character to read again type Hold is Data: HNone{} HChar{c: Char} EmergingEztoml.Ctx (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Ctx) # an open array or inline table type Ctx is Data: CArr{items: List<&2, Val>, parts: List<&2, String>, here: List<&2, String>} CInl{rows: List<&2, Val>, parts: List<&2, String>, here: List<&2, String>} EmergingEztoml.St (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=St) # the scanner type St is Data: St{bad: String, rows: List<&2, Val>, heads: List<&2, String>, here: List<&2, String>, parts: List<&2, String>, buf: List<&2, Char>, lex: Lex, back: Lex, qkind: QKind, stack: List<&2, Ctx>, hold: Hold, uni: U32, left: U32, arrtab: Bool, lead: Bool} EmergingEztoml.Esc (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Esc) # an escape in a basic string type Esc is Data: EChar{c: Char} EUni{n: U32} EFold{saw: Bool} EBad{} EmergingEztoml.bare.at (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=bare.at) # a character a bare key may hold def bare.at(+cc: Char) -> Bool: EmergingEztoml.bare.all.step (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=bare.all.step) # one step of the bare-key walk, with the head's answer in hand def bare.all.step(here: Bool, rest: Unit -> Bool) -> Bool: EmergingEztoml.bare.all (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=bare.all) # whether every character of a key is one a bare key may hold def bare.all(cs: List<&2, Char>) -> Bool: EmergingEztoml.bare (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=bare) # whether a key can be written without quotes def bare(+ss: String) -> Bool: EmergingEztoml.hex.char.go (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=hex.char.go) # one hex nibble as a character def hex.char.go(dec: Bool, nn: U32) -> Char: EmergingEztoml.hex.char (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=hex.char) # one hex nibble as a character def hex.char(+nn: U32) -> Char: EmergingEztoml.basic.hex (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.hex) # four lowercase hex digits of a code point, then the \u introducer, reversed def basic.hex(+uu: U32, out: List<&2, Char>) -> List<&2, Char>: EmergingEztoml.basic.esc (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.esc) # an escape mark reversed onto the output: the mark, then the backslash def basic.esc(mark: Char, out: List<&2, Char>) -> List<&2, Char>: EmergingEztoml.basic.cls.hex (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.cls.hex) # other controls are \u escapes; the rest are themselves def basic.cls.hex(hit: Bool) -> BK: EmergingEztoml.basic.cls.bslash (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.cls.bslash) # backslash def basic.cls.bslash(hit: Bool, +uu: U32) -> BK: EmergingEztoml.basic.cls.quote (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.cls.quote) # quotation mark def basic.cls.quote(hit: Bool, +uu: U32) -> BK: EmergingEztoml.basic.cls.cr (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.cls.cr) # carriage return def basic.cls.cr(hit: Bool, +uu: U32) -> BK: EmergingEztoml.basic.cls.ff (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.cls.ff) # form feed def basic.cls.ff(hit: Bool, +uu: U32) -> BK: EmergingEztoml.basic.cls.lf (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.cls.lf) # line feed def basic.cls.lf(hit: Bool, +uu: U32) -> BK: EmergingEztoml.basic.cls.tab (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.cls.tab) # tab def basic.cls.tab(hit: Bool, +uu: U32) -> BK: EmergingEztoml.basic.cls.bs (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.cls.bs) # backspace, then the rest def basic.cls.bs(hit: Bool, +uu: U32) -> BK: EmergingEztoml.basic.cls (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.cls) # the class of a code point in a basic string def basic.cls(+uu: U32) -> BK: EmergingEztoml.basic.disp (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.disp) # one character of a basic string, reversed onto the output def basic.disp(kk: BK, cc: Char, uu: U32, out: List<&2, Char>) -> List<&2, Char>: EmergingEztoml.basic.one (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.one) # one character of a basic string def basic.one(+cc: Char, out: List<&2, Char>) -> List<&2, Char>: EmergingEztoml.basic.go (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.go) # the escaped characters of a basic string, reversed def basic.go(cs: List<&2, Char>, out: List<&2, Char>) -> List<&2, Char>: EmergingEztoml.buf.str.go (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=buf.str.go) # the buffer is reversed, so each head goes on the front of the text def buf.str.go(buf: List<&2, Char>, acc: String) -> String: EmergingEztoml.buf.str (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=buf.str) # the buffer, in order def buf.str(buf: List<&2, Char>) -> String: EmergingEztoml.key.basic (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=key.basic) # a basic string: quotes, with controls and quotes escaped def key.basic(+ss: String) -> String: EmergingEztoml.key.go (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=key.go) # bare when the name allows it, otherwise a basic string def key.go(ok: Bool, +ss: String) -> String: EmergingEztoml.key (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=key) # a key as TOML writes it def key(+ss: String) -> String: EmergingEztoml.dec.carry.c0 (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.carry.c0) # the overflow of a decimal step, least-significant digit first def dec.carry.c0(zz: Bool, cc: U32) -> List<&2, U32>: EmergingEztoml.dec.carry.c (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.carry.c) # the overflow of a decimal step def dec.carry.c(+cc: U32) -> List<&2, U32>: EmergingEztoml.dec.carry.b0 (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.carry.b0) # the next digit of an overflow def dec.carry.b0(zz: Bool, +cc: U32) -> List<&2, U32>: EmergingEztoml.dec.carry.b (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.carry.b) # the next digit of an overflow def dec.carry.b(+cc: U32) -> List<&2, U32>: EmergingEztoml.dec.carry.a (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.carry.a) # the first digit of an overflow def dec.carry.a(zz: Bool, +cc: U32) -> List<&2, U32>: EmergingEztoml.dec.carry (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.carry) # the digits of a leftover carry def dec.carry(+cc: U32) -> List<&2, U32>: EmergingEztoml.dec.go (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.go) # multiply a decimal numeral by a radix and add a digit def dec.go(ds: List<&2, U32>, +radix: U32, +carry: U32) -> List<&2, U32>: EmergingEztoml.dec.ch (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.ch) # a digit character def dec.ch(dd: U32) -> Char: EmergingEztoml.dec.chars (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.chars) # digits as characters, in the order given def dec.chars(ds: List<&2, U32>) -> List<&2, Char>: EmergingEztoml.dec.drop.lead (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.drop.lead) # whether a leading zero is still being skipped def dec.drop.lead(lead: Bool, +hh: Char) -> Bool: EmergingEztoml.dec.drop.outz (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.drop.outz) # a leading zero is skipped; any other character is kept def dec.drop.outz(zz: Bool, hh: Char, out: List<&2, Char>) -> List<&2, Char>: EmergingEztoml.dec.drop.out (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.drop.out) # the output after one character, reversed def dec.drop.out(lead: Bool, +hh: Char, out: List<&2, Char>) -> List<&2, Char>: EmergingEztoml.dec.drop.end (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.drop.end) # the numeral, or 0 when every digit was zero def dec.drop.end(lead: Bool, out: List<&2, Char>) -> String: EmergingEztoml.dec.drop (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.drop) # drop leading zeros from a most-significant-first digit list def dec.drop(cs: List<&2, Char>, +lead: Bool, out: List<&2, Char>) -> String: EmergingEztoml.dec.text (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.text) # a decimal numeral. The digit list is least-significant first def dec.text(ds: List<&2, U32>) -> String: EmergingEztoml.dig.up (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dig.up) # a code point's digit value, or 99 when the character is not a digit def dig.up(ok: Bool, uu: U32) -> U32: EmergingEztoml.dig.low (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dig.low) # a lowercase hex digit, otherwise an uppercase one def dig.low(ok: Bool, +uu: U32) -> U32: EmergingEztoml.dig.dec (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dig.dec) # a decimal digit, otherwise a hex letter def dig.dec(ok: Bool, +uu: U32) -> U32: EmergingEztoml.dig.val (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dig.val) # the value of a digit character, or 99 def dig.val(+cc: Char) -> U32: EmergingEztoml.dig.ok (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dig.ok) # whether a digit value fits a base def dig.ok(dd: U32, base: U32) -> Bool: EmergingEztoml.take.acc.d (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=take.acc.d) # exactly k digits, or DigBad def take.acc.d(digit: Bool, nn: U32, +cc: Char) -> U32: EmergingEztoml.take.acc (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=take.acc) # the accumulator after one character def take.acc(ok: Bool, nn: U32, +cc: Char) -> U32: EmergingEztoml.take.ok (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=take.ok) # the scan stays well only while every character is a digit def take.ok(ok: Bool, +cc: Char) -> Bool: EmergingEztoml.take.fin (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=take.fin) # the finished take def take.fin(ok: Bool, nn: U32, cs: List<&2, Char>) -> Dig: EmergingEztoml.take.n (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=take.n) # exactly k digits from the front of a list def take.n(kk: Nat, cs: List<&2, Char>, nn: U32, +ok: Bool) -> Dig: EmergingEztoml.bound.rng (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=bound.rng) # a number is inside the inclusive bounds def bound.rng(+nn: U32, lo: U32, hi: U32) -> Bool: EmergingEztoml.pad2.go (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=pad2.go) # two digits, zero padded def pad2.go(small: Bool, nn: U32) -> String: EmergingEztoml.text.pad2 (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=text.pad2) # two digits, zero padded def text.pad2(+nn: U32) -> String: EmergingEztoml.pad4.big (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=pad4.big) # the one-zero pad, or the digits themselves def pad4.big(nn: U32, big: Bool) -> String: EmergingEztoml.pad4.mid (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=pad4.mid) # the three-digit and two-digit pads def pad4.mid(nn: U32, mid: Bool, big: Bool) -> String: EmergingEztoml.pad4.go (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=pad4.go) # four digits, zero padded def pad4.go(nn: U32, small: Bool, mid: Bool, big: Bool) -> String: EmergingEztoml.text.pad4 (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=text.pad4) # four digits, zero padded def text.pad4(+nn: U32) -> String: EmergingEztoml.zone.mark (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=zone.mark) # the sign of a zone offset def zone.mark(sign: Sign) -> String: EmergingEztoml.zone.shift (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=zone.shift) # a numeric zone offset def zone.shift(sign: Sign, hh: U32, mi: U32) -> String: EmergingEztoml.zone.text (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=zone.text) # a zone suffix def zone.text(zz: Zone) -> String: EmergingEztoml.clock.frac.go (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=clock.frac.go) # the fractional second, or nothing def clock.frac.go(empty: Bool, frac: String) -> String: EmergingEztoml.clock.frac (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=clock.frac) # the fractional second, or nothing def clock.frac(+frac: String) -> String: EmergingEztoml.clock.text (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=clock.text) # a clock, with a fractional second when it has one def clock.text(cc: Clock) -> String: EmergingEztoml.date.text (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=date.text) # a date def date.text(dd: Date) -> String: EmergingEztoml.when.text (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.text) # a datetime in TOML spelling def when.text(ww: When) -> String: EmergingEztoml.sign.text (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=sign.text) # the sign of an integer or a float, empty when it is positive def sign.text(sign: Sign) -> String: EmergingEztoml.cs.some (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=cs.some) # whether the list still has a character def cs.some(cs: List<&2, Char>) -> Bool: EmergingEztoml.cs.head (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=cs.head) # one character, when the list has one def cs.head(cs: List<&2, Char>) -> Char: EmergingEztoml.cs.tail (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=cs.tail) # the tail of a list def cs.tail(cs: List<&2, Char>) -> List<&2, Char>: EmergingEztoml.clock.with (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=clock.with) # a clock with its fraction filled in def clock.with(cc: Clock, frac: String) -> Clock: EmergingEztoml.when.done (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.done) # a finished local datetime, or one with a zone still to read def when.done(_date: Date, _clock: Clock, ww: When) -> WhenOut: EmergingEztoml.when.zone.z (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.zone.z) # Z ends the token def when.zone.z(tt: List<&2, Char>, clock: Clock, date: Date) -> WhenOut: EmergingEztoml.when.zone.mm.ok2 (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.zone.mm.ok2) # the offset minute is in range def when.zone.mm.ok2(mi_ok: Bool, sign: Sign, hh: U32, mi: U32, clock: Clock, date: Date) -> WhenOut: EmergingEztoml.when.zone.mm.ok (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.zone.mm.ok) # the offset fields are in range def when.zone.mm.ok(h_ok: Bool, mi_ok: Bool, sign: Sign, hh: U32, mi: U32, clock: Clock, date: Date) -> WhenOut: EmergingEztoml.when.zone.mm.end (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.zone.mm.end) # nothing follows an offset, and its fields are in range def when.zone.mm.end( cs: List<&2, Char>, h_ok: Bool, mi_ok: Bool, sign: Sign, hh: U32, mi: U32, clock: Clock, date: Date ) -> WhenOut: EmergingEztoml.when.zone.mm.go (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.zone.mm.go) # the offset minute is in range def when.zone.mm.go(dd: Dig, sign: Sign, +hh: U32, clock: Clock, date: Date) -> WhenOut: EmergingEztoml.when.zone.mm (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.zone.mm) # the offset minute def when.zone.mm(hit: Bool, dd: Dig, sign: Sign, hh: U32, clock: Clock, date: Date) -> WhenOut: EmergingEztoml.when.zone.hh.colon (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.zone.hh.colon) # the colon in an offset def when.zone.hh.colon(cs: List<&2, Char>, sign: Sign, hh: U32, clock: Clock, date: Date) -> WhenOut: EmergingEztoml.when.zone.hh (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.zone.hh) # the offset hour def when.zone.hh(dd: Dig, sign: Sign, clock: Clock, date: Date) -> WhenOut: EmergingEztoml.when.zone.off (https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.zone.off) # HH:MM of a numeric offset def when.zone.off(sign: Sign, tt: List<&2, Char>, clock: Clock, date: Date) -> WhenOut: More: https://jend.leeeet.dev/packages/emerging-eztoml.txt?definitions_offset=100