~/jendhub

def found

cswap-bend-cli@0.1.0.0 · profile.bend:120

import cswap-bend-cli@0.1.0.0/profile.bend as Profile
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/policy/safe.bend as SF

120def found(+s: Maybe<&2, Json.Json>, +b: Maybe<&2, Prof>, +name: String) -> Maybe<&2, Prof>:
121  match s:
122    case Some{j}:
123      Some{of_json(name, j, algo_base(Maybe.default(&2, Prof, b, bare(name, SF.ABest{}))))}
124    case None{}:
125      b

Uses (9)

Used by (1)