crdt-10.0: Conflict-free replicated data types
CRDT.Cm.ORSet
data ORSet a Source #
Constructors
Instances
Methods
showsPrec :: Int -> ORSet a -> ShowS #
show :: ORSet a -> String #
showList :: [ORSet a] -> ShowS #
Associated Types
type Intent (ORSet a) :: * Source #
type Payload (ORSet a) :: * Source #
initial :: Payload (ORSet a) Source #
makeOp :: Clock m => Intent (ORSet a) -> Payload (ORSet a) -> Maybe (m (ORSet a)) Source #
apply :: ORSet a -> Payload (ORSet a) -> Payload (ORSet a) Source #
precedes :: ORSet a -> ORSet a -> Bool Source #
data Intent a Source #
showsPrec :: Int -> Intent a -> ShowS #
show :: Intent a -> String #
showList :: [Intent a] -> ShowS #
data Payload a Source #
Fields
(==) :: Payload a -> Payload a -> Bool #
(/=) :: Payload a -> Payload a -> Bool #
showsPrec :: Int -> Payload a -> ShowS #
show :: Payload a -> String #
showList :: [Payload a] -> ShowS #
data Tag Source #
(==) :: Tag -> Tag -> Bool #
(/=) :: Tag -> Tag -> Bool #
compare :: Tag -> Tag -> Ordering #
(<) :: Tag -> Tag -> Bool #
(<=) :: Tag -> Tag -> Bool #
(>) :: Tag -> Tag -> Bool #
(>=) :: Tag -> Tag -> Bool #
max :: Tag -> Tag -> Tag #
min :: Tag -> Tag -> Tag #
showsPrec :: Int -> Tag -> ShowS #
show :: Tag -> String #
showList :: [Tag] -> ShowS #
query :: (Ord a, Foldable f) => f (ORSet a) -> Set a Source #