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

isAnonBinder :: TyConBinder -> Bool
mkAlive :: Var -> Id
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
isTmpVar :: Var -> Bool
isTmpSymbol :: Symbol -> Bool
validTyVar :: String -> Bool
tvId :: TyVar -> String
tidyCBs :: [CoreBind] -> [CoreBind]
unTick :: CoreBind -> CoreBind
unTickExpr :: CoreExpr -> CoreExpr
isFractionalClass :: Class -> Bool
notracePpr :: Outputable a => String -> a -> a
tracePpr :: Outputable a => String -> a -> a
pprShow :: Show a => a -> SDoc
toFixSDoc :: Fixpoint a => a -> Doc
sDocDoc :: SDoc -> Doc
pprDoc :: Outputable a => a -> Doc
showPpr :: Outputable a => a -> String
showSDoc :: SDoc -> String
myQualify :: PrintUnqualified
showSDocDump :: SDoc -> String
typeUniqueString :: Outputable a => a -> String
newtype Loc = L (Int, Int)
fSrcSpan :: Loc a => a -> SrcSpan
fSourcePos :: Loc a => a -> SourcePos
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
locNamedThing :: NamedThing a => a -> Located a
namedLocSymbol :: (Symbolic a, NamedThing a) => a -> Located Symbol
varLocInfo :: (Type -> a) -> Var -> Located a
namedPanic :: NamedThing a => a -> String -> b
collectArguments :: Int -> CoreExpr -> [Var]
collectValBinders' :: Expr Var -> ([Var], Expr Var)
ignoreLetBinds :: Expr t -> Expr t
isTupleId :: Id -> Bool
idDataConM :: Id -> Maybe DataCon
isDataConId :: Id -> Bool
getDataConVarUnique :: Var -> Unique
isDictionaryExpression :: Expr Id -> Maybe Id
realTcArity :: TyCon -> Arity
kindTCArity :: TyCon -> Arity
kindArity :: Kind -> Arity
uniqueHash :: Uniquable a => Int -> a -> Int
lookupRdrName :: HscEnv -> ModuleName -> RdrName -> IO (Maybe Name)
ignoreInline :: ParsedModule -> ParsedModule
symbolTyConWithKind :: Kind -> Char -> Int -> Symbol -> TyCon
symbolTyCon :: Char -> Int -> Symbol -> TyCon
symbolTyVar :: Symbol -> TyVar
localVarSymbol :: Var -> Symbol
exportedVarSymbol :: Var -> Symbol
qualifiedNameSymbol :: Name -> Symbol
fastStringText :: FastString -> Text
tyConTyVarsDef :: TyCon -> [TyVar]
noTyVars :: TyCon -> Bool
splitModuleName :: Symbol -> (Symbol, Symbol)
dropModuleNamesAndUnique :: Symbol -> Symbol
dropModuleNames :: Symbol -> Symbol
dropModuleNamesCorrect :: Symbol -> Symbol
takeModuleNames :: Symbol -> Symbol
dropModuleUnique :: Symbol -> Symbol
cmpSymbol :: Symbol -> Symbol -> Bool
sepModNames :: Text
sepUnique :: Text
mungeNames :: (String -> [Text] -> Symbol) -> Text -> String -> Symbol -> Symbol
qualifySymbol :: Symbol -> Symbol -> Symbol
isQualifiedSym :: Symbol -> Bool
isQualified :: Text -> Bool
wrapParens :: (IsString a, Monoid a) => a -> a
isParened :: Text -> Bool
isDictionary :: Symbolic a => a -> Bool
isMethod :: Symbolic a => a -> Bool
isInternal :: Symbolic a => a -> Bool
isWorker :: Symbolic a => a -> Bool
stripParens :: Text -> Text
stripParensSym :: Symbol -> Symbol
desugarModule :: TypecheckedModule -> Ghc DesugaredModule
gHC_VERSION :: String
symbolFastString :: Symbol -> FastString
lintCoreBindings :: [Var] -> CoreProgram -> (Bag MsgDoc, Bag MsgDoc)
synTyConRhs_maybe :: TyCon -> Maybe Type
tcRnLookupRdrName :: HscEnv -> Located RdrName -> IO (Messages, Maybe [Name])
showCBs :: Bool -> [CoreBind] -> String
ignoreCoreBinds :: HashSet Var -> [CoreBind] -> [CoreBind]
findVarDef :: Symbol -> [CoreBind] -> Maybe (Var, CoreExpr)
coreBindSymbols :: CoreBind -> [Symbol]
simplesymbol :: NamedThing t => t -> Symbol
binders :: Bind a -> [a]
expandVarType :: Var -> Type
isPredExpr :: CoreExpr -> Bool
isPredVar :: Var -> Bool
isPredType :: Type -> Bool
anyF :: [a -> Bool] -> a -> Bool
defaultDataCons :: Type -> [AltCon] -> Maybe [(DataCon, [TyVar], [Type])]
isEvVar :: Id -> Bool

