crdt-10.5: Conflict-free replicated data types

Safe HaskellNone
LanguageHaskell2010

CRDT.Cm.GSet

Documentation

newtype GSet a Source #

Constructors

Add a 
Instances
Eq a => Eq (GSet a) Source # 
Instance details

Defined in CRDT.Cm.GSet

Methods

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

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

Show a => Show (GSet a) Source # 
Instance details

Defined in CRDT.Cm.GSet

Methods

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

show :: GSet a -> String #

showList :: [GSet a] -> ShowS #

Ord a => CmRDT (GSet a) Source # 
Instance details

Defined in CRDT.Cm.GSet

Associated Types

type Intent (GSet a) :: Type Source #

type Payload (GSet a) :: Type Source #

Methods

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 #

CausalOrd (GSet a) Source # 
Instance details

Defined in CRDT.Cm.GSet

Methods

precedes :: GSet a -> GSet a -> Bool Source #

type Intent (GSet a) Source # 
Instance details

Defined in CRDT.Cm.GSet

type Intent (GSet a) = GSet a
type Payload (GSet a) Source # 
Instance details

Defined in CRDT.Cm.GSet

type Payload (GSet a) = Set a