kofre
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
kofre/kofre.base/DecomposeLattice

DecomposeLattice

kofre.base.DecomposeLattice$
See theDecomposeLattice companion trait
object DecomposeLattice

Attributes

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

Members list

Concise view

Type members

Classlikes

trait DecomposeFromLattice[A](lattice: Lattice[A]) extends DecomposeLattice[A]

reuse existing lattice instance to implement a DecomposeLattice

reuse existing lattice instance to implement a DecomposeLattice

Attributes

Graph
Supertypes
trait Lattice[A]
class Object
trait Matchable
class Any
class ProductDecomposeLattice[T <: Product](lattices: Tuple, bottoms: Tuple, pm: ProductOf[T], label: String) extends DecomposeLattice[T]

Attributes

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

Value members

Concrete methods

def apply[A](implicit l: DecomposeLattice[A]): DecomposeLattice[A]
def decomposed[A](a: A)(implicit l: DecomposeLattice[A]): Iterable[A]
inline def derived[T <: Product](using pm: ProductOf[T]): DecomposeLattice[T]

Givens

Givens

given mapLattice[K, V : DecomposeLattice]: DecomposeLattice[Map[K, V]]
given setLattice[A]: DecomposeLattice[Set[A]]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL