Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.GHC.Misc

Contents

Orphan instances

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.

Synopsis

Documentation

mkAlive :: Var -> Id Source #

data MGIModGuts Source #

Datatype For Holding GHC ModGuts ------------------------------------------

Constructors

MI
Fields mgi_binds :: !CoreProgram mgi_module :: !Module mgi_deps :: !Dependencies mgi_dir_imps :: ![ModuleName] mgi_rdr_env :: !GlobalRdrEnv mgi_tcs :: ![TyCon] mgi_fam_insts :: ![FamInst] mgi_exports :: !NameSet mgi_cls_inst :: !(Maybe [ClsInst])

miModGuts :: Maybe [ClsInst] -> ModGuts -> MGIModGuts Source #

mg_dir_imps :: ModGuts -> [ModuleName] Source #

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 #

Generic Helpers for Accessing GHC Innards ---------------------------------

stringVar :: String -> Type -> Var Source #

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

stringTyConWithKind :: Kind -> Char -> Int -> String -> TyCon Source #

hasBaseTypeVar :: Var -> Bool Source #

isBaseType :: Type -> Bool Source #

validTyVar :: String -> Bool Source #

tvId :: TyVar -> String Source #

tidyCBs :: [CoreBind] -> [CoreBind] Source #

unTick :: CoreBind -> CoreBind Source #

unTickExpr :: CoreExpr -> CoreExpr Source #

isFractionalClass :: Class -> Bool Source #

tracePpr :: Outputable a => String -> a -> a Source #

Pretty Printers -----------------------------------------------------------

pprShow :: Show a => a -> SDoc 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 #

myQualify :: PrintUnqualified Source #

showSDocDump :: SDoc -> String Source #

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

newtype Loc Source #

Manipulating Source Spans -------------------------------------------------

Constructors

L (Int, Int)

Instances

Eq Loc Source #
Methods (==) :: Loc -> Loc -> Bool # (/=) :: Loc -> Loc -> Bool #
Ord Loc Source #
Methods compare :: Loc -> Loc -> Ordering # (<) :: Loc -> Loc -> Bool # (<=) :: Loc -> Loc -> Bool # (>) :: Loc -> Loc -> Bool # (>=) :: Loc -> Loc -> Bool # max :: Loc -> Loc -> Loc # min :: Loc -> Loc -> Loc #
Show Loc Source #
Methods showsPrec :: Int -> Loc -> ShowS # show :: Loc -> String # showList :: [Loc] -> ShowS #
Hashable Loc Source #
Methods hashWithSalt :: Int -> Loc -> Int # hash :: Loc -> Int #

fSrcSpan :: Loc a => a -> SrcSpan Source #

fSrcSpanSrcSpan :: SrcSpan -> SrcSpan Source #

srcSpanFSrcSpan :: SrcSpan -> SrcSpan Source #

sourcePos2SrcSpan :: SourcePos -> SourcePos -> SrcSpan 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 #

locNamedThing :: NamedThing a => a -> Located a Source #

namedLocSymbol :: (Symbolic a, NamedThing a) => a -> Located Symbol Source #

varLocInfo :: (Type -> a) -> Var -> Located a Source #

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

Manipulating CoreExpr -----------------------------------------------------

collectTyBinders :: CoreExpr -> ([Var], CoreExpr) Source #

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

ignoreLetBinds :: Expr t -> Expr t Source #

isTupleId :: Id -> Bool Source #

Predicates on CoreExpr and DataCons ---------------------------------------

idDataConM :: Id -> Maybe DataCon Source #

isDataConId :: Id -> Bool Source #

getDataConVarUnique :: Var -> Unique Source #

isDictionaryExpression :: Expr Id -> Maybe Id Source #

realTcArity :: TyCon -> Arity Source #

kindArity :: Kind -> Arity Source #

uniqueHash :: Uniquable a => Int -> a -> Int Source #

lookupRdrName :: HscEnv -> ModuleName -> RdrName -> IO (Maybe Name) Source #

qualImportDecl :: ModuleName -> ImportDecl name Source #

ignoreInline :: ParsedModule -> ParsedModule Source #

symbolTyConWithKind :: Kind -> Char -> Int -> Symbol -> TyCon Source #

Symbol Conversions --------------------------------------------------------

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

symbolTyVar :: Symbol -> TyVar Source #

localVarSymbol :: Var -> Symbol Source #

exportedVarSymbol :: Var -> Symbol Source #

qualifiedNameSymbol :: Name -> Symbol Source #

fastStringText :: FastString -> Text Source #

tyConTyVarsDef :: TyCon -> [TyVar] Source #

splitModuleName :: Symbol -> (Symbol, Symbol) Source #

Manipulating Symbols ------------------------------------------------------

dropModuleNamesAndUnique :: Symbol -> Symbol Source #

dropModuleNames :: Symbol -> Symbol Source #

takeModuleNames :: Symbol -> Symbol Source #

dropModuleUnique :: Symbol -> Symbol Source #

cmpSymbol :: Symbol -> Symbol -> Bool Source #

sepModNames :: Text Source #

sepUnique :: Text Source #

mungeNames :: (String -> [Text] -> Symbol) -> Text -> String -> Symbol -> Symbol Source #

qualifySymbol :: Symbol -> Symbol -> Symbol Source #

isQualified :: Text -> Bool Source #

wrapParens :: (IsString a, Monoid a) => a -> a Source #

isParened :: Text -> Bool Source #

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

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

stripParens :: Text -> Text Source #

stripParensSym :: Symbol -> Symbol Source #

desugarModule :: TypecheckedModule -> Ghc DesugaredModule Source #

gHC_VERSION :: String Source #

GHC Compatibility Layer ---------------------------------------------------

symbolFastString :: Symbol -> FastString Source #

type Prec = TyPrec Source #

lintCoreBindings :: [Var] -> CoreProgram -> (Bag MsgDoc, Bag MsgDoc) Source #

synTyConRhs_maybe :: TyCon -> Maybe Type Source #

tcRnLookupRdrName :: HscEnv -> Located RdrName -> IO (Messages, Maybe [Name]) Source #

showCBs :: Bool -> [CoreBind] -> String Source #

findVarDef :: Symbol -> [CoreBind] -> Maybe (Var, CoreExpr) Source #

coreBindSymbols :: CoreBind -> [Symbol] Source #

simplesymbol :: NamedThing t => t -> Symbol Source #

binders :: Bind a -> [a] Source #

Orphan instances

Show Class Source #
Methods showsPrec :: Int -> Class -> ShowS # show :: Class -> String # showList :: [Class] -> ShowS #
Show Var Source #
Methods showsPrec :: Int -> Var -> ShowS # show :: Var -> String # showList :: [Var] -> ShowS #
Show TyCon Source #
Methods showsPrec :: Int -> TyCon -> ShowS # show :: TyCon -> String # showList :: [TyCon] -> ShowS #
Show Name Source #
Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
NFData Class Source #
Methods rnf :: Class -> () #
NFData Var Source #
Methods rnf :: Var -> () #
NFData TyCon Source #
Methods rnf :: TyCon -> () #
NFData Type Source #
Methods rnf :: Type -> () #
Hashable Var Source #
Methods hashWithSalt :: Int -> Var -> Int # hash :: Var -> Int #
Hashable TyCon Source #
Methods hashWithSalt :: Int -> TyCon -> Int # hash :: TyCon -> Int #
Hashable SrcSpan Source #
Methods hashWithSalt :: Int -> SrcSpan -> Int # hash :: SrcSpan -> Int #
Fixpoint Var Source #
Methods toFix :: Var -> Doc simplify :: Var -> Var
Fixpoint Type Source #
Methods toFix :: Type -> Doc simplify :: Type -> Type
Fixpoint Name Source #
Methods toFix :: Name -> Doc simplify :: Name -> Name
Symbolic Class Source #
Methods symbol :: Class -> Symbol
Symbolic Var Source #	NOTE:REFLECT-IMPORTS we eschew the `unique` suffix for exported vars, to make it possible to lookup names from symbols _across_ modules; anyways exported names are top-level and you shouldn't have local binders that shadow them. However, we keep the `unique` suffix for local variables, as otherwise there are spurious, but extremely problematic, name collisions in the fixpoint environment.
Methods symbol :: Var -> Symbol
Symbolic TyCon Source #	Symbol Instances
Methods symbol :: TyCon -> Symbol
Symbolic FastString Source #
Methods symbol :: FastString -> Symbol
Symbolic Name Source #
Methods symbol :: Name -> Symbol
Outputable a => Outputable (HashSet a) Source #
Methods ppr :: HashSet a -> SDoc # pprPrec :: Rational -> HashSet a -> SDoc #