EmergingEztoml.wf.go: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 6331-6360 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=6331&end_line=6360

import Base

# a list of values, well-formed where it sits
def wf.go(vs: List<&2, Val>, +at: WfAt) -> Bool:
  match vs:
    case []:
      True{}
    case VPair{+name, VHead{+path, rows}} <> +t:
      wf.head(at, name, path, t,
        _u => wf.then(wf.go(rows, WfRows{path}), _v => wf.go(t, at)))
    case VPair{+name, VAots{+path, +elems}} <> +t:
      wf.aots(at, name, path, Bool.not(List.is_empty(&2, Val, elems)), t,
        _u => wf.then(wf.go(elems, WfElems{path}), _v => wf.go(t, at)))
    case VPair{+name, VArr{items}} <> +t:
      wf.pair(at, name, t, True{},
        _u => wf.then(wf.go(items, WfItems{}), _v => wf.go(t, at)))
    case VPair{+name, VInl{rows}} <> +t:
      wf.pair(at, name, t, True{},
        _u => wf.then(wf.go(rows, WfInl{}), _v => wf.go(t, at)))
    case VPair{+name, val} <> +t:
      wf.pair(at, name, t, wf.atom(val), _u => wf.go(t, at))
    case VAot{+path, rows} <> t:
      wf.aot(at, path,
        _u => wf.then(wf.go(rows, WfRows{path}), _v => wf.go(t, at)))
    case VArr{items} <> t:
      wf.item(at, True{},
        _u => wf.then(wf.go(items, WfItems{}), _v => wf.go(t, at)))
    case VInl{rows} <> t:
      wf.item(at, True{},
        _u => wf.then(wf.go(rows, WfInl{}), _v => wf.go(t, at)))
    case val <> t:
      wf.item(at, wf.atom(val), _u => wf.go(t, at))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.is_empty
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=WfAt
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.aot
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.aots
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.atom
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.head
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.item
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.pair
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.then