hex package:ghc

Puts the ModIface to the WriteBinHandle. This avoids serialisation of the ModIface if the fields mi_hi_bytes contains a Just value. This field is populated by reading the ModIface using getIfaceWithExtFields and not modifying it in any way afterwards.

withExtendedLoadedEnv :: ExceptionMonad m => Interp -> [(Name, ForeignHValue)] -> m a -> m a

ghc GHC.Linker.Loader

Temporarily extend the loaded env.

is_hexdigit :: Char -> Bool

ghc GHC.Parser.CharClass

withExtInterp :: ExceptionMonad m => ExtInterp -> (forall d . () => ExtInterpInstance d -> m a) -> m a

ghc GHC.Runtime.Interpreter

readCreateProcessWithExitCode' :: CreateProcess -> IO (ExitCode, String)

ghc GHC.SysTools.Process

readProcessEnvWithExitCode :: String -> [String] -> (String, String) -> IO (ExitCode, String, String)

ghc GHC.SysTools.Process

Version of System.Process.readProcessWithExitCode that takes a key-value tuple to insert into the environment.

subGoalDepthExceeded :: IntWithInf -> SubGoalDepth -> Bool

ghc GHC.Tc.Types.CtLoc

withException :: MonadIO m => SDocContext -> m (MaybeErr SDoc a) -> m a

ghc GHC.Tc.Utils.Monad

A convenient wrapper for taking a MaybeErr SDoc a and throwing an exception if it is an error.

matchExpectedAppTy :: TcRhoType -> TcM (TcCoercion, (TcSigmaType, TcSigmaType))

ghc GHC.Tc.Utils.Unify

matchExpectedFunKind :: TypedThing -> Arity -> TcKind -> TcM Coercion

ghc GHC.Tc.Utils.Unify

Breaks apart a function kind into its pieces.

matchExpectedFunTys :: ExpectedFunTyOrigin -> UserTypeCtxt -> VisArity -> ExpSigmaType -> ([ExpPatType] -> ExpRhoType -> TcM a) -> TcM (HsWrapper, a)

ghc GHC.Tc.Utils.Unify

Use this function to split off arguments types when you have an "expected" type. This function skolemises at each polytype. Invariant: this function only applies the provided function to a list of argument types which all have a syntactically fixed RuntimeRep in the sense of Note [Fixed RuntimeRep] in GHC.Tc.Utils.Concrete. See Note [Return arguments with a fixed RuntimeRep].

matchExpectedListTy :: TcRhoType -> TcM (TcCoercionN, TcRhoType)

ghc GHC.Tc.Utils.Unify

matchExpectedTyConApp :: TyCon -> TcRhoType -> TcM (TcCoercionN, [TcSigmaType])

ghc GHC.Tc.Utils.Unify