scala3-compiler-bootstrapped
DocsAPI
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.typer/ForceDegree

ForceDegree

dotty.tools.dotc.typer.ForceDegree
object ForceDegree

An enumeration controlling the degree of forcing in "is-fully-defined" checks.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

class Value(val appliesTo: TypeVar => Boolean, val ifBottom: IfBottom)

Attributes

Supertypes
class Object
trait Matchable
class Any

Value members

Concrete fields

val all: Value
val none: Value
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL