Index of class methods


B
branch [TypeCore.iter]
An auxiliary method for visiting a branch.
branch [TypeCore.map]
An auxiliary method for transforming a branch.

D
data_type_group [TypeCore.iter]
data_type_group [TypeCore.map]

E
extend [TypeCore.visitor]
This method, whose default implementation is the identity, can be used to extend the environment when a binding is entered.

F
field [TypeCore.iter]
An auxiliary method for visiting a data type group.
field [TypeCore.map]
An auxiliary method for transforming a data type group.

N
normalize [TypeCore.visitor]
This method, whose default implementation is the identity, allows normalizing a type before inspecting its structure.

R
resolved_datacon [TypeCore.iter]
An auxiliary method for visiting a field.
resolved_datacon [TypeCore.map]
An auxiliary method for transforming a field.

T
tyanchoredpermission [TypeCore.iter]
tyanchoredpermission [TypeCore.map]
tyanchoredpermission [TypeCore.visitor]
tyand [TypeCore.iter]
tyand [TypeCore.map]
tyand [TypeCore.visitor]
tyapp [TypeCore.iter]
tyapp [TypeCore.map]
tyapp [TypeCore.visitor]
tyarrow [TypeCore.iter]
tyarrow [TypeCore.map]
tyarrow [TypeCore.visitor]
tybar [TypeCore.iter]
tybar [TypeCore.map]
tybar [TypeCore.visitor]
tybound [TypeCore.iter]
tybound [TypeCore.map]
tybound [TypeCore.visitor]
tyconcrete [TypeCore.iter]
tyconcrete [TypeCore.map]
tyconcrete [TypeCore.visitor]
tydynamic [TypeCore.iter]
tydynamic [TypeCore.map]
tydynamic [TypeCore.visitor]
tyempty [TypeCore.iter]
tyempty [TypeCore.map]
tyempty [TypeCore.visitor]
tyopen [TypeCore.iter]
tyopen [TypeCore.map]
tyopen [TypeCore.visitor]
tyq [TypeCore.iter]
tyq [TypeCore.map]
tyq [TypeCore.visitor]
tysingleton [TypeCore.iter]
tysingleton [TypeCore.map]
tysingleton [TypeCore.visitor]
tystar [TypeCore.iter]
tystar [TypeCore.map]
tystar [TypeCore.visitor]
tytuple [TypeCore.iter]
tytuple [TypeCore.map]
tytuple [TypeCore.visitor]
tyunknown [TypeCore.iter]
The case methods now perform a recursive traversal.
tyunknown [TypeCore.map]
The case methods now perform a recursive traversal.
tyunknown [TypeCore.visitor]
The case methods have no default implementation.

V
visit [TypeCore.visitor]
The main visitor method inspects the structure of ty and dispatches control to the appropriate case method.