def rd.payload

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

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base
import bend-kit-scheduler@0.4.1.0/queue.bend as Q

705def rd.payload(-A: Data, +i: Nat, +d: Nat, m: Maybe<&2, A>) -> Dec(Q.Ticket<A>):
706  match m:
707    case None{}:
708      Dec.fail(Q.Ticket<A>)
709    case Some{x}:
710      Dec.pure(Q.Ticket<A>, Q.Ticket{i, d, x})

Uses (6)

Used by (1)