This transformer leaves the tree alone except to remap its types.
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.
Are sym
and sym1
the same? Can be tuned by subclasses.
Are sym
and sym1
the same? Can be tuned by subclasses.
Called by mapOver to determine whether the original symbols can be returned, or whether they must be cloned.
Called by mapOver to determine whether the original symbols can be returned, or whether they must be cloned. Overridden in VariantTypeMap.
Map target to type, can be tuned by subclasses
Map target to type, can be tuned by subclasses
Mix in VariantTypeMap if you want variances to be significant.
Mix in VariantTypeMap if you want variances to be significant.
A map to implement the
subst
method.