def drop_mismatch

cswap-bend-cli@0.1.0.0 · swcreds.bend:217

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/swbase.bend as B
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase

217# An email match whose stored uuid disagrees is not a match.
218def drop_mismatch(+m: Maybe<&2, String>, +seq: Json.Json, +uuid: String) -> Maybe<&2, String>:
219  match m:
220    case Some{n}:
221      B.sel_ms(SBase.nonempty(uuid) && SBase.nonempty(stored_uuid(seq, n)) && Bool.not(String.eq(stored_uuid(seq, n), uuid)), None{}, Some{n})
222    case None{}:
223      None{}