def KCounter.cons

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

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

import Base

267def KCounter.cons(-K: Data, k: K, c: U32, m: Maybe<&2, KCounter<K>>) -> Maybe<&2, KCounter<K>>:
268  match m:
269    case None{}:
270      None{}
271    case Some{t}:
272      Some{KCon{k, c, t}}

Uses (3)

Used by (2)