Safe Haskell	None
Language	Haskell2010

CRDT.Cm.Counter

Documentation

data Counter a Source #

Constructors

Increment
Decrement

Instances

Instances details

Bounded (Counter a) Source #
Instance details Defined in CRDT.Cm.Counter Methods minBound :: Counter a # maxBound :: Counter a #
Enum (Counter a) Source #
Instance details Defined in CRDT.Cm.Counter Methods succ :: Counter a -> Counter a # pred :: Counter a -> Counter a # toEnum :: Int -> Counter a # fromEnum :: Counter a -> Int # enumFrom :: Counter a -> [Counter a] # enumFromThen :: Counter a -> Counter a -> [Counter a] # enumFromTo :: Counter a -> Counter a -> [Counter a] # enumFromThenTo :: Counter a -> Counter a -> Counter a -> [Counter a] #
Eq (Counter a) Source #
Instance details Defined in CRDT.Cm.Counter Methods (==) :: Counter a -> Counter a -> Bool # (/=) :: Counter a -> Counter a -> Bool #
Show (Counter a) Source #
Instance details Defined in CRDT.Cm.Counter Methods showsPrec :: Int -> Counter a -> ShowS # show :: Counter a -> String # showList :: [Counter a] -> ShowS #
(Num a, Eq a) => CmRDT (Counter a) Source #
Instance details Defined in CRDT.Cm.Counter Associated Types type Intent (Counter a) Source # type Payload (Counter a) Source # Methods initial :: Payload (Counter a) Source # makeOp :: Clock m => Intent (Counter a) -> Payload (Counter a) -> Maybe (m (Counter a)) Source # apply :: Counter a -> Payload (Counter a) -> Payload (Counter a) Source #
CausalOrd (Counter a) Source #	Empty order, allowing arbitrary reordering
Instance details Defined in CRDT.Cm.Counter Methods precedes :: Counter a -> Counter a -> Bool Source #
type Intent (Counter a) Source #
Instance details Defined in CRDT.Cm.Counter type Intent (Counter a) = Counter a
type Payload (Counter a) Source #
Instance details Defined in CRDT.Cm.Counter type Payload (Counter a) = a