crdt-0.3: Conflict-free replicated data types
CRDT.GCounter.Cm
Synopsis
data GCounter a Source #
Grow-only counter.
Commutativity: Increment obviously commutes with itself.
Increment
Constructors
Instances
Associated Types
type State (GCounter a) :: Type Source #
Methods
update :: GCounter a -> State (GCounter a) -> State (GCounter a) Source #
initial :: Num a => a Source #
Initial state