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)))

Uses (10)

Used by (1)