Constraint over undetermined type parameters. Constraints are built over values of the following types:
- PolyType A constraint constrains the type parameters of a set of PolyTypes
- PolyParam The parameters of the constrained polytypes
- TypeVar Every constrained parameter might be associated with a TypeVar that has the PolyParam as origin.
Constructors
Members
The weakest constraint that subsumes both this constraint and other
The weakest constraint that subsumes both this constraint and other
A new constraint which is derived from this constraint by adding
entries for all type parameters of poly
.
A new constraint which is derived from this constraint by adding
entries for all type parameters of poly
.
A constraint that includes the relationship p1 <: p2
.
<:
relationships between parameters ("edges") are propagated, but
non-parameter bounds are left al...
A constraint that includes the relationship p1 <: p2
.
<:
relationships between parameters ("edges") are propagated, but
non-parameter bounds are left alone.
Check that constraint only refers to PolyParams bound by itself
Check that constraint only refers to PolyParams bound by itself
Check that no constrained parameter contains itself as a bound
Check that no constrained parameter contains itself as a bound
Does the constraint's domain contain the type parameters of pt
?
Does the constraint's domain contain the type parameters of pt
?
Does the constraint's domain contain the type parameter param
?
Does the constraint's domain contain the type parameter param
?
Does this constraint contain the type variable tvar
and is it uninstantiated?
Does this constraint contain the type variable tvar
and is it uninstantiated?
The polytype parameters constrained by this constraint
The polytype parameters constrained by this constraint
The polytypes constrained by this constraint
The polytypes constrained by this constraint
The constraint entry for given type parameter param
, or NoType if param
is not part of
the constraint domain. Note: Low level, implementation dependent...
The constraint entry for given type parameter param
, or NoType if param
is not part of
the constraint domain. Note: Low level, implementation dependent.
lower(param) \ lower(butNot)
lower(param) \ lower(butNot)
upper(param) \ upper(butNot)
upper(param) \ upper(butNot)
Check whether predicate holds for all parameters in constraint
Check whether predicate holds for all parameters in constraint
Perform operation op
on all typevars, or only on uninstantiated
typevars, depending on whether uninstOnly
is set or not.
Perform operation op
on all typevars, or only on uninstantiated
typevars, depending on whether uninstOnly
is set or not.
The bounds of param
including all known-to-be-smaller and -greater parameters
The bounds of param
including all known-to-be-smaller and -greater parameters
The lower bound of param
including all known-to-be-smaller parameters
The lower bound of param
including all known-to-be-smaller parameters
The upper bound of param
including all known-to-be-greater parameters
The upper bound of param
including all known-to-be-greater parameters
Is it known that param1 <:< param2
?
Is it known that param1 <:< param2
?
Is entry associated with pt
removable? This is the case if
all type parameters of the entry are associated with type variables
which have their inst
fie...
Is entry associated with pt
removable? This is the case if
all type parameters of the entry are associated with type variables
which have their inst
fields set.
The parameters that are known to be smaller wrt <: than param
The parameters that are known to be smaller wrt <: than param
The constraint bounds for given type parameter param
.
Poly params that are known to be smaller or greater than param
are not contained in the return bou...
The constraint bounds for given type parameter param
.
Poly params that are known to be smaller or greater than param
are not contained in the return bounds.
A new constraint with all entries coming from pt
removed.
A new constraint with all entries coming from pt
removed.
A new constraint which is derived from this constraint by removing
the type parameter param
from the domain and replacing all top-level occurrences
of t...
A new constraint which is derived from this constraint by removing
the type parameter param
from the domain and replacing all top-level occurrences
of the parameter elsewhere in the constraint by type tp
, or a conservative
approximation of it if that is needed to avoid cycles.
Occurrences nested inside a refinement or prefix are not affected.
The type variable corresponding to parameter param
, or
NoType, if param
is not in constrained or is not paired with a type variable.
The type variable corresponding to parameter param
, or
NoType, if param
is not in constrained or is not paired with a type variable.
A constraint resulting from adding p2 = p1 to this constraint, and at the same time transferring all bounds of p2 to p1
A constraint resulting from adding p2 = p1 to this constraint, and at the same time transferring all bounds of p2 to p1
The uninstantiated typevars of this constraint
The uninstantiated typevars of this constraint
A new constraint which is derived from this constraint by updating
the entry for parameter param
to tp
.
tp
can be one of the following:
- A TypeBounds value, indicating new constraint bounds
- Another type, indicating a solution for the parameter
A new constraint which is derived from this constraint by updating
the entry for parameter param
to tp
.
tp
can be one of the following:
- A TypeBounds value, indicating new constraint bounds
- Another type, indicating a solution for the parameter
The parameters that are known to be greater wrt <: than param
The parameters that are known to be greater wrt <: than param