crdt-0.3: Conflict-free replicated data types

Safe HaskellSafe
LanguageHaskell2010

CRDT.LWW

Synopsis

Documentation

data LWW a Source #

Last write wins. Interesting, this type is both CmRDT and CvRDT.

Constructors

Write 

Fields

Instances

Eq a => Eq (LWW a) Source # 

Methods

(==) :: LWW a -> LWW a -> Bool #

(/=) :: LWW a -> LWW a -> Bool #

Ord a => Ord (LWW a) Source # 

Methods

compare :: LWW a -> LWW a -> Ordering #

(<) :: LWW a -> LWW a -> Bool #

(<=) :: LWW a -> LWW a -> Bool #

(>) :: LWW a -> LWW a -> Bool #

(>=) :: LWW a -> LWW a -> Bool #

max :: LWW a -> LWW a -> LWW a #

min :: LWW a -> LWW a -> LWW a #

Show a => Show (LWW a) Source # 

Methods

showsPrec :: Int -> LWW a -> ShowS #

show :: LWW a -> String #

showList :: [LWW a] -> ShowS #

Ord a => Semigroup (LWW a) Source # 

Methods

(<>) :: LWW a -> LWW a -> LWW a #

sconcat :: NonEmpty (LWW a) -> LWW a #

stimes :: Integral b => b -> LWW a -> LWW a #

Ord a => Semilattice (LWW a) Source # 
Ord a => CmRDT (LWW a) Source # 

Associated Types

type State (LWW a) :: Type Source #

Methods

update :: LWW a -> State (LWW a) -> State (LWW a) Source #

type State (LWW a) Source # 
type State (LWW a) = LWW a