kofre.base

package kofre.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

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 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
object Lattice

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Lattice.type
object Orderings

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Orderings.type
object Uid

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Uid.type

Types

opaque type Uid