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.
tcEqTyConApps :: TyCon -> [Type] -> TyCon -> [Type] -> Boolghc GHC.Tc.Utils.TcType Check whether two TyConApps are the same; if the number of arguments are different, just checks the common prefix of arguments.
tcEqType :: HasDebugCallStack => Type -> Type -> Boolghc GHC.Tc.Utils.TcType tcEqType implements typechecker equality It behaves just like eqType, but is implemented differently (for now)
tcEqTypeNoKindCheck :: Type -> Type -> Boolghc GHC.Tc.Utils.TcType Just like tcEqType, but will return True for types of different kinds as long as their non-coercion structure is identical.
tcSplitForAllReqTVBinders :: Type -> ([TcReqTVBinder], Type)ghc GHC.Tc.Utils.TcType Like tcSplitForAllTyVars, but only splits ForAllTys with Required type variable binders. All split tyvars are annotated with ().
tcSplitForAllTyVarsReqTVBindersN :: Arity -> Type -> (Arity, [ForAllTyBinder], Type)ghc GHC.Tc.Utils.TcType No documentation available.
-
ghc GHC.Tc.Utils.Unify What to do when encountering a type-family application while processing a type equality in the pure unifier. See Note [Family applications in canonical constraints]
-
ghc GHC.Tc.Utils.Unify Options describing how to deal with a type equality in the pure unifier. See checkTyEqRhs
checkTyEqRhs :: TyEqFlags a -> TcType -> TcM (PuResult a Reduction)ghc GHC.Tc.Utils.Unify No documentation available.
checkTyFamEqnValidityInfo :: TyCon -> TyFamEqnValidityInfo -> TcM ()ghc GHC.Tc.Validity Perform scoping check on a type family equation. See TyFamEqnValidityInfo.
checkValidTyFamEqn :: TyCon -> [Type] -> Type -> TcM ()ghc GHC.Tc.Validity Do validity checks on a type family equation, including consistency with any enclosing class instance head, termination, and lack of polytypes. See also the separate checkFamPatBinders which performs scoping checks on a type family equation. (It's separate because it expects TyFamEqnValidityInfo, which comes from a separate place e.g. for associated type defaults.)