def KCounter.encode

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

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

397# None only when enc gives a value with no CBOR form.
398def KCounter.encode(~K: Data, ~enc: K -> Cbor.Val, s: KCounter<K>) -> Maybe<&1, Bytes.Bytes>:
399  Cbor.encode(KCounter.to_cbor(~K, ~enc, s))