CRDT.Cv.GCounter

Documentation

newtype GCounter a

Grow-only counter.

Constructors

GCounter (IntMap a)

Instances

Eq a => Eq (GCounter a)

Defined in CRDT.Cv.GCounter

Methods

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

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

Show a => Show (GCounter a)

Defined in CRDT.Cv.GCounter

Methods

showsPrec :: Int -> GCounter a -> ShowS

show :: GCounter a -> String

showList :: [GCounter a] -> ShowS

Ord a => Semigroup (GCounter a)

Defined in CRDT.Cv.GCounter

Methods

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

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

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

Ord a => Semilattice (GCounter a)

See CvRDT

Defined in CRDT.Cv.GCounter

initial :: GCounter a

Initial state

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

Get value from the state

Operation

increment

Arguments

:: Num a

=> Word

replica id

-> GCounter a

-> GCounter a

Increment counter