Safe Haskell	Safe
Language	Haskell2010

CRDT.Cv.PNCounter

Contents

Operations

Synopsis

data PNCounter a = PNCounter {
- positive :: !(GCounter a)
- negative :: !(GCounter a)
}
initial :: PNCounter a
query :: Num a => PNCounter a -> a
decrement :: Num a => Word -> PNCounter a -> PNCounter a
increment :: Num a => Word -> PNCounter a -> PNCounter a

Documentation

data PNCounter a Source #

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) Source #
Instance details Defined in CRDT.Cv.PNCounter Methods (==) :: PNCounter a -> PNCounter a -> Bool # (/=) :: PNCounter a -> PNCounter a -> Bool #
Show a => Show (PNCounter a) Source #
Instance details Defined in CRDT.Cv.PNCounter Methods showsPrec :: Int -> PNCounter a -> ShowS # show :: PNCounter a -> String # showList :: [PNCounter a] -> ShowS #
Ord a => Semigroup (PNCounter a) Source #
Instance details Defined in CRDT.Cv.PNCounter 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) Source #	See `CvRDT`
Instance details Defined in CRDT.Cv.PNCounter

initial :: PNCounter a Source #

Initial state

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

Get value from the state

Operations

decrement Source #

Arguments

:: Num a
=> Word	replica id
-> PNCounter a
-> PNCounter a

Decrement counter

increment Source #

Arguments

:: Num a
=> Word	replica id
-> PNCounter a
-> PNCounter a

Increment counter