transformations-0.1.1.0: Generic representation of tree transformations
Generics.MultiRec.Transformations.RewriteRules
type Transformation phi a = [AnyInsert phi a]Source
class (Zipper phi (PF phi), Rewrite phi) => Transform phi Source
apply :: Transform phi => Transformation phi a -> phi a -> a -> Maybe aSource
insert :: El phi ix => (Loc phi I0 a -> Maybe (Loc phi I0 a)) -> Rule phi ix -> AnyInsert phi aSource
data AnyInsert phi a whereSource
Constructors