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

Derivation

rdts.base.Lattice.Derivation
object Derivation

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Derivation.type

Members list

Type members

Classlikes

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

Attributes

Supertypes
trait Lattice[T]
class Object
trait Matchable
class Any
class SumLattice[T](sm: SumOf[T], lattices: Tuple) extends Lattice[T]

Attributes

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

Value members

Concrete methods

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