def KCounter.from_cbor.count

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

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

358def KCounter.from_cbor.count(-K: Data, v: Cbor.Val, mk: Maybe<&2, K>, rest: Maybe<&2, KCounter<K>>) -> Maybe<&2, KCounter<K>>:
359  match v:
360    case Cbor.UInt{w}:
361      Cbor.W64{+hi, lo} = w
362      KCounter.from_cbor.word(K, U32.is_eq(hi, 0), mk, lo, rest)
363    case _:
364      None{}