Quarantine.compare_fp: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/quarantine.bend as Quarantine
Lines 84-88 of cswap-bend-cli@0.1.0.0/daemon/quarantine.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/quarantine.bend&start_line=84&end_line=88

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
import cswap-bend-cli@0.1.0.0/daemon/freshen.bend as Fr

def compare_fp(+root: String, +st: Json.Json, +slot: String, +email_now: String) -> Act.of(Maybe<&2, Rel>):
  do ActM<Maybe<&2, Rel>>:
    creds : String <- SIo.read_cred(root, slot, email_now)
    fp : String <- Act.lift(String, Fr.fingerprint(creds))
    return changed(fp_differs(St.entry_fp(st, slot), fp), slot, email_now)

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=lift
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/freshen.bend&name=fingerprint
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/quarantine.bend&name=ActM
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/quarantine.bend&name=ActM.bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/quarantine.bend&name=ActM.pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/quarantine.bend&name=Rel
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/quarantine.bend&name=changed
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/quarantine.bend&name=fp_differs
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/state.bend&name=entry_fp
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/io.bend&name=read_cred