scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/Types/TypeBounds

TypeBounds

dotty.tools.dotc.core.Types$.TypeBounds$
See theTypeBounds companion class
object TypeBounds

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
TypeBounds.type

Members list

Value members

Concrete methods

def apply(lo: Type, hi: Type)(using Context): TypeBounds
def empty(using Context): TypeBounds
def emptySameKindAs(tp: Type)(using Context): TypeBounds

An interval covering all types of the same kind as tp.

An interval covering all types of the same kind as tp.

Attributes

def lower(lo: Type)(using Context): TypeBounds
def upper(hi: Type)(using Context): TypeBounds
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL