Safe Haskell | None |
---|---|
Language | Haskell98 |
This module contains a wrappers and utility functions for accessing GHC module information. It should NEVER depend on ANY module inside the Language.Haskell.Liquid.* tree.
Documentation
data MGIModGuts Source
MI | |
|
srcSpanTick :: Module -> SrcSpan -> Tickish a Source
tickSrcSpan :: Outputable a => Tickish a -> SrcSpan Source
stringTyVar :: String -> TyVar Source
hasBaseTypeVar :: Var -> Bool Source
isBaseType :: Type -> Bool Source
validTyVar :: String -> Bool Source
tracePpr :: Outputable a => [Char] -> a -> a Source
unTickExpr :: Expr b -> Expr b Source
isFractionalClass :: Class -> Bool Source
isDataConId :: Id -> Bool Source
getDataConVarUnique :: Var -> Unique Source
unpackRealSrcSpan :: RealSrcSpan -> (String, Int, Int, Int, Int) Source
realSrcSpan :: String -> Int -> Int -> Int -> Int -> RealSrcSpan Source
pprDoc :: Outputable a => a -> Doc Source
showPpr :: Outputable a => a -> String Source
showSDocDump :: SDoc -> String Source
typeUniqueString :: Outputable a => a -> String Source
sourcePosSrcLoc :: SourcePos -> SrcLoc Source
srcSpanFilename :: SrcSpan -> String Source
srcSpanStartLoc :: RealSrcSpan -> Loc Source
srcSpanEndLoc :: RealSrcSpan -> Loc Source
oneLine :: RealSrcSpan -> Bool Source
lineCol :: RealSrcSpan -> (Int, Int) Source
getSourcePos :: NamedThing a => a -> SourcePos Source
getSourcePosE :: NamedThing a => a -> SourcePos Source
collectArguments :: Int -> CoreExpr -> [Var] Source
ignoreLetBinds :: Expr t -> Expr t Source
isDictionary :: Symbolic a => a -> Bool Source
isInternal :: Symbolic a => a -> Bool Source
realTcArity :: TyCon -> Arity Source
uniqueHash :: Uniquable a => Int -> a -> Int Source
lookupRdrName :: HscEnv -> ModuleName -> RdrName -> IO (Maybe Name) Source
addContext :: GhcMonad m => InteractiveImport -> m () Source
qualImportDecl :: ModuleName -> ImportDecl name Source
symbolTyVar :: Symbol -> TyVar Source
qualifiedNameSymbol :: Name -> Symbol Source
fastStringText :: FastString -> Text Source
tyConTyVarsDef :: TyCon -> [TyVar] Source
lintCoreBindings :: [Var] -> CoreProgram -> (Bag MsgDoc, Bag MsgDoc) Source
synTyConRhs_maybe :: TyCon -> Maybe Type Source