| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Retrie.Context
Synopsis
- type ContextUpdater = forall m. MonadIO m => GenericCU (TransformT m) Context
- updateContext :: forall m. MonadIO m => GenericCU (TransformT m) Context
- emptyContext :: FixityEnv -> Rewriter -> Rewriter -> Context
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.