def check_slot

cswap-bend-cli@0.1.0.0 · daemon/quarantine.bend:90

import cswap-bend-cli@0.1.0.0/daemon/quarantine.bend as Quarantine
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/store/io.bend as SIo
import cswap-bend-cli@0.1.0.0/daemon/state.bend as St

90def check_slot(+root: String, +seq: Json.Json, +st: Json.Json, +slot: String) -> Act.of(Maybe<&2, Rel>):
91  Act.cond(Maybe<&2, Rel>, gone(SIo.slot_email(seq, slot), St.entry_email(st, slot)),
92    Act.pure(Maybe<&2, Rel>, replaced(slot, St.entry_email(st, slot))),
93    compare_fp(root, st, slot, SIo.slot_email(seq, slot)))

Uses (12)

Used by (1)