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

Retrie.Context

Synopsis

Documentation

type ContextUpdater = forall m. MonadIO m => GenericCU (TransformT m) Context Source #

Type of context update functions for apply. When defining your own ContextUpdater, you probably want to extend updateContext using SYB combinators such as mkQ and extQ.

updateContext :: forall m. MonadIO m => GenericCU (TransformT m) Context Source #

Default context update function.

emptyContext :: FixityEnv -> Rewriter -> Rewriter -> Context Source #

Create an empty Context with given FixityEnv, rewriter, and dependent rewrite generator.