def gated.locked

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

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/lock.bend as Lock

154def gated.locked(+slot: String, +email: String, +snapshot: String, +root: String, +ms: U32) -> IO(Gated):
155  IO.bind(Fs.Res(Gated), Gated,
156    Lock.with_lock(Gated, consume.path(root, slot), ms, gate.act(enc.path(root, slot, email), snapshot)),
157    r => IO.pure(Gated, locked.res(r)))