Safe Haskell | None |
---|---|
Language | Haskell2010 |
- generateTypeSignature :: GenerateSignatureDomain dom => Simple Traversal (Module dom) (DeclList dom) -> Simple Traversal (Module dom) (LocalBindList dom) -> (forall d. BindingElem d => AnnList d dom -> Maybe (ValueBind dom)) -> LocalRefactoring dom
- generateTypeSignature' :: GenerateSignatureDomain dom => RealSrcSpan -> LocalRefactoring dom
- type GenerateSignatureDomain dom = (HasModuleInfo dom, HasIdInfo dom, HasImportInfo dom, HasScopeInfo dom)
- tryItOut :: String -> String -> IO ()
Documentation
generateTypeSignature Source #
:: GenerateSignatureDomain dom | |
=> Simple Traversal (Module dom) (DeclList dom) | Access for a top-level definition if it is the selected definition |
-> Simple Traversal (Module dom) (LocalBindList dom) | Access for a definition list if it contains the selected definition |
-> (forall d. BindingElem d => AnnList d dom -> Maybe (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, HasScopeInfo dom) Source #