crdt-0.4: Conflict-free replicated data types
CRDT.LWW
Synopsis
data LWW a Source #
Last write wins. Interesting, this type is both CmRDT and CvRDT.
CmRDT
CvRDT
Constructors
Fields
Instances
Methods
(==) :: LWW a -> LWW a -> Bool #
(/=) :: LWW a -> LWW a -> Bool #
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 #
showsPrec :: Int -> LWW a -> ShowS #
show :: LWW a -> String #
showList :: [LWW a] -> ShowS #
Merge by choosing more recent timestamp.
(<>) :: LWW a -> LWW a -> LWW a #
sconcat :: NonEmpty (LWW a) -> LWW a #
stimes :: Integral b => b -> LWW a -> LWW a #
Associated Types
type State (LWW a) :: Type Source #
update :: LWW a -> State (LWW a) -> State (LWW a) Source #
point :: Timestamp -> a -> LWW a Source #
Initialize state
write :: Ord a => Timestamp -> a -> LWW a -> LWW a Source #
Change state
query :: LWW a -> a Source #
Query state