Undocumented
Class | ExpandTypeVisitor |
Visitor that substitutes type variables with values. |
Function | expand_type |
Substitute any type variable references in a type given by a type environment. |
Function | expand_type_by_instance |
Substitute type variables in type using values from an Instance. Type variables are considered to be bound by the class declaration. |
Function | freshen_function_type_vars |
Substitute fresh type variables for generic function type variables. |
Constant | F |
Undocumented |