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

case class MirrorOrdinal[T](sm: SumOf[T], lattices: Tuple) extends OrdinalLattices[T]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait OrdinalLattices[T]
class Object
trait Matchable
class Any
Show all
class ProductLattice[T <: Product](lattices: Tuple, pm: ProductOf[T], label: String) extends Lattice[T]

Attributes

Supertypes
trait Lattice[T]
class Object
trait Matchable
class Any
class SumLattice[T](ol: OrdinalLattices[T]) extends Lattice[T]

Attributes

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

Value members

Concrete methods

inline def summonAllMaybe[T <: Tuple]: T