def KCounter.from_cbor

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

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

387# A valid state with at most cap replicas, or None. dec reads one ID.
388def KCounter.from_cbor(
389  ~K: Data, ~cmp: K -> K -> Cmp, ~dec: Cbor.Val -> Maybe<&2, K>, v: Cbor.Val, +cap: U32
390) -> Maybe<&2, KCounter<K>>:
391  match v:
392    case Cbor.Obj{kvs}:
393      KCounter.from_cbor.check(~K, ~cmp, KCounter.from_cbor.items(~K, ~dec, kvs), cap)
394    case _:
395      None{}