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

Retrie.Context

Synopsis

Documentation

type ContextUpdater = forall (m :: Type -> Type). MonadIO m => GenericCU (TransformT m) Context #

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 :: Type -> Type). MonadIO m => GenericCU (TransformT m) Context #

Default context update function.

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

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