~/jendhub

def cancel

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

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

1124# Cancels ticket id. A running attempt finishes, but its ticket is never selected again. A dead ticket is dropped.
1125def cancel(~A: Data, ~penc: A -> Bytes.Bytes, r: Runner<A>, +id: Nat) -> IO(Ran(A)):
1126  commit(~A, ~penc, r, Cancel{id})

Uses (7)

Used by (1)