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.
- data MGIModGuts = MI {
- mgi_binds :: !CoreProgram
- mgi_module :: !Module
- mgi_deps :: !Dependencies
- mgi_dir_imps :: !ImportedMods
- mgi_rdr_env :: !GlobalRdrEnv
- mgi_tcs :: ![TyCon]
- mgi_fam_insts :: ![FamInst]
- mgi_exports :: !NameSet
- mgi_cls_inst :: !(Maybe [ClsInst])
- miModGuts :: Maybe [ClsInst] -> ModGuts -> MGIModGuts
- mgi_namestring :: MGIModGuts -> String
- srcSpanTick :: Module -> SrcSpan -> Tickish a
- tickSrcSpan :: Outputable a => Tickish a -> SrcSpan
- stringTyVar :: String -> TyVar
- stringVar :: String -> Type -> Var
- stringTyCon :: Char -> Int -> String -> TyCon
- stringTyConWithKind :: Kind -> Char -> Int -> String -> TyCon
- hasBaseTypeVar :: Var -> Bool
- isBaseType :: Type -> Bool
- validTyVar :: String -> Bool
- tvId :: Var -> [Char]
- tracePpr :: Outputable a => [Char] -> a -> a
- pprShow :: Show a => a -> SDoc
- tidyCBs :: [Bind b] -> [Bind b]
- unTick :: Bind b -> Bind b
- unTickExpr :: Expr b -> Expr b
- isFractionalClass :: Class -> Bool
- isDataConId :: Id -> Bool
- getDataConVarUnique :: Var -> Unique
- newtype Loc = L (Int, Int)
- toFixSDoc :: Fixpoint a => a -> Doc
- sDocDoc :: SDoc -> Doc
- pprDoc :: Outputable a => a -> Doc
- showPpr :: Outputable a => a -> String
- showSDoc :: SDoc -> String
- showSDocDump :: SDoc -> String
- typeUniqueString :: Outputable a => a -> String
- fSrcSpan :: Loc a => a -> SrcSpan
- fSrcSpanSrcSpan :: SrcSpan -> SrcSpan
- srcSpanFSrcSpan :: SrcSpan -> SrcSpan
- sourcePos2SrcSpan :: SourcePos -> SourcePos -> SrcSpan
- sourcePosSrcSpan :: SourcePos -> SrcSpan
- sourcePosSrcLoc :: SourcePos -> SrcLoc
- srcSpanSourcePos :: SrcSpan -> SourcePos
- srcSpanSourcePosE :: SrcSpan -> SourcePos
- srcSpanFilename :: SrcSpan -> String
- srcSpanStartLoc :: RealSrcSpan -> Loc
- srcSpanEndLoc :: RealSrcSpan -> Loc
- oneLine :: RealSrcSpan -> Bool
- lineCol :: RealSrcSpan -> (Int, Int)
- realSrcSpanSourcePos :: RealSrcSpan -> SourcePos
- realSrcSpanSourcePosE :: RealSrcSpan -> SourcePos
- getSourcePos :: NamedThing a => a -> SourcePos
- getSourcePosE :: NamedThing a => a -> SourcePos
- collectArguments :: Int -> CoreExpr -> [Var]
- collectValBinders' :: Expr Var -> ([Var], Expr Var)
- ignoreLetBinds :: Expr t -> Expr t
- isDictionaryExpression :: Expr Id -> Maybe Id
- realTcArity :: TyCon -> Arity
- kindArity :: Kind -> Arity
- uniqueHash :: Uniquable a => Int -> a -> Int
- lookupRdrName :: HscEnv -> ModuleName -> RdrName -> IO (Maybe Name)
- qualImportDecl :: ModuleName -> ImportDecl name
- ignoreInline :: ParsedModule -> ParsedModule
- symbolTyConWithKind :: Kind -> Char -> Int -> Symbol -> TyCon
- symbolTyCon :: Char -> Int -> Symbol -> TyCon
- symbolTyVar :: Symbol -> TyVar
- varSymbol :: Var -> Symbol
- qualifiedNameSymbol :: Name -> Symbol
- fastStringText :: FastString -> Text
- tyConTyVarsDef :: TyCon -> [TyVar]
- gHC_VERSION :: String
- symbolFastString :: Symbol -> FastString
- desugarModule :: TypecheckedModule -> Ghc DesugaredModule
- type Prec = TyPrec
- lintCoreBindings :: [Var] -> CoreProgram -> (Bag MsgDoc, Bag MsgDoc)
- synTyConRhs_maybe :: TyCon -> Maybe Type
- tcRnLookupRdrName :: HscEnv -> Located RdrName -> IO (Messages, Maybe [Name])
- dropModuleNames :: Symbol -> Symbol
- takeModuleNames :: Symbol -> Symbol
- dropModuleUnique :: Symbol -> Symbol
- sepModNames :: IsString a => a
- sepUnique :: IsString a => a
- mungeNames :: (String -> [Text] -> Symbol) -> Text -> String -> Symbol -> Symbol
- qualifySymbol :: Symbol -> Symbol -> Symbol
- isQualified :: Text -> Bool
- wrapParens :: (IsString a, Monoid a) => a -> a
- isParened :: Text -> Bool
- isDictionary :: Symbolic a => a -> Bool
- isInternal :: Symbolic a => a -> Bool
- stripParens :: Text -> Text
- stripParensSym :: Symbol -> Symbol
Documentation
data MGIModGuts Source
MI | |
|
mgi_namestring :: MGIModGuts -> String Source
srcSpanTick :: Module -> SrcSpan -> Tickish a Source
Encoding and Decoding Location --------------------------------------------
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
pprDoc :: Outputable a => a -> Doc Source
showPpr :: Outputable a => a -> String Source
showSDocDump :: SDoc -> String Source
typeUniqueString :: Outputable a => a -> String Source
fSrcSpanSrcSpan :: SrcSpan -> SrcSpan Source
srcSpanFSrcSpan :: SrcSpan -> SrcSpan Source
sourcePos2SrcSpan :: SourcePos -> SourcePos -> SrcSpan 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
realTcArity :: TyCon -> Arity Source
uniqueHash :: Uniquable a => Int -> a -> Int Source
lookupRdrName :: HscEnv -> ModuleName -> RdrName -> IO (Maybe Name) 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
dropModuleNames :: Symbol -> Symbol Source
Manipulating Symbols ----------------------------------------------
takeModuleNames :: Symbol -> Symbol Source
Manipulating Symbols ----------------------------------------------
dropModuleUnique :: Symbol -> Symbol Source
Manipulating Symbols ----------------------------------------------
sepModNames :: IsString a => a Source
qualifySymbol :: Symbol -> Symbol -> Symbol Source
isQualified :: Text -> Bool Source
wrapParens :: (IsString a, Monoid a) => a -> a Source
isDictionary :: Symbolic a => a -> Bool Source
isInternal :: Symbolic a => a -> Bool Source
stripParens :: Text -> Text Source
stripParensSym :: Symbol -> Symbol Source