def ents_of

cswap-bend-cli@0.1.0.0 · daemon/gather.bend:87

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

87def ents_of(+root: String, +seq: Json.Json, +slots: List<&2, String>, +st: Json.Json) -> Act.of(List<&2, Ent>):
88  match slots:
89    case Nil{}:
90      Act.pure(List<&2, Ent>, [])
91    case Con{s, t}:
92      do ActM<List<&2, Ent>>:
93        e : Ent <- ent_one(root, seq, s, st)
94        rest : List<&2, Ent> <- ents_of(root, seq, t, st)
95        return e <> rest