Safe Haskell | None |
---|
- ppIdInfo :: Id -> IdInfo -> SDoc
- var2String :: Var -> String
- thRdrNameGuesses :: Name -> [RdrName]
- name2THName :: Name -> Name
- var2THName :: Var -> Name
- cmpTHName2Name :: Name -> Name -> Bool
- cmpString2Name :: String -> Name -> Bool
- cmpTHName2Var :: Name -> Var -> Bool
- cmpString2Var :: String -> Var -> Bool
- unqualifiedVarName :: Var -> String
- findNameFromTH :: GlobalRdrEnv -> Name -> [Name]
- alphaTyVars :: [TyVar]
- data Type
- data GhcException = ProgramError String
- throwGhcException :: GhcException -> a
- exprArity :: CoreExpr -> Arity
GHC Imports
Things that have been copied from GHC, or imported directly, for various reasons.
var2String :: Var -> StringSource
Convert a variable to a neat string for printing.
thRdrNameGuesses :: Name -> [RdrName]
name2THName :: Name -> NameSource
cmpTHName2Name :: Name -> Name -> BoolSource
Hacks until we can find the correct way of doing these.
cmpString2Name :: String -> Name -> BoolSource
Hacks until we can find the correct way of doing these.
cmpTHName2Var :: Name -> Var -> BoolSource
Hacks until we can find the correct way of doing these.
cmpString2Var :: String -> Var -> BoolSource
Hacks until we can find the correct way of doing these.
unqualifiedVarName :: Var -> StringSource
Get the unqualified name from an Var.
findNameFromTH :: GlobalRdrEnv -> Name -> [Name]Source
alphaTyVars :: [TyVar]
data Type
The key representation of types within the compiler
TyVarTy Var | Vanilla type or kind variable (*never* a coercion variable) |
AppTy Type Type | Type application to something other than a 1) Function: must not be a 2) Argument type |
TyConApp TyCon [KindOrType] | Application of a 1) Type constructor being applied to. 2) Type arguments. Might not have enough type arguments here to saturate the constructor. Even type synonyms are not necessarily saturated; for example unsaturated type synonyms can appear as the right hand side of a type synonym. |
FunTy Type Type | Special case of |
ForAllTy Var Type | A polymorphic type |
LitTy TyLit | Type literals are simillar to type constructors. |
data GhcException
GHC's own exception type error messages all take the form:
location: error
If the location is on the command line, or in GHC itself, then location=ghc. All of the error types below correspond to a location of ghc, except for ProgramError (where the string is assumed to contain a location already, so we don't print one).
ProgramError String | An error in the user's code, probably. |
throwGhcException :: GhcException -> a
exprArity :: CoreExpr -> Arity
An approximate, fast, version of exprEtaExpandArity