def trip.if

bend-kit-runner@0.13.0.1 · runner.bend:1204

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-retry@0.3.0.0/retry.bend as Retry

1204def trip.if(~A: Data, ~penc: A -> Bytes.Bytes, same: Bool, r: Runner<A>, +key: String, st: Retry.State) -> IO(Ran(A)):
1205  match same:
1206    case True{}:
1207      IO.pure(Ran(A), (r, Done{Unit{}}))
1208    case False{}:
1209      commit(~A, ~penc, r, Break{key, st})

Uses (13)

Used by (1)