core

Type Members

1. sealed trait BranchTag extends TypeTag

   

   BranchTag denotes data types that can have child nodes.

2. sealed trait Cmd extends Product with Serializable

   

3. sealed trait Context extends Product with Serializable

   

4. final case class Cursor(keys: Vector[BranchTag], finalKey: Key) extends Product with Serializable

   

   Cursor identifies a position in a Context.

5. sealed trait Expr extends Product with Serializable

   

   This corresponds to the expression construct EXPR in Kleppmann and Beresford.

   This corresponds to the expression construct EXPR in Kleppmann and Beresford. It is used to construct a Cursor.

   In contrast to the paper, Expr does not include the keys and values operations which can be used to query the state of a document. This simplifies the evaluation of an Expr which always yields a Cursor.

6. final case class Id(c: BigInt, p: ReplicaId) extends Product with Serializable

   

7. sealed trait Key extends Product with Serializable

   

   Key represents the untyped components of a Cursor.

8. sealed trait KeyRef extends ListRef

   

9. sealed trait ListRef extends Product with Serializable

   

10. sealed trait Mutation extends Product with Serializable

    

11. final case class Operation(id: Id, deps: Set[Id], cur: Cursor, mut: Mutation) extends Product with Serializable

    

12. type RegValues = Map[Id, Val]

    

13. type ReplicaId = String

    

14. final case class ReplicaState(replicaId: ReplicaId, opsCounter: BigInt, context: Context, variables: Map[Var, Cursor], processedOps: Set[Id], generatedOps: Vector[Operation], receivedOps: Vector[Operation]) extends Product with Serializable

    

15. sealed trait TypeTag extends Product with Serializable

    

    TypeTag tags a Key with the data type it refers to.

16. sealed trait Val extends Product with Serializable