~/jendhub

def snap.fail

cswap-bend-cli@0.1.0.0 · policy/bar.bend:25

import cswap-bend-cli@0.1.0.0/policy/bar.bend as Bar
import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

25# A failover departure: by the recorded trigger, else by the two nulls.
26def snap.fail(+lt: Maybe<&2, T.Trigger>, +lh: Maybe<&2, Nat>, +lr: Maybe<&2, Nat>) -> Bool:
27  match lt:
28    case Some{t}:
29      trig.is_failover(t)
30    case None{}:
31      is_none(lh) && is_none(lr)

Uses (7)

Used by (1)