CRDT.Cm.TPSet

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

Documentation

data TPSet a

Constructors

Add a

Remove a

Instances

Eq a => Eq (TPSet a)

Methods

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

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

Show a => Show (TPSet a)

Methods

showsPrec :: Int -> TPSet a -> ShowS

show :: TPSet a -> String

showList :: [TPSet a] -> ShowS

Ord a => CmRDT (TPSet a)

Associated Types

type Op (TPSet a) :: *

type Payload (TPSet a) :: *

type View (TPSet a) :: *

Methods

updateAtSourcePre :: Op (TPSet a) -> Payload (TPSet a) -> Bool

updateAtSource :: Clock m => Op (TPSet a) -> m (TPSet a)

updateDownstream :: TPSet a -> Payload (TPSet a) -> Payload (TPSet a)

view :: Payload (TPSet a) -> View (TPSet a)

Eq a => CausalOrd (TPSet a)

Methods

before :: TPSet a -> TPSet a -> Bool

type Op (TPSet a)

type Op (TPSet a) = TPSet a

type Payload (TPSet a)

type Payload (TPSet a) = Set a

type View (TPSet a)

type View (TPSet a) = Payload (TPSet a)

updateAtSource :: (CmRDT u, Clock m) => Op u -> m u

Generate an update to the local and remote replicas. Doesn't have sense if updateAtSourcePre is false.

May or may not use clock.

updateDownstream :: CmRDT u => u -> Payload u -> Payload u

Apply an update to the payload. An invalid update must be ignored.