CRDT.Cm.TwoPSet

TODO(cblp, 2017-09-29) USet?

Documentation

data TwoPSet a

Constructors

Add a

Remove a

Instances

Eq a => Eq (TwoPSet a)

Defined in CRDT.Cm.TwoPSet

Methods

(==) :: TwoPSet a -> TwoPSet a -> Bool

(/=) :: TwoPSet a -> TwoPSet a -> Bool

Show a => Show (TwoPSet a)

Defined in CRDT.Cm.TwoPSet

Methods

showsPrec :: Int -> TwoPSet a -> ShowS

show :: TwoPSet a -> String

showList :: [TwoPSet a] -> ShowS

Ord a => CmRDT (TwoPSet a)

Defined in CRDT.Cm.TwoPSet

Associated Types

type Intent (TwoPSet a) :: Type

type Payload (TwoPSet a) :: Type

Methods

initial :: Payload (TwoPSet a)

makeOp :: Clock m => Intent (TwoPSet a) -> Payload (TwoPSet a) -> Maybe (m (TwoPSet a))

apply :: TwoPSet a -> Payload (TwoPSet a) -> Payload (TwoPSet a)

Eq a => CausalOrd (TwoPSet a)

Defined in CRDT.Cm.TwoPSet

Methods

precedes :: TwoPSet a -> TwoPSet a -> Bool

type Intent (TwoPSet a)

Defined in CRDT.Cm.TwoPSet

type Intent (TwoPSet a) = TwoPSet a

type Payload (TwoPSet a)

Defined in CRDT.Cm.TwoPSet

type Payload (TwoPSet a) = Map a Bool