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