scala3-compiler-bootstrapped/dotty.tools.dotc.core/UnificationDirection

UnificationDirection

dotty.tools.dotc.core.UnificationDirection

When calling Constraint#addLess(p1, p2, ...), the caller might end up unifying one parameter with the other, this enum lets addLess know which direction the unification will take.

Attributes

Graph
Supertypes: trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Enum entries

p2 := p1, p1 left uninstantiated.

Attributes

p1 := p2, p2 left uninstantiated.

Attributes

Neither p1 nor p2 will be instantiated.

Attributes

Generated with