Safe Haskell | None |
---|---|
Language | Haskell2010 |
Retrie.Subst
Synopsis
- subst :: forall (m :: Type -> Type) ast. (MonadIO m, Data ast) => Substitution -> Context -> ast -> TransformT m ast
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.