crdt-0.4: 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
Methods
showsPrec :: Int -> GCounter a -> ShowS #
show :: GCounter a -> String #
showList :: [GCounter a] -> ShowS #
Associated Types
type State (GCounter a) :: Type Source #
update :: GCounter a -> State (GCounter a) -> State (GCounter a) Source #
initial :: Num a => a Source #
Initial state