CRDT.Cm.Counter

Documentation

newtype Counter a

Constructors

Counter a

Instances

Show a => Show (Counter a)

Methods

showsPrec :: Int -> Counter a -> ShowS

show :: Counter a -> String

showList :: [Counter a] -> ShowS

Observe (Counter a)

Associated Types

type Observed (Counter a) :: Type

Methods

observe :: Counter a -> Observed (Counter a)

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

Methods

updateAtSourcePre :: CounterOp a -> Counter a -> Bool

updateAtSource :: Clock m => CounterOp a -> m (CounterOp a)

updateDownstream :: CounterOp a -> Counter a -> Counter a

type Observed (Counter a)

type Observed (Counter a) = a

data CounterOp a

Constructors

Increment

Decrement

Instances

Bounded (CounterOp a)

Methods

minBound :: CounterOp a

maxBound :: CounterOp a

Enum (CounterOp a)

Methods

succ :: CounterOp a -> CounterOp a

pred :: CounterOp a -> CounterOp a

toEnum :: Int -> CounterOp a

fromEnum :: CounterOp a -> Int

enumFrom :: CounterOp a -> [CounterOp a]

enumFromThen :: CounterOp a -> CounterOp a -> [CounterOp a]

enumFromTo :: CounterOp a -> CounterOp a -> [CounterOp a]

enumFromThenTo :: CounterOp a -> CounterOp a -> CounterOp a -> [CounterOp a]

Eq (CounterOp a)

Methods

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

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

Show (CounterOp a)

Methods

showsPrec :: Int -> CounterOp a -> ShowS

show :: CounterOp a -> String

showList :: [CounterOp a] -> ShowS

PartialOrd (CounterOp a)

Empty order, allowing arbitrary reordering

Methods

leq :: CounterOp a -> CounterOp a -> Bool

comparable :: CounterOp a -> CounterOp a -> Bool

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

Methods

updateAtSourcePre :: CounterOp a -> Counter a -> Bool

updateAtSource :: Clock m => CounterOp a -> m (CounterOp a)

updateDownstream :: CounterOp a -> Counter a -> Counter a

initial :: Num a => Counter a