kofre
API
Generated with
kofre/kofre/kofre.base/Bottom/Derived

Derived

kofre.base.Bottom.Derived
object Derived

Attributes

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

Members list

Type members

Classlikes

class ProductBottom[T](pm: ProductOf[T], bottoms: Tuple) extends Bottom[T]

Attributes

Supertypes
trait Bottom[T]
class Object
trait Matchable
class Any
class SumBottom[T](sm: SumOf[T], bottoms: Bottom[Head[sm.MirroredElemTypes]]) extends Bottom[T]

Attributes

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

Types

type Head[X <: Tuple] = X match { case x *: _$2 => x }
Generated with