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