GadtConstraint
Represents GADT constraints currently in scope
Attributes
- Graph
- Supertypes
- Known subtypes
- object EmptyGadtConstraint.typeclass ProperGadtConstraint
Members list
Value members
Abstract methods
Further constrain a symbol already present in the constraint.
Further constrain a symbol already present in the constraint.
Attributes
Add symbols to constraint, correctly handling inter-dependencies.
Add symbols to constraint, correctly handling inter-dependencies.
Attributes
- See also:
Immediate bounds of sym
. Does not contain lower/upper symbols (see fullBounds).
Is the symbol registered in the constraint?
Is the symbol registered in the constraint?
Attributes
- Note:
this is true even if the symbol is constrained to be equal to another type, unlike Constraint.contains.
Full bounds of sym
, including TypeRefs to other lower/upper symbols.
Full bounds of sym
, including TypeRefs to other lower/upper symbols.
Attributes
- Note:
this performs subtype checks between ordered symbols. Using this in isSubType can lead to infinite recursion. Consider
bounds
instead.
Is sym1
ordered to be less than sym2
?
Is sym1
ordered to be less than sym2
?
Attributes
GADT constraint narrows bounds of at least one variable
GADT constraint narrows bounds of at least one variable
Attributes
Restore the state from other GadtConstraint, probably copied using fresh
Concrete methods
Inherited methods
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
Attributes
- Inherited from:
- Showable
The string representation of this showable element.
The string representation with each line after the first one indented by the given given margin (in spaces).
The string representation with each line after the first one indented by the given given margin (in spaces).
Attributes
- Inherited from:
- Showable
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.
Attributes
- Inherited from:
- Showable
The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.
The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.
Attributes
- Inherited from:
- Showable