scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.dotc.typer/ForceDegree

ForceDegree

dotty.tools.dotc.typer.ForceDegree$
object ForceDegree

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete fields

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