crdt-10.4: Conflict-free replicated data types
CRDT.Cm.GSet
newtype GSet a Source #
Constructors
Defined in CRDT.Cm.GSet
Methods
(==) :: GSet a -> GSet a -> Bool #
(/=) :: GSet a -> GSet a -> Bool #
showsPrec :: Int -> GSet a -> ShowS #
show :: GSet a -> String #
showList :: [GSet a] -> ShowS #
Associated Types
type Intent (GSet a) :: Type Source #
type Payload (GSet a) :: Type Source #
initial :: Payload (GSet a) Source #
makeOp :: Clock m => Intent (GSet a) -> Payload (GSet a) -> Maybe (m (GSet a)) Source #
apply :: GSet a -> Payload (GSet a) -> Payload (GSet a) Source #
precedes :: GSet a -> GSet a -> Bool Source #