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.
candidateQTyVarsWithBinders :: [TyVar] -> Type -> TcM CandidatesQTvsghc GHC.Tc.Utils.TcMType No documentation available.
delCandidates :: CandidatesQTvs -> [Var] -> CandidatesQTvsghc GHC.Tc.Utils.TcMType No documentation available.
partitionCandidates :: CandidatesQTvs -> (TyVar -> Bool) -> (TyVarSet, CandidatesQTvs)ghc GHC.Tc.Utils.TcMType No documentation available.
checkValidClsArgs :: Bool -> Class -> [KindOrType] -> Boolghc GHC.Tc.Utils.TcType No documentation available.
-
ghc GHC.Tc.Utils.TcType No documentation available.
mayLookIdentical :: Type -> Type -> Boolghc 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.)
emitResidualTvConstraint :: SkolemInfo -> [TcTyVar] -> TcLevel -> WantedConstraints -> TcM ()ghc GHC.Tc.Utils.Unify No documentation available.
-
No documentation available.
checkTyFamEqnValidityInfo :: TyCon -> TyFamEqnValidityInfo -> TcM ()ghc GHC.Tc.Validity Perform scoping check on a type family equation. See TyFamEqnValidityInfo.
checkValidAssocTyFamDeflt :: TyCon -> [Type] -> TcM ()ghc GHC.Tc.Validity Checks that an associated type family default:
- Only consists of arguments that are bare type variables, and
- Has a distinct type variable in each argument.