~/jendhub

def decode.rec

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

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

1023# The Rec of a journal record, or None when it is neither a Snap nor an op that encode.rec writes.
1024def decode.rec(~A: Data, ~pdec: Bytes.Bytes -> Maybe<&2, A>, b: Bytes.Bytes) -> Maybe<&2, Rec<A>>:
1025  decode.rec.tag(~A, ~pdec, get.u32(Bytes.get.u32le(b, 0)))

Uses (6)

Used by (1)