| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Tools.Refactor.Builtin.GetMatches
Synopsis
- getMatchesQuery :: QueryChoice
- getMatches :: RealSrcSpan -> ModuleDom -> [ModuleDom] -> QueryMonad QueryValue
- getCtors :: Type -> QueryMonad [(String, [String])]
- noSuccessMsg :: Type -> String
- formatCtor :: DataCon -> (String, [String])
- createArgNames :: [Type] -> [String]
Documentation
getMatchesQuery :: QueryChoice Source #
getMatches :: RealSrcSpan -> ModuleDom -> [ModuleDom] -> QueryMonad QueryValue Source #
getCtors :: Type -> QueryMonad [(String, [String])] Source #
TODO: unpack forall, context types | TODO: care for infix constructors
noSuccessMsg :: Type -> String Source #
createArgNames :: [Type] -> [String] Source #
TODO: Check for names in scope | TODO: Create names based on the type