def GCounter.from_cbor

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

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

175# A valid state with at most cap replicas, or None.
176def GCounter.from_cbor(v: Cbor.Val, +cap: U32) -> Maybe<&2, List<&2, U32>>:
177  match v:
178    case Cbor.Arr{xs}:
179      GCounter.from_cbor.check(GCounter.from_cbor.items(xs), cap)
180    case _:
181      None{}