~/jendhub

def gated.env

cswap-bend-cli@0.1.0.0 · usage/gate.bend:170

import cswap-bend-cli@0.1.0.0/usage/gate.bend as Gate
import Base

170def gated.env(r: Result<&1, &1, U32 & String, String>, +slot: String, +email: String, +snapshot: String, +root: String) -> IO(Gated):
171  match r:
172    case Fail{e}:
173      gated.go(slot, email, snapshot, root)
174    case Done{+v}:
175      gated.env2(Bool.not(String.is_empty(v)), slot, email, snapshot, root)

Uses (10)

Used by (1)