Data.Crjdt.Context

Documentation

data Context

Constructors

Context

Fields

• document :: Document Tag
• variables :: Map Var Cursor
• replicaId :: ReplicaId
• replicaGlobal :: GlobalReplicaCounter
• history :: Set Id
• queue :: Seq Operation
• received :: Seq Operation

Instances

Show Context

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

MonadState Context Eval

Methods

get :: Eval Context

put :: Context -> Eval ()

state :: (Context -> (a, Context)) -> Eval a

data Cursor

Constructors

Cursor

Fields

• path :: Seq (Key Tag)
• finalKey :: Key Void

Instances

Eq Cursor

Methods

(==) :: Cursor -> Cursor -> Bool

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

Show Cursor

Methods

showsPrec :: Int -> Cursor -> ShowS

show :: Cursor -> String

showList :: [Cursor] -> ShowS

data Operation

Constructors

Operation

Fields

• opId :: Id
• opDeps :: Set Id
• opCur :: Cursor
• opMutation :: Mutation

Instances

Eq Operation

Methods

(==) :: Operation -> Operation -> Bool

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

Show Operation

Methods

showsPrec :: Int -> Operation -> ShowS

show :: Operation -> String

showList :: [Operation] -> ShowS

data Tag

Constructors

MapT

ListT

RegT

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

data Mutation

Constructors

InsertMutation Val

DeleteMutation

AssignMutation Val

Instances

Eq Mutation

Methods

(==) :: Mutation -> Mutation -> Bool

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

Show Mutation

Methods

showsPrec :: Int -> Mutation -> ShowS

show :: Mutation -> String

showList :: [Mutation] -> ShowS

data Document tag

Constructors

BranchDocument (Branch tag)

LeafDocument RegDocument

Instances

Eq tag => Eq (Document tag)

Methods

(==) :: Document tag -> Document tag -> Bool

(/=) :: Document tag -> Document tag -> Bool

Show tag => Show (Document tag)

Methods

showsPrec :: Int -> Document tag -> ShowS

show :: Document tag -> String

showList :: [Document tag] -> ShowS

data Branch tag

Constructors

Branch

Fields

• children :: Map (Key tag) (Document tag)
• presence :: Map (Key Void) (Set Id)
• keyOrder :: Map BasicKey BasicKey
• branchTag :: tag

Instances

Eq tag => Eq (Branch tag)

Methods

(==) :: Branch tag -> Branch tag -> Bool

(/=) :: Branch tag -> Branch tag -> Bool

Show tag => Show (Branch tag)

Methods

showsPrec :: Int -> Branch tag -> ShowS

show :: Branch tag -> String

showList :: [Branch tag] -> ShowS

newtype RegDocument

Constructors

RegDocument

Fields

• registers :: Map Id Val

Instances

Eq RegDocument

Methods

(==) :: RegDocument -> RegDocument -> Bool

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

Show RegDocument

Methods

showsPrec :: Int -> RegDocument -> ShowS

show :: RegDocument -> String

showList :: [RegDocument] -> ShowS

Monoid RegDocument

Methods

mempty :: RegDocument

mappend :: RegDocument -> RegDocument -> RegDocument

mconcat :: [RegDocument] -> RegDocument

findChild :: Key Tag -> Document Tag -> Maybe (Document Tag)

applyOp :: Operation -> Document Tag -> Document Tag

getPresence :: Key Void -> Document Tag -> Set Id

setPath :: Seq (Key Tag) -> Cursor -> Cursor

setFinalKey :: Key Void -> Cursor -> Cursor

lookupCtx :: Var -> Context -> Maybe Cursor

appendWith :: Tag -> Key Void -> Cursor -> Cursor

docKey :: Key Tag

stepNext :: Document Tag -> Cursor -> Cursor