Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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.