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

Bottom

kofre.base.Bottom$
See theBottom companion trait
object Bottom

Attributes

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

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
Supertypes
trait Bottom[T]
class Object
trait Matchable
class Any
object intMaxBottom extends Bottom[Int]

Attributes

Graph
Supertypes
trait Bottom[Int]
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def apply[A](using bottom: Bottom[A]): Bottom[A]
inline def derived[T <: Product](using pm: ProductOf[T]): Bottom[T]
def empty[A](using bottom: Bottom[A]): A

Givens

Givens

given dotFun[V]: Bottom[DotFun[V]]
given dotMap[K, V]: Bottom[DotMap[K, V]]
given dotSet[K, V]: Bottom[DotSet]
given dots: Bottom[Dots]
given dotted[A : Bottom]: Bottom[Dotted[A]]
given mapBottom[K, V]: mapBottom[K, V]
given pairBottom[A : Bottom, B : Bottom]: Bottom[(A, B)]
given setBottom[V]: setBottom[V]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL