| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Tools.Refactor.GenerateTypeSignature
- generateTypeSignature :: Simple Traversal (Ann Module STWithId) (AnnList Decl STWithId) -> Simple Traversal (Ann Module STWithId) (AnnList LocalBind STWithId) -> (forall d. (Show (d (NodeInfo STWithId SourceTemplate)), Data (d STWithId), Typeable d, BindingElem d) => AnnList d STWithId -> Maybe (Ann ValueBind STWithId)) -> Ann Module STWithId -> RefactoredModule Id
- generateTypeSignature' :: RealSrcSpan -> Ann Module STWithId -> RefactoredModule Id
Documentation
generateTypeSignature Source #
Arguments
| :: Simple Traversal (Ann Module STWithId) (AnnList Decl STWithId) | Access for a top-level definition if it is the selected definition |
| -> Simple Traversal (Ann Module STWithId) (AnnList LocalBind STWithId) | Access for a definition list if it contains the selected definition |
| -> (forall d. (Show (d (NodeInfo STWithId SourceTemplate)), Data (d STWithId), Typeable d, BindingElem d) => AnnList d STWithId -> Maybe (Ann ValueBind STWithId)) | Selector for either local or top-level declaration in the definition list |
| -> Ann Module STWithId | |
| -> RefactoredModule Id |
Perform the refactoring on either local or top-level definition
generateTypeSignature' :: RealSrcSpan -> Ann Module STWithId -> RefactoredModule Id Source #