| Safe Haskell | None |
|---|
Language.Haskell.HBB.Internal.AST
- transformRenamedAST :: (Monad m, Data a) => GenericM m -> a -> m a
- queryRenamedAST :: r -> (r -> r -> r) -> GenericQ r -> GenericQ r
- transformTypecheckedAST :: (Monad m, Data a) => GenericM m -> a -> m a
Documentation
transformRenamedAST :: (Monad m, Data a) => GenericM m -> a -> m aSource
Uses SYB to create generic transformation that omits elements of type
PostTcType. This is needed because after the renamer PostTcTypes must not
be evaluated.
queryRenamedAST :: r -> (r -> r -> r) -> GenericQ r -> GenericQ rSource
This function is similar to everythingBut from the SYB schemes but uses a
neutral element and automatically omits elements of the renamed AST that
mustn't be evaluated.
transformTypecheckedAST :: (Monad m, Data a) => GenericM m -> a -> m aSource
Uses SYB to create generic transformation that omits elements of type
NameSet. This is needed because after the renamer NameSet (the element
bind_fvs in function bindings) must not be evaluated.