def encode.snap

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-scheduler@0.4.1.0/queue.bend as Q
import bend-kit-retry@0.3.0.0/retry.bend as Retry

615# The Snap record of s.
616def encode.snap(~A: Data, ~penc: A -> Bytes.Bytes, s: State<A>) -> Bytes.Bytes:
617  State{Q.State{+n, h, run}, ts, ds, bs} = s
618  snap.brks(Map.to_list(&2, Retry.State, bs),
619    snap.graves(~A, ~penc, ds, snap.tries(ts, snap.run(~A, ~penc, run, snap.heap(~A, ~penc, h, snap.u64(snap.u32(Bytes.new(0), 7), n))))))