This transformer leaves the tree alone except to remap its types.
Check whether two lists have elements that are eq-equal
Check whether two lists have elements that are eq-equal
Should this map drop annotations that are not type-constraint annotations?
Should this map drop annotations that are not type-constraint annotations?
Check that type tree
does not refer to entities
defined in scope scope
.
Check that type tree
does not refer to entities
defined in scope scope
.
...
...
...
...
Map a tree that is part of an annotation argument.
Map a tree that is part of an annotation argument. If the tree cannot be mapped, then invoke giveup(). The default is to transform the tree with TypeMapTransformer.
Map this function over given list of symbols
Map this function over given list of symbols
Map this function over given scope
Map this function over given scope
Map this function over given type
Map this function over given type
Map over a set of annotation arguments.
Map over a set of annotation arguments. If any of the arguments cannot be mapped, then return Nil.
Check that type tree
does not refer to private
components unless itself is wrapped in something private
(owner
tells where the type occurs).
Check that type tree
does not refer to private
components unless itself is wrapped in something private
(owner
tells where the type occurs).
...
...
...
The variance relative to start.
The variance relative to start. If you want variances to be significant, set variance = 1 at the top of the typemap.
Check that type of given tree does not contain local or private components.