~/jendhub

def GCounter.from_cbor.check

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

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

168def GCounter.from_cbor.check(m: Maybe<&2, List<&2, U32>>, +cap: U32) -> Maybe<&2, List<&2, U32>>:
169  match m:
170    case None{}:
171      None{}
172    case Some{+s}:
173      GCounter.from_cbor.gate(Bool.and(GCounter.valid(s), U32.is_le(GCounter.size(s), cap)), s)

Uses (8)

Used by (1)