Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. tct_id :: TcTyThing -> Id

   ghc	GHC.Tc.Utils.Env

   No documentation available.

2. topIdLvl :: Id -> ThLevel

   ghc	GHC.Tc.Utils.Env

   No documentation available.

3. instStupidTheta :: CtOrigin -> TcThetaType -> TcM ()

   ghc	GHC.Tc.Utils.Instantiate

   No documentation available.

4. newSysLocalId :: FastString -> Mult -> TcType -> TcRnIf gbl lcl TcId

   ghc	GHC.Tc.Utils.Monad

   No documentation available.

5. newSysLocalIds :: FastString -> [Scaled TcType] -> TcRnIf gbl lcl [TcId]

   ghc	GHC.Tc.Utils.Monad

   No documentation available.

6. data CandidatesQTvs

   ghc	GHC.Tc.Utils.TcMType

   No documentation available.

7. candidateKindVars :: CandidatesQTvs -> TyVarSet

   ghc	GHC.Tc.Utils.TcMType

   No documentation available.

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

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

   ghc	GHC.Tc.Utils.TcMType

   No documentation available.

10. 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]

Page 560 of many | Previous | Next