Generics.Regular.Transformations.RewriteRules

Documentation

class (Regular a, Rewrite a, Zipper (PF a)) => Transform a

type Transformation a = [(Loc a -> Maybe (Loc a), Rule a)]

apply :: forall a. Transform a => Transformation a -> a -> Maybe a