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
- fqName :: Name -> String
- uqName :: Name -> String
- findNamesFromString :: GlobalRdrEnv -> String -> [Name]
- findNamesFromTH :: GlobalRdrEnv -> Name -> [Name]
- alphaTyVars :: [TyVar]
- data Type
- data TyLit
- data GhcException = ProgramError String
- throwGhcException :: GhcException -> a
- exprArity :: CoreExpr -> Arity
- coAxiomName :: CoAxiom -> Name
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 (unqualfied name).
thRdrNameGuesses :: Name -> [RdrName]
name2THName :: Name -> NameSource
cmpTHName2Name :: Name -> Name -> BoolSource
Compare a Name
to a Name
for equality. See cmpString2Name
.
cmpString2Name :: String -> Name -> BoolSource
cmpTHName2Var :: Name -> Var -> BoolSource
Compare a Name
to a Var
for equality. See cmpString2Name
.
cmpString2Var :: String -> Var -> BoolSource
Compare a String
to a Var
for equality. See cmpString2Name
.
findNamesFromString :: GlobalRdrEnv -> String -> [Name]Source
Find Name
s matching a given fully qualified or unqualified name.
If given name is fully qualified, will only return first result, which is assumed unique.
findNamesFromTH :: GlobalRdrEnv -> Name -> [Name]Source
Find Name
s matching a Name
. See findNamesFromString
.
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 TyLit
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
coAxiomName :: CoAxiom -> NameSource