def KCounter.to_cbor.items

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

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

340def KCounter.to_cbor.items(~K: Data, ~enc: K -> Cbor.Val, s: KCounter<K>) -> List<&1, Cbor.Val & Cbor.Val>:
341  match s:
342    case KNil{}:
343      Nil{}
344    case KCon{x, c, r}:
345      Con{(enc(x), Cbor.UInt{Cbor.W64{0, c}}), KCounter.to_cbor.items(~K, ~enc, r)}