Language.Haskell.Tools.Refactor.Predefined.GenerateTypeSignature

Documentation

generateTypeSignature

Arguments

:: 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

type GenerateSignatureDomain dom = (HasModuleInfo dom, HasIdInfo dom, HasImportInfo dom, HasScopeInfo dom)

tryItOut :: String -> String -> IO ()