Documentation

isAnonBinder :: TyConBinder -> Bool #

mkAlive :: Var -> Id #

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

Encoding and Decoding Location --------------------------------------------

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

stringTyVar :: String -> TyVar #

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

stringVar :: String -> Type -> Var #

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

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

hasBaseTypeVar :: Var -> Bool #

isBaseType :: Type -> Bool #

isTmpVar :: Var -> Bool #

isTmpSymbol :: Symbol -> Bool #

validTyVar :: String -> Bool #

tvId :: TyVar -> String #

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

unTick :: CoreBind -> CoreBind #

unTickExpr :: CoreExpr -> CoreExpr #

isFractionalClass :: Class -> Bool #

notracePpr :: Outputable a => String -> a -> a #

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

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

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

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

sDocDoc :: SDoc -> Doc #

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

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

showSDoc :: SDoc -> String #

myQualify :: PrintUnqualified #

showSDocDump :: SDoc -> String #

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

newtype Loc #

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

Constructors

L (Int, Int)

Instances

Instances details

Eq Loc #
Instance details Defined in Language.Haskell.Liquid.GHC.Misc Methods (==) :: Loc -> Loc -> Bool # (/=) :: Loc -> Loc -> Bool #
Ord Loc #
Instance details Defined in Language.Haskell.Liquid.GHC.Misc 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 #
Instance details Defined in Language.Haskell.Liquid.GHC.Misc Methods showsPrec :: Int -> Loc -> ShowS # show :: Loc -> String # showList :: [Loc] -> ShowS #
Hashable Loc #
Instance details Defined in Language.Haskell.Liquid.GHC.Misc Methods hashWithSalt :: Int -> Loc -> Int hash :: Loc -> Int
ToJSON Loc
Instance details Defined in Language.Haskell.Liquid.UX.Annotate Methods toJSON :: Loc -> Value toEncoding :: Loc -> Encoding toJSONList :: [Loc] -> Value toEncodingList :: [Loc] -> Encoding

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

fSourcePos :: Loc a => a -> SourcePos #

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 #

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

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

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

namedPanic :: NamedThing a => a -> String -> b #

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

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

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

ignoreLetBinds :: Expr t -> Expr t #

isTupleId :: Id -> Bool #

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

idDataConM :: Id -> Maybe DataCon #

isDataConId :: Id -> Bool #

getDataConVarUnique :: Var -> Unique #

isDictionaryExpression :: Expr Id -> Maybe Id #

realTcArity :: TyCon -> Arity #

kindTCArity :: TyCon -> Arity #

kindArity :: Kind -> Arity #

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

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

ignoreInline :: ParsedModule -> ParsedModule #

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

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

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

symbolTyVar :: Symbol -> TyVar #

localVarSymbol :: Var -> Symbol #

exportedVarSymbol :: Var -> Symbol #

qualifiedNameSymbol :: Name -> Symbol #

fastStringText :: FastString -> Text #

tyConTyVarsDef :: TyCon -> [TyVar] #

noTyVars :: TyCon -> Bool #

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

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

dropModuleNamesAndUnique :: Symbol -> Symbol #

dropModuleNames :: Symbol -> Symbol #

dropModuleNamesCorrect :: Symbol -> Symbol #

