CRDT.PNCounter.Cm

Documentation

data PNCounter a

Positive-negative counter. Allows incrementing and decrementing.

Constructors

Increment

Decrement

Instances

Bounded (PNCounter a)

Methods

minBound :: PNCounter a

maxBound :: PNCounter a

Enum (PNCounter a)

Methods

succ :: PNCounter a -> PNCounter a

pred :: PNCounter a -> PNCounter a

toEnum :: Int -> PNCounter a

fromEnum :: PNCounter a -> Int

enumFrom :: PNCounter a -> [PNCounter a]

enumFromThen :: PNCounter a -> PNCounter a -> [PNCounter a]

enumFromTo :: PNCounter a -> PNCounter a -> [PNCounter a]

enumFromThenTo :: PNCounter a -> PNCounter a -> PNCounter a -> [PNCounter a]

Show (PNCounter a)

Methods

showsPrec :: Int -> PNCounter a -> ShowS

show :: PNCounter a -> String

showList :: [PNCounter a] -> ShowS

Num a => CmRDT (PNCounter a)

Associated Types

type State (PNCounter a) :: Type

Methods

update :: PNCounter a -> State (PNCounter a) -> State (PNCounter a)

type State (PNCounter a)

type State (PNCounter a) = a

initial :: Num a => a

Initial state