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 Op (Counter a) :: *

type Payload (Counter a) :: *

type View (Counter a) :: *

Methods

updateAtSourcePre :: Op (Counter a) -> Payload (Counter a) -> Bool

updateAtSource :: Clock m => Op (Counter a) -> m (Counter a)

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

view :: Payload (Counter a) -> View (Counter a)

CausalOrd (Counter a)

Empty order, allowing arbitrary reordering

Methods

before :: Counter a -> Counter a -> Bool

type Op (Counter a)

type Op (Counter a) = Counter a

type Payload (Counter a)

type Payload (Counter a) = a

type View (Counter a)

type View (Counter a) = Payload (Counter a)