crdt-0.1: Conflict-free replicated data types

Safe HaskellNone
LanguageHaskell2010

CRDT.GCounter.Cv

Synopsis

Documentation

data GCounter a Source #

Grow-only counter.

Instances

Eq a => Eq (GCounter a) Source # 

Methods

(==) :: GCounter a -> GCounter a -> Bool #

(/=) :: GCounter a -> GCounter a -> Bool #

Ord a => Semigroup (GCounter a) Source # 

Methods

(<>) :: GCounter a -> GCounter a -> GCounter a #

sconcat :: NonEmpty (GCounter a) -> GCounter a #

stimes :: Integral b => b -> GCounter a -> GCounter a #

Ord a => CvRDT (GCounter a) Source # 

increment Source #

Arguments

:: Num a 
=> Word

replica id

-> GCounter a 
-> GCounter a 

Increment counter

initial :: GCounter a Source #

Initial state

query :: Num a => GCounter a -> a Source #

Get value from the state