Collect.states: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/collect.bend as Collect
Lines 275-280 of cswap-bend-cli@0.1.0.0/collect.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&start_line=275&end_line=280

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

def states(xs: List<&2, Info>, +rows: Json.Json, +now: U32) -> IO(List<&2, St>):
  match xs:
    case Nil{}:
      IO.pure(List<&2, St>, [])
    case Con{h, t}:
      IO.bind(St, List<&2, St>, st.of(h, rows, now), s => IO.bind(List<&2, St>, List<&2, St>, states(t, rows, now), rest => IO.pure(List<&2, St>, s <> rest)))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=Info
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=st.of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json