takeModuleNames :: Symbol -> Symbol #

dropModuleUnique :: Symbol -> Symbol #

cmpSymbol :: Symbol -> Symbol -> Bool #

sepModNames :: Text #

sepUnique :: Text #

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

qualifySymbol :: Symbol -> Symbol -> Symbol #

isQualifiedSym :: Symbol -> Bool #

isQualified :: Text -> Bool #

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

isParened :: Text -> Bool #

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

isMethod :: Symbolic a => a -> Bool #

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

isWorker :: Symbolic a => a -> Bool #

stripParens :: Text -> Text #

stripParensSym :: Symbol -> Symbol #

desugarModule :: TypecheckedModule -> Ghc DesugaredModule #

gHC_VERSION :: String #

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

symbolFastString :: Symbol -> FastString #

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

synTyConRhs_maybe :: TyCon -> Maybe Type #

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

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

ignoreCoreBinds :: HashSet Var -> [CoreBind] -> [CoreBind] #

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

coreBindSymbols :: CoreBind -> [Symbol] #

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

binders :: Bind a -> [a] #

expandVarType :: Var -> Type #

isPredExpr :: CoreExpr -> Bool #

The following functions test if a CoreExpr or CoreVar are just types in disguise, e.g. have PredType (in the GHC sense of the word), and so shouldn't appear in refinements.

isPredVar :: Var -> Bool #

isPredType :: Type -> Bool #

anyF :: [a -> Bool] -> a -> Bool #

defaultDataCons :: Type -> [AltCon] -> Maybe [(DataCon, [TyVar], [Type])] #

'defaultDataCons t ds' returns the list of '(dc, types)' pairs, corresponding to the _missing_ cases, i.e. _other_ than those in ds, that are being handled by DEFAULT.

isEvVar :: Id -> Bool #

Orphan instances

Show Class #
Instance details Methods showsPrec :: Int -> Class -> ShowS # show :: Class -> String # showList :: [Class] -> ShowS #
Show Var #
Instance details Methods showsPrec :: Int -> Var -> ShowS # show :: Var -> String # showList :: [Var] -> ShowS #
Show TyCon #
Instance details Methods showsPrec :: Int -> TyCon -> ShowS # show :: TyCon -> String # showList :: [TyCon] -> ShowS #
Show Name #
Instance details Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
NFData Class #
Instance details Methods rnf :: Class -> () #
NFData Type #
Instance details Methods rnf :: Type -> () #
NFData Var #
Instance details Methods rnf :: Var -> () #
NFData TyCon #
Instance details Methods rnf :: TyCon -> () #
Symbolic Class #
Instance details Methods symbol :: Class -> Symbol
Symbolic Var #	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.
Instance details Methods symbol :: Var -> Symbol
Symbolic FastString #
Instance details Methods symbol :: FastString -> Symbol
Symbolic TyCon #	Symbol Instances
Instance details Methods symbol :: TyCon -> Symbol
Symbolic Name #
Instance details Methods symbol :: Name -> Symbol
Fixpoint Type #
Instance details Methods toFix :: Type -> Doc simplify :: Type -> Type
Fixpoint Var #
Instance details Methods toFix :: Var -> Doc simplify :: Var -> Var
Fixpoint Name #
Instance details Methods toFix :: Name -> Doc simplify :: Name -> Name
Loc Var #
Instance details Methods srcSpan :: Var -> SrcSpan
Hashable DataCon #
Instance details Methods hashWithSalt :: Int -> DataCon -> Int hash :: DataCon -> Int
Hashable Var #
Instance details Methods hashWithSalt :: Int -> Var -> Int hash :: Var -> Int
Hashable SrcSpan #
Instance details Methods hashWithSalt :: Int -> SrcSpan -> Int hash :: SrcSpan -> Int
Hashable TyCon #
Instance details Methods hashWithSalt :: Int -> TyCon -> Int hash :: TyCon -> Int
Outputable a => Outputable (HashSet a) #
Instance details Methods ppr :: HashSet a -> SDoc # pprPrec :: Rational -> HashSet a -> SDoc #