rescala/rescala.extra.lattices.sets

rescala.extra.lattices.sets

package rescala.extra.lattices.sets

Type members

Classlikes

case
class AddWinsSet[A](store: Map[A, Set[Dot]], context: Set[Dot])
Companion
object
object AddWinsSet
Companion
class
case
class AddWinsSetO[A](store: Map[A, Context], context: Context)
Companion
object
object AddWinsSetO
Companion
class
case
class ORSet[A](entries: Map[Id, A], tombstones: Set[Id])

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

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

Companion
object
object ORSet
Companion
class
trait SetLike[A, F]
Companion
object
object SetLike
Companion
class
case
class TwoPSet[A](entries: Set[A], tombstones: Set[A])

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

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

Companion
object
object TwoPSet
Companion
class