liquidhaskell-0.4.0.1: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.GhcMisc

Description

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

Constructors

MI
Fields 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_is_dfun :: !(Maybe [DFunId])

miModGuts :: Maybe [DFunId] -> ModGuts -> MGIModGuts Source

srcSpanTick :: Module -> SrcSpan -> Tickish a Source

tickSrcSpan :: Outputable a => Tickish a -> SrcSpan Source

stringTyVar :: String -> TyVar Source

stringTyCon :: Char -> Int -> String -> TyCon Source

hasBaseTypeVar :: Var -> Bool Source

isBaseType :: Type -> Bool Source

validTyVar :: String -> Bool Source

tvId :: Var -> [Char] Source

tracePpr :: Outputable a => [Char] -> a -> a Source

pprShow :: Show a => a -> SDoc Source

tidyCBs :: [Bind b] -> [Bind b] Source

unTick :: Bind b -> Bind b Source

unTickExpr :: Expr b -> Expr b Source

isFractionalClass :: Class -> Bool Source

isDataConId :: Id -> Bool Source

getDataConVarUnique :: Var -> Unique Source

newtype Loc Source

Constructors

Instances

Eq Loc
Ord Loc
Show Loc
ToJSON Loc
Hashable Loc

unpackRealSrcSpan :: RealSrcSpan -> (String, Int, Int, Int, Int) Source

realSrcSpan :: String -> Int -> Int -> Int -> Int -> RealSrcSpan Source

toFixSDoc :: Fixpoint a => a -> Doc Source

sDocDoc :: SDoc -> Doc Source

pprDoc :: Outputable a => a -> Doc Source

showPpr :: Outputable a => a -> String Source

showSDoc :: SDoc -> String Source

showSDocDump :: SDoc -> String Source

typeUniqueString :: Outputable a => a -> String Source

sourcePosSrcSpan :: SourcePos -> SrcSpan Source

sourcePosSrcLoc :: SourcePos -> SrcLoc Source

srcSpanSourcePos :: SrcSpan -> SourcePos Source

srcSpanSourcePosE :: SrcSpan -> SourcePos Source

srcSpanFilename :: SrcSpan -> String Source

srcSpanStartLoc :: RealSrcSpan -> Loc Source

srcSpanEndLoc :: RealSrcSpan -> Loc Source

oneLine :: RealSrcSpan -> Bool Source

lineCol :: RealSrcSpan -> (Int, Int) Source

realSrcSpanSourcePos :: RealSrcSpan -> SourcePos Source

realSrcSpanSourcePosE :: RealSrcSpan -> SourcePos Source

getSourcePos :: NamedThing a => a -> SourcePos Source

getSourcePosE :: NamedThing a => a -> SourcePos Source

collectArguments :: Int -> CoreExpr -> [Var] Source

collectValBinders' :: Expr Var -> ([Var], Expr Var) Source

ignoreLetBinds :: Expr t -> Expr t Source

isDictionaryExpression :: Expr Id -> Maybe Id Source

isDictionary :: Symbolic a => a -> Bool Source

isInternal :: Symbolic a => a -> Bool Source

realTcArity :: TyCon -> Arity Source

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

ignoreInline :: ParsedModule -> ParsedModule Source

symbolTyCon :: Char -> Int -> Symbol -> TyCon Source

symbolTyVar :: Symbol -> TyVar Source

varSymbol :: Var -> Symbol Source

qualifiedNameSymbol :: Name -> Symbol Source

fastStringText :: FastString -> Text Source

symbolFastString :: Symbol -> FastString Source

tyConTyVarsDef :: TyCon -> [TyVar] Source