Package

rescala.extra.lattices

dotstores

Permalink

package dotstores

Visibility
  1. Public
  2. All

Type Members

  1. case class Causal[A](store: A, context: Set[Dot]) extends Product with Serializable

    Permalink
  2. case class Context(internal: Map[Id, Tree]) extends Product with Serializable

    Permalink
  3. case class Dot(replicaId: Id, counter: Int) extends Product with Serializable

    Permalink
  4. trait DotStoreLattice[Store] extends AnyRef

    Permalink

    Dot stores provide a generic way to merge datastructures, implemented on top of one of the provided dot stores.

Value Members

  1. object Context extends Serializable

    Permalink
  2. object DotStoreLattice

    Permalink
  3. object IntTree

    Permalink

Ungrouped