| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Tools.Refactor.Builtin.GenerateTypeSignature
Synopsis
- generateTypeSignature :: Simple Traversal Module DeclList -> Simple Traversal Module LocalBindList -> (forall d. BindingElem d => AnnList d -> Maybe ValueBind) -> LocalRefactoring
- generateTypeSignature' :: RealSrcSpan -> LocalRefactoring
- tryItOut :: String -> String -> IO ()
- generateTypeSignatureRefactoring :: RefactoringChoice
Documentation
generateTypeSignature Source #
Arguments
| :: Simple Traversal Module DeclList | Access for a top-level definition if it is the selected definition |
| -> Simple Traversal Module LocalBindList | Access for a definition list if it contains the selected definition |
| -> (forall d. BindingElem d => AnnList d -> Maybe ValueBind) | Selector for either local or top-level declaration in the definition list |
| -> LocalRefactoring |
Perform the refactoring on either local or top-level definition
generateTypeSignature' :: RealSrcSpan -> LocalRefactoring Source #
generateTypeSignatureRefactoring :: RefactoringChoice Source #