Step.item.ent: def of bend-toon-codec@0.1.0.0 Import: import bend-toon-codec@0.1.0.0/src/step.bend as Step Lines 148-158 of bend-toon-codec@0.1.0.0/src/step.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/step.bend&start_line=148&end_line=158 import Base import bend-toon-codec@0.1.0.0/src/json.bend as J import bend-toon-codec@0.1.0.0/src/prim.bend as P import bend-toon-codec@0.1.0.0/src/entry.bend as E import bend-toon-codec@0.1.0.0/src/frame.bend as F # A list item whose text parsed as an entry or as nothing special. def item.ent(+r: Result<&2, &2, String, E.Ent>, +t: String, +strict: Bool, +dp: U32, +a: F.Att, +n: U32, +c: U32, +xs: J.Json, +rest: List<&2, F.Fr>, +root: Maybe<&2, J.Json>, +bmin: U32) -> Result<&2, &2, String, F.St>: match r: case Fail{e}: Fail{e} case Done{E.ENot{}}: item.prim(P.parse(t), dp, a, n, c, xs, rest, root, bmin) case Done{E.EArr{None{}, h}}: item.arr(arr_start(F.AItem{}, (dp + 1 : U32), h, strict), dp, a, n, c, xs, rest, root, bmin) case Done{ent}: obj.ent(ent, (dp + 1 : U32), F.AItem{}, J.JNil{}, Con{F.FLst{dp, a, n, (c + 1 : U32), xs}, rest}, root, bmin, strict) Uses (17): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/entry.bend&name=Ent https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/frame.bend&name=Att https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/frame.bend&name=Fr https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/frame.bend&name=St https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/json.bend&name=Json https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/prim.bend&name=parse https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/step.bend&name=arr_start https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/step.bend&name=item.arr https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/step.bend&name=item.prim https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/step.bend&name=obj.ent