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

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

   ghc	GHC.Tc.Utils.TcMType

   No documentation available.

3. delCandidates :: CandidatesQTvs -> [Var] -> CandidatesQTvs

   ghc	GHC.Tc.Utils.TcMType

   No documentation available.

4. partitionCandidates :: CandidatesQTvs -> (TyVar -> Bool) -> (TyVarSet, CandidatesQTvs)

   ghc	GHC.Tc.Utils.TcMType

   No documentation available.

5. checkValidClsArgs :: Bool -> Class -> [KindOrType] -> Bool

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

6. isRigidTy :: TcType -> Bool

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

7. mayLookIdentical :: Type -> Type -> Bool

   ghc	GHC.Tc.Utils.TcType

   Returns True if the visible part of the types might look equal, even if they are really unequal (in the invisible bits) This function is very similar to tc_eq_type but it is much more heuristic. Notably, it is always safe to return True, even with types that might (in truth) be unequal -- this affects error messages only (Originally there were one function with an extra flag, but the result was hard to understand.)

8. emitResidualTvConstraint :: SkolemInfo -> [TcTyVar] -> TcLevel -> WantedConstraints -> TcM ()

   ghc	GHC.Tc.Utils.Unify

   No documentation available.

9. module GHC.Tc.Validity

   No documentation available.

10. checkTyFamEqnValidityInfo :: TyCon -> TyFamEqnValidityInfo -> TcM ()

    ghc	GHC.Tc.Validity

    Perform scoping check on a type family equation. See TyFamEqnValidityInfo.

Page 561 of many | Previous | Next