Package

rescala.extra.lattices

sets

Permalink

package sets

Visibility
  1. Public
  2. All

Type Members

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

    Permalink
  2. case class AddWinsSetO[A](store: Map[A, Context], context: Context) extends Product with Serializable

    Permalink
  3. case class ORSet[A](entries: Map[Id, A], tombstones: Set[Id]) extends Product with Serializable

    Permalink

    Implementation of an Observed-Remove Set similar to the one described by Shapiro et al.

    Implementation of an Observed-Remove Set similar to the one described by Shapiro et al. (2011)

  4. trait SetLike[A, F] extends AnyRef

    Permalink
  5. case class TwoPSet[A](entries: Set[A], tombstones: Set[A]) extends Product with Serializable

    Permalink

    Two phase set where elements can be added and removed but never added again.

Value Members

  1. object AddWinsSet extends Serializable

    Permalink
  2. object AddWinsSetO extends Serializable

    Permalink
  3. object ORSet extends Serializable

    Permalink
  4. object SetLike

    Permalink
  5. object TwoPSet extends Serializable

    Permalink

Ungrouped