~/jendhub

def keys_check

cswap-bend-cli@0.1.0.0 · cfgio.bend:178

import cswap-bend-cli@0.1.0.0/cfgio.bend as Cfgio
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
import cswap-bend-cli@0.1.0.0/setimp.bend as Imp

178def keys_check(only: Bool, +doc: Json.Json) -> Act.of(Unit):
179  match only:
180    case True{}:
181      lift_unit(Imp.profile_only(Json.keys(doc)))
182    case False{}:
183      Act.pure(Unit, Unit{})

Uses (8)

Used by (1)