kofre
API
Generated with
kofre/kofre.dotted/DottedLattice

DottedLattice

kofre.dotted.DottedLattice$
See theDottedLattice companion trait
object DottedLattice

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

class ProductDottedLattice[T <: Product](lattices: Tuple, bottoms: Tuple, pm: ProductOf[T], label: String) extends DottedLattice[T]

Attributes

Graph
Supertypes
trait DottedLattice[T]
trait Lattice[Dotted[T]]
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[A](implicit ds: DottedLattice[A]): DottedLattice[A]
inline def derived[T <: Product](using pm: ProductOf[T]): DottedLattice[T]
def liftLattice[A : Lattice]: DottedLattice[A]

Enables the use of a kofre.base.Lattice as a DottedLattice. Beware that this works for most datastructures due to automatic derivation of the required instance, but will likely not have the intended semantics if the datastructure does use any dots inside.

Enables the use of a kofre.base.Lattice as a DottedLattice. Beware that this works for most datastructures due to automatic derivation of the required instance, but will likely not have the intended semantics if the datastructure does use any dots inside.

Attributes

Givens

Givens

given optionInstance[A : DottedLattice]: optionInstance[A]
Generated with