Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc GHC.Tc.Utils.Env No documentation available.
instStupidTheta :: CtOrigin -> TcThetaType -> TcM ()ghc GHC.Tc.Utils.Instantiate No documentation available.
newSysLocalId :: FastString -> Mult -> TcType -> TcRnIf gbl lcl TcIdghc GHC.Tc.Utils.Monad No documentation available.
newSysLocalIds :: FastString -> [Scaled TcType] -> TcRnIf gbl lcl [TcId]ghc GHC.Tc.Utils.Monad No documentation available.
-
ghc GHC.Tc.Utils.TcMType No documentation available.
candidateKindVars :: CandidatesQTvs -> TyVarSetghc GHC.Tc.Utils.TcMType No documentation available.
candidateQTyVarsOfKind :: TcKind -> TcM CandidatesQTvsghc 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.)
candidateQTyVarsOfKinds :: [TcKind] -> TcM CandidatesQTvsghc GHC.Tc.Utils.TcMType No documentation available.
candidateQTyVarsOfType :: TcType -> TcM CandidatesQTvsghc 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]
candidateQTyVarsOfTypes :: [Type] -> TcM CandidatesQTvsghc 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])