TypeBounds

zio.blocks.typeid.TypeBounds
See theTypeBounds companion class
object TypeBounds

Attributes

Companion
class
Source
TypeBounds.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
TypeBounds.type

Members list

Type members

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements.

The names of the product elements.

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type.

The name of the type.

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete methods

def alias(tpe: TypeRepr): TypeBounds

Creates type alias bounds (lower == upper).

Creates type alias bounds (lower == upper).

Attributes

Source
TypeBounds.scala
def apply(lower: TypeRepr, upper: TypeRepr): TypeBounds

Creates bounds with both lower and upper bounds.

Creates bounds with both lower and upper bounds.

Attributes

Source
TypeBounds.scala
def lower(bound: TypeRepr): TypeBounds

Creates bounds with only a lower bound.

Creates bounds with only a lower bound.

Attributes

Source
TypeBounds.scala
def upper(bound: TypeRepr): TypeBounds

Creates bounds with only an upper bound.

Creates bounds with only an upper bound.

Attributes

Source
TypeBounds.scala

Concrete fields

val Unbounded: TypeBounds

Unbounded type bounds (>: Nothing <: Any).

Unbounded type bounds (>: Nothing <: Any).

Attributes

Source
TypeBounds.scala