kofre
API
Generated with
kofre/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

Type members

Classlikes

object Derived

Attributes

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

Value members

Concrete methods

def apply[A](using bottom: Bottom[A]): Bottom[A]
inline def derived[T](using m: Of[T]): Bottom[T]
def empty[A](using bottom: Bottom[A]): A
inline def productBottom[T](using pm: ProductOf[T]): Bottom[T]
def provide[A](v: A): Bottom[A]
inline def sumBottom[T](using sm: SumOf[T]): Bottom[T]

Givens

Givens

given dots: Bottom[Dots]
given dotted[A : Bottom]: Bottom[Dotted[A]]
given mapBottom[K, V]: Bottom[Map[K, V]]
given optionBottom[V]: optionBottom[V]
given pairBottom[A : Bottom, B : Bottom]: Bottom[(A, B)]
given queueBottom[V]: queueBottom[V]
given setBottom[V]: Bottom[Set[V]]
Generated with