def GCounter.decode.go

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

import bend-kit-crdt@0.2.0.0/crdt.bend as Crdt

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

187def GCounter.decode.go(m: Maybe<&1, Cbor.Val>, +cap: U32) -> Maybe<&2, List<&2, U32>>:
188  match m:
189    case None{}:
190      None{}
191    case Some{v}:
192      GCounter.from_cbor(v, cap)

Uses (5)

Used by (1)

bend-kit-crdt@0.2.0.0/crdt:GCounter.decode