CRDT.Cv.PNCounter

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.

Constructors

PNCounter

Fields

• positive :: !(GCounter a)
• negative :: !(GCounter a)

Instances

Eq a => Eq (PNCounter a)

Methods

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

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

Show a => Show (PNCounter a)

Methods

showsPrec :: Int -> PNCounter a -> ShowS

show :: PNCounter a -> String

showList :: [PNCounter a] -> ShowS

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 => Semilattice (PNCounter a)

initial :: PNCounter a

Initial state

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

Get value from the state

Operations

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