def judged_grant

cswap-bend-cli@0.1.0.0 · daemon/freshen.bend:109

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/daemon/identity.bend as Id

109def judged_grant(+error: Maybe<&2, String>, +root: String, +slot: String, +acct: Json.Json) -> Act.of(String):
110  match error:
111    case None{}:
112      Id.check(root, slot, acct)
113    case Some{e}:
114      Act.pure(String, refresh_status(Some{e}))