def decode.payload

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

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

940def decode.payload(-A: Data, m: Maybe<&2, A>, +d: Nat) -> Maybe<&2, Op<A>>:
941  match m:
942    case None{}:
943      None{}
944    case Some{x}:
945      Some{Enqueue{d, x}}

Uses (3)

Used by (1)