Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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 #
:: 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 #