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

Value

dotty.tools.dotc.typer.ForceDegree.Value
class Value(val ifBottom: IfBottom)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def appliesTo(tv: TypeVar): Boolean

Does tv need to be instantiated?

Does tv need to be instantiated?

Attributes

def canImprove(tv: TypeVar): Boolean

Should we try to improve the computed instance type by replacing bottom types with fresh type variables?

Should we try to improve the computed instance type by replacing bottom types with fresh type variables?

Attributes

override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any

Concrete fields

Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL