~/jendhub

def decode.rec.if

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

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

1012def decode.rec.if(~A: Data, ~pdec: Bytes.Bytes -> Maybe<&2, A>, snap: Bool, b: Bytes.Bytes) -> Maybe<&2, Rec<A>>:
1013  match snap:
1014    case True{}:
1015      decode.snapped(A, decode.snap(~A, ~pdec, b))
1016    case False{}:
1017      decode.did(A, decode(~A, ~pdec, b))

Uses (8)

Used by (1)