rdts
API
Generated with
rdts/rdts/rdts.base

rdts.base

package rdts.base

Members list

Type members

Classlikes

@FunctionalInterface
trait Bottom[A]

Provides an empty value of type A

Provides an empty value of type A

By assumption empty is the identity of Lattice.merge

That is:

Lattice.merge(empty, x) == Lattice.normalize(x)

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ProductBottom[T]
class SumBottom[T]
object bottom
object bottom
object bottom
Show all
object Bottom

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Bottom.type
case class BottomOpt[A](maybeBottom: Option[Bottom[A]])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object BottomOpt

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
BottomOpt.type
@FunctionalInterface
trait Decompose[A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ProductDecompose[T]
class SumDecompose[T]
object Decompose

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Decompose.type
class DecoratedLattice[A](decorated: Lattice[A]) extends Lattice[A]

Decorates an existing lattice to filter the values before merging them. Warning: Decoration breaks when the decorated lattice has overridden methods except merge and decompose, or uses merge from within merge/decompose.

Decorates an existing lattice to filter the values before merging them. Warning: Decoration breaks when the decorated lattice has overridden methods except merge and decompose, or uses merge from within merge/decompose.

Attributes

Companion
object
Supertypes
trait Lattice[A]
class Object
trait Matchable
class Any
object DecoratedLattice

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
@FunctionalInterface
trait Lattice[A]

A lattice describes a set of values where we always can merge two values and get a “consistent” result. Technically, this is a join semilattice. See also Bottom.

A lattice describes a set of values where we always can merge two values and get a “consistent” result. Technically, this is a join semilattice. See also Bottom.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class DecoratedLattice[A]
class ProductLattice[T]
class SumLattice[T]
Show all
object Lattice

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Lattice.type
case class LocalUid(uid: Uid)

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object LocalUid

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
LocalUid.type
object Orderings

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Orderings.type
case class Uid(delegate: String)

Uid’s are serializable abstract unique Ids. Currently implemented as Strings, but subject to change.

Uid’s are serializable abstract unique Ids. Currently implemented as Strings, but subject to change.

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Uid

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Uid.type
object UidEncoding

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Generated with