def infos.go
cswap-bend-cli@0.1.0.0 · collect.bend:119
import cswap-bend-cli@0.1.0.0/collect.bend as Collect
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act
119def infos.go(ns: List<&2, U32>, +seq: Json.Json, +am: Maybe<&2, String>, +live: String, +root: String) -> Act.of(List<&2, Info>):
120 match ns:
121 case Nil{}:
122 Act.pure(List<&2, Info>, [])
123 case Con{n, t}:
124 Act.bind(Info, List<&2, Info>, info.one(seq, n, am, live, root),
125 i => Act.bind(List<&2, Info>, List<&2, Info>, infos.go(t, seq, am, live, root), rest => Act.pure(List<&2, Info>, i <> rest)))