CRDT.Cm.ORSet

Documentation

data ORSet a

Constructors

OpAdd a Tag

OpRemove a (Set Tag)

Instances

Show a => Show (ORSet a)

Methods

showsPrec :: Int -> ORSet a -> ShowS

show :: ORSet a -> String

showList :: [ORSet a] -> ShowS

Ord a => CmRDT (ORSet a)

Associated Types

type Intent (ORSet a) :: *

type Payload (ORSet a) :: *

Methods

initial :: Payload (ORSet a)

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

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

CausalOrd (ORSet a)

Methods

precedes :: ORSet a -> ORSet a -> Bool

type Intent (ORSet a)

type Intent (ORSet a) = Intent a

type Payload (ORSet a)

type Payload (ORSet a) = Payload a

data Intent a

Constructors

Add a

Remove a

Instances

Show a => Show (Intent a)

Methods

showsPrec :: Int -> Intent a -> ShowS

show :: Intent a -> String

showList :: [Intent a] -> ShowS

data Payload a

Constructors

Payload

Fields

• elements :: MultiMap a Tag
• version :: Version

Instances

Eq a => Eq (Payload a)

Methods

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

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

Show a => Show (Payload a)

Methods

showsPrec :: Int -> Payload a -> ShowS

show :: Payload a -> String

showList :: [Payload a] -> ShowS

data Tag

Constructors

Tag Pid Version

Instances

Eq Tag

Methods

(==) :: Tag -> Tag -> Bool

(/=) :: Tag -> Tag -> Bool

Ord Tag

Methods

compare :: Tag -> Tag -> Ordering

(<) :: Tag -> Tag -> Bool

(<=) :: Tag -> Tag -> Bool

(>) :: Tag -> Tag -> Bool

(>=) :: Tag -> Tag -> Bool

max :: Tag -> Tag -> Tag

min :: Tag -> Tag -> Tag

Show Tag

Methods

showsPrec :: Int -> Tag -> ShowS

show :: Tag -> String

showList :: [Tag] -> ShowS

query :: (Ord a, Foldable f) => f (ORSet a) -> Set a