Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. implicitRequirements :: HscEnv -> [(PkgQual, Located ModuleName)] -> IO [ModuleName]

   ghc	GHC.Tc.Utils.Backpack

   No documentation available.

2. implicitRequirementsShallow :: HscEnv -> [(PkgQual, Located ModuleName)] -> IO ([ModuleName], [InstantiatedUnit])

   ghc	GHC.Tc.Utils.Backpack

   Like implicitRequirements', but returns either the module name, if it is a free hole, or the instantiated unit the imported module is from, so that that instantiated unit can be processed and via the batch mod graph (rather than a transitive closure done here) all the free holes are still reachable.

3. skolemiseRequired :: SkolemInfo -> VisArity -> TcSigmaType -> TcM (VisArity, HsWrapper, [Name], [ForAllTyBinder], [EvVar], TcRhoType)

   ghc	GHC.Tc.Utils.Instantiate

   No documentation available.

4. candidateQTyVarsOfKind :: TcKind -> TcM CandidatesQTvs

   ghc	GHC.Tc.Utils.TcMType

   Like candidateQTyVarsOfType, but consider every free variable to be dependent. This is appropriate when generalizing a *kind*, instead of a type. (That way, -XNoPolyKinds will default the variables to Type.)

5. candidateQTyVarsOfKinds :: [TcKind] -> TcM CandidatesQTvs

   ghc	GHC.Tc.Utils.TcMType

   No documentation available.

6. candidateQTyVarsOfType :: TcType -> TcM CandidatesQTvs

   ghc	GHC.Tc.Utils.TcMType

   Gathers free variables to use as quantification candidates (in quantifyTyVars). This might output the same var in both sets, if it's used in both a type and a kind. The variables to quantify must have a TcLevel strictly greater than the ambient level. (See Wrinkle in Note [Naughty quantification candidates]) See Note [CandidatesQTvs determinism and order] See Note [Dependent type variables]

7. candidateQTyVarsOfTypes :: [Type] -> TcM CandidatesQTvs

   ghc	GHC.Tc.Utils.TcMType

   Like candidateQTyVarsOfType, but over a list of types The variables to quantify must have a TcLevel strictly greater than the ambient level. (See Wrinkle in Note [Naughty quantification candidates])

8. candidateQTyVarsWithBinders :: [TyVar] -> Type -> TcM CandidatesQTvs

   ghc	GHC.Tc.Utils.TcMType

   No documentation available.

9. emitWantedEq :: CtOrigin -> TypeOrKind -> Role -> TcType -> TcType -> TcM Coercion

   ghc	GHC.Tc.Utils.TcMType

   Emits a new equality constraint

10. emitWantedEqs :: CtOrigin -> [(TcType, TcType)] -> TcM ()

    ghc	GHC.Tc.Utils.TcMType

    No documentation available.

Page 221 of many | Previous | Next