crjdt

Type Members

1. sealed trait Cmd extends Product with Serializable

   

2. sealed trait Context extends Product with Serializable

   

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

   

4. sealed trait Expr extends Product with Serializable

   

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

   

6. sealed trait Key extends Product with Serializable

   

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

   

8. sealed trait RecTag extends Tag

   

9. type RegValues = Map[Id, Val]

   

10. type ReplicaId = String

    

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

    

12. sealed trait Tag extends Product with Serializable

    

13. sealed trait Val extends Product with Serializable