def release_recovered

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

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/state.bend as St

134# Lift the quarantine of an account whose email or credential changed since
135# it was quarantined (the user logged in again); answer the events.
136def release_recovered(+root: String, +seq: Json.Json, +ts: String) -> Act.of(List<&2, Json.Json>):
137  do ActM<List<&2, Json.Json>>:
138    +st : Json.Json <- Act.lift(Json.Json, St.read_state(root))
139    rs : List<&2, Rel> <- rels(root, seq, st, St.quarantined_slots(st))
140    release_events(root, rs, ts)