CRDT.Cm.TPSet

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

Documentation

newtype TPSet a

Constructors

TPSet

Fields

• payload :: Set a

Instances

Show a => Show (TPSet a)

Methods

showsPrec :: Int -> TPSet a -> ShowS

show :: TPSet a -> String

showList :: [TPSet a] -> ShowS

Observe (TPSet a)

Associated Types

type Observed (TPSet a) :: Type

Methods

observe :: TPSet a -> Observed (TPSet a)

Ord a => CmRDT (TPSet a) (TPSetOp a) (TPSetOp a)

Methods

updateAtSourcePre :: TPSetOp a -> TPSet a -> Bool

updateAtSource :: Clock m => TPSetOp a -> m (TPSetOp a)

updateDownstream :: TPSetOp a -> TPSet a -> TPSet a

type Observed (TPSet a)

type Observed (TPSet a) = Set a

data TPSetOp a

Constructors

Add a

Remove a

Instances

Eq a => Eq (TPSetOp a)

Methods

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

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

Show a => Show (TPSetOp a)

Methods

showsPrec :: Int -> TPSetOp a -> ShowS

show :: TPSetOp a -> String

showList :: [TPSetOp a] -> ShowS

Eq a => PartialOrd (TPSetOp a)

Methods

leq :: TPSetOp a -> TPSetOp a -> Bool

comparable :: TPSetOp a -> TPSetOp a -> Bool

Ord a => CmRDT (TPSet a) (TPSetOp a) (TPSetOp a)

Methods

updateAtSourcePre :: TPSetOp a -> TPSet a -> Bool

updateAtSource :: Clock m => TPSetOp a -> m (TPSetOp a)

updateDownstream :: TPSetOp a -> TPSet a -> TPSet a

initial :: TPSet a

lookup :: Ord a => a -> TPSet a -> Bool

query lookup

updateAtSource :: (CmRDT payload op update, Clock m) => op -> m update

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 payload op update => update -> payload -> payload

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