def KCounter.decode

bend-kit-crdt@0.2.0.0 · crdt.bend:410

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor

410# CBOR bytes to a valid state with at most cap replicas, or None.
411def KCounter.decode(
412  ~K: Data, ~cmp: K -> K -> Cmp, ~dec: Cbor.Val -> Maybe<&2, K>, b: Bytes.Bytes, +cap: U32
413) -> Maybe<&2, KCounter<K>>:
414  KCounter.decode.go(~K, ~cmp, ~dec, Cbor.decode(b), cap)