HERMIT.GHC

GHC Imports

Things that have been copied from GHC, or imported directly, for various reasons.

module GhcPlugins

ppIdInfo :: Id -> IdInfo -> SDoc

Pretty-print an identifier.

zapVarOccInfo :: Var -> Var

Erase all OccInfo in a variable if it is is an Id, or do nothing if it's a TyVar or CoVar (which have no OccInfo).

var2String :: Var -> String

Convert a variable to a neat string for printing (unqualfied name).

thRdrNameGuesses :: Name -> [RdrName]

name2THName :: Name -> Name

Converts a GHC Name to a Template Haskell Name, going via a String.

var2THName :: Var -> Name

Converts an Var to a Template Haskell Name, going via a String.

cmpTHName2Name :: Name -> Name -> Bool

Compare a Name to a Name for equality. See cmpString2Name.

cmpString2Name :: String -> Name -> Bool

Compare a String to a Name for equality. Strings containing a period are assumed to be fully qualified names.

cmpTHName2Var :: Name -> Var -> Bool

Compare a Name to a Var for equality. See cmpString2Name.

cmpString2Var :: String -> Var -> Bool

Compare a String to a Var for equality. See cmpString2Name.

fqName :: Name -> String

Get the fully qualified name from a Name.

uqName :: NamedThing nm => nm -> String

Get the unqualified name from a NamedThing.

findNamesFromString :: GlobalRdrEnv -> String -> [Name]

Find Names 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]

Find Names matching a Name. See findNamesFromString.

alphaTyVars :: [TyVar]

data Type

The key representation of types within the compiler

Constructors

TyVarTy Var

Vanilla type or kind variable (*never* a coercion variable)

AppTy Type Type

Type application to something other than a TyCon. Parameters:

1) Function: must not be a TyConApp, must be another AppTy, or TyVarTy

2) Argument type

TyConApp TyCon [KindOrType]

Application of a TyCon, including newtypes and synonyms. Invariant: saturated appliations of FunTyCon must use FunTy and saturated synonyms must use their own constructors. However, unsaturated FunTyCons do appear as TyConApps. Parameters:

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 TyConApp: TyConApp FunTyCon [t1, t2] See Note [Equality-constrained types]

ForAllTy Var Type

A polymorphic type

LitTy TyLit

Type literals are simillar to type constructors.

Instances

Data Type

Typeable Type

Outputable Type

(ExtendPath c Crumb, ReadPath c Crumb, AddBindings c) => Walker c Type

Walking over types (only).

Injection Type CoreTC

Injection Type TyCo

data TyLit

Constructors

NumTyLit Integer

StrTyLit FastString

Instances

Eq TyLit

Data TyLit

Ord TyLit

Typeable TyLit

Outputable 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).

Constructors

ProgramError String

An error in the user's code, probably.

Instances

Show GhcException

Typeable GhcException

Exception GhcException

throwGhcException :: GhcException -> a

exprArity :: CoreExpr -> Arity

An approximate, fast, version of exprEtaExpandArity

occurAnalyseExpr :: CoreExpr -> CoreExpr

isKind :: Kind -> Bool

Is this a kind (i.e. a type-of-types)?

isLiftedTypeKindCon :: TyCon -> Bool

exprType :: CoreExpr -> Type

Recover the type of a well-typed Core expression. Fails when applied to the actual Type expression as it cannot really be said to have a type

notElemVarSet :: Var -> VarSet -> Bool

Determine if a Var is not an element of a VarSet.

varSetToStrings :: VarSet -> [String]

Convert a VarSet to a list of user-readable strings.

showVarSet :: VarSet -> String

Show a human-readable version of a VarSet.

data Pair a

Constructors

Pair

Fields

pFst :: a

pSnd :: a

Instances

Functor Pair

Applicative Pair

Foldable Pair

Traversable Pair

Outputable a => Outputable (Pair a)

bndrRuleAndUnfoldingVars :: Var -> VarSet

liftIO :: MonadIO m => forall a. IO a -> m a