def pre.got

cswap-bend-cli@0.1.0.0 · usage.bend:148

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/usage/gate.bend as UGate

148def pre.got(c: Maybe<&2, String>, e: Maybe<&2, String>, consumed: Maybe<&2, String>, gate: UGate.Gate, +cred: String, +o: Json.Json, +token: String, +active: Bool, +now: U32, +off: U32) -> IO(Fetched):
149  match c:
150    case Some{new}:
151      pre.new(gate, new, token, active, now, off)
152    case None{}:
153      pre.fail(e, consumed, gate, cred, o, token, active, now, off)