CRDT.Cm.Counter

Documentation

data Counter a

Constructors

Increment

Decrement

Instances

Bounded (Counter a)

Methods

minBound :: Counter a

maxBound :: Counter a

Enum (Counter a)

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)

Methods

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

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

Show (Counter a)

Methods

showsPrec :: Int -> Counter a -> ShowS

show :: Counter a -> String

showList :: [Counter a] -> ShowS

(Num a, Eq a) => CmRDT (Counter a)

Associated Types

type Intent (Counter a) :: *

type Payload (Counter a) :: *

Methods

initial :: Payload (Counter a)

makeOp :: Clock m => Intent (Counter a) -> Payload (Counter a) -> Maybe (m (Counter a))

apply :: Counter a -> Payload (Counter a) -> Payload (Counter a)

CausalOrd (Counter a)

Empty order, allowing arbitrary reordering

Methods

precedes :: Counter a -> Counter a -> Bool

type Intent (Counter a)

type Intent (Counter a) = Counter a

type Payload (Counter a)

type Payload (Counter a) = a