~/jendhub

def KCounter.from_cbor.check

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

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

380def KCounter.from_cbor.check(~K: Data, ~cmp: K -> K -> Cmp, m: Maybe<&2, KCounter<K>>, +cap: U32) -> Maybe<&2, KCounter<K>>:
381  match m:
382    case None{}:
383      None{}
384    case Some{+s}:
385      KCounter.from_cbor.gate(K, Bool.and(KCounter.valid(~K, ~cmp, s), U32.is_le(KCounter.size(K, s), cap)), s)

Uses (9)

Used by (1)