Safe Haskell	None
Language	Haskell2010

Data.Crjdt.Context

Documentation

data Context Source #

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 Source #
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 Source #

Constructors

Cursor
Fields path :: Seq (Key Tag) finalKey :: Key Void

Instances

Eq Cursor Source #
Methods (==) :: Cursor -> Cursor -> Bool # (/=) :: Cursor -> Cursor -> Bool #
Show Cursor Source #
Methods showsPrec :: Int -> Cursor -> ShowS # show :: Cursor -> String # showList :: [Cursor] -> ShowS #

data Operation Source #

Constructors

Operation
Fields opId :: Id opDeps :: Set Id opCur :: Cursor opMutation :: Mutation

Instances

Eq Operation Source #
Methods (==) :: Operation -> Operation -> Bool # (/=) :: Operation -> Operation -> Bool #
Show Operation Source #
Methods showsPrec :: Int -> Operation -> ShowS # show :: Operation -> String # showList :: [Operation] -> ShowS #

data Tag Source #

Constructors

MapT
ListT
RegT

Instances

Eq Tag Source #
Methods (==) :: Tag -> Tag -> Bool # (/=) :: Tag -> Tag -> Bool #
Ord Tag Source #
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 Source #
Methods showsPrec :: Int -> Tag -> ShowS # show :: Tag -> String # showList :: [Tag] -> ShowS #

data Mutation Source #

Constructors

InsertMutation Val
DeleteMutation
AssignMutation Val

Instances

Eq Mutation Source #
Methods (==) :: Mutation -> Mutation -> Bool # (/=) :: Mutation -> Mutation -> Bool #
Show Mutation Source #
Methods showsPrec :: Int -> Mutation -> ShowS # show :: Mutation -> String # showList :: [Mutation] -> ShowS #

data Document tag Source #

Constructors

BranchDocument (Branch tag)
LeafDocument RegDocument

Instances

Eq tag => Eq (Document tag) Source #
Methods (==) :: Document tag -> Document tag -> Bool # (/=) :: Document tag -> Document tag -> Bool #
Show tag => Show (Document tag) Source #
Methods showsPrec :: Int -> Document tag -> ShowS # show :: Document tag -> String # showList :: [Document tag] -> ShowS #

data Branch tag Source #

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) Source #
Methods (==) :: Branch tag -> Branch tag -> Bool # (/=) :: Branch tag -> Branch tag -> Bool #
Show tag => Show (Branch tag) Source #
Methods showsPrec :: Int -> Branch tag -> ShowS # show :: Branch tag -> String # showList :: [Branch tag] -> ShowS #

newtype RegDocument Source #

Constructors

RegDocument
Fields registers :: Map Id Val

Instances

Eq RegDocument Source #
Methods (==) :: RegDocument -> RegDocument -> Bool # (/=) :: RegDocument -> RegDocument -> Bool #
Show RegDocument Source #
Methods showsPrec :: Int -> RegDocument -> ShowS # show :: RegDocument -> String # showList :: [RegDocument] -> ShowS #
Monoid RegDocument Source #
Methods mempty :: RegDocument # mappend :: RegDocument -> RegDocument -> RegDocument # mconcat :: [RegDocument] -> RegDocument #

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

applyOp :: Operation -> Document Tag -> Document Tag Source #

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

lookupCtx :: Var -> Context -> Maybe Cursor Source #

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

docKey :: Key Tag Source #

stepNext :: Document Tag -> Cursor -> Cursor Source #