kofre
API
Generated with
kofre/kofre.base/Lattice/Derivation

Derivation

kofre.base.Lattice$.Derivation$
object Derivation

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

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

Attributes

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

Value members

Concrete methods

inline def summonAllMaybe[T <: Tuple]: T
Generated with