retrie-1.2.3: A powerful, easy-to-use codemodding tool for Haskell.
Safe HaskellNone
LanguageHaskell2010

Retrie.Subst

Synopsis

Documentation

subst :: forall (m :: Type -> Type) ast. (MonadIO m, Data ast) => Substitution -> Context -> ast -> TransformT m ast #

Perform the given Substitution on an AST, avoiding variable capture by alpha-renaming binders as needed.