scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/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
Show all

Members list

Type members

Enum entries

p2 := p1, p1 left uninstantiated.

Attributes

p1 := p2, p2 left uninstantiated.

Attributes

Neither p1 nor p2 will be instantiated.

Attributes

In this article

Generated with