crdt-0.1: Conflict-free replicated data types
CRDT.GCounter.Cv
Synopsis
data GCounter a Source #
Grow-only counter.
Instances
Methods
(==) :: GCounter a -> GCounter a -> Bool #
(/=) :: GCounter a -> GCounter a -> Bool #
(<>) :: GCounter a -> GCounter a -> GCounter a #
sconcat :: NonEmpty (GCounter a) -> GCounter a #
stimes :: Integral b => b -> GCounter a -> GCounter a #
increment Source #
Arguments
replica id
Increment counter
initial :: GCounter a Source #
Initial state
query :: Num a => GCounter a -> a Source #
Get value from the state