Up
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.