crdt-4.0: Conflict-free replicated data types
CRDT.Cm.TwoPSet
Description
TODO(cblp, 2017-09-29) USet?
data TwoPSet a Source #
Constructors
Instances
Methods
(==) :: TwoPSet a -> TwoPSet a -> Bool #
(/=) :: TwoPSet a -> TwoPSet a -> Bool #
showsPrec :: Int -> TwoPSet a -> ShowS #
show :: TwoPSet a -> String #
showList :: [TwoPSet a] -> ShowS #
Associated Types
type Intent (TwoPSet a) :: * Source #
type Payload (TwoPSet a) :: * Source #
makeOp :: Intent (TwoPSet a) -> Payload (TwoPSet a) -> Maybe (Process (TwoPSet a)) Source #
apply :: TwoPSet a -> Payload (TwoPSet a) -> Payload (TwoPSet a) Source #
precedes :: TwoPSet a -> TwoPSet a -> Bool Source #