CRDT.PNCounter.Cv

Documentation

data PNCounter a

Positive-negative counter. Allows incrementing and decrementing. Nice example of combining of existing CvRDT (GCounter in this case) to create another CvRDT.

Instances

Eq a => Eq (PNCounter a)

Methods

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

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

Ord a => Semigroup (PNCounter a)

Methods

(<>) :: PNCounter a -> PNCounter a -> PNCounter a

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

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

Ord a => CvRDT (PNCounter a)

decrement

Arguments

:: Num a

=> Word

replica id

-> PNCounter a

-> PNCounter a

Decrement counter

increment

Arguments

:: Num a

=> Word

replica id

-> PNCounter a

-> PNCounter a

Increment counter

initial :: PNCounter a

Initial state

query :: Num a => PNCounter a -> a

Get value from the state