Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Bounded (Counter a) Source # | |
Enum (Counter a) Source # | |
Defined in CRDT.Cm.Counter succ :: Counter a -> Counter a # pred :: Counter a -> 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 # | |
Show (Counter a) Source # | |
(Num a, Eq a) => CmRDT (Counter a) Source # | |
Defined in CRDT.Cm.Counter | |
CausalOrd (Counter a) Source # | Empty order, allowing arbitrary reordering |
type Intent (Counter a) Source # | |
Defined in CRDT.Cm.Counter | |
type Payload (Counter a) Source # | |
Defined in CRDT.Cm.Counter |