Hoogle Search
Within LTS Haskell 24.66 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
checkValidCoAxiom :: CoAxiom Branched -> TcM ()ghc GHC.Tc.Validity No documentation available.
checkValidInstHead :: UserTypeCtxt -> Class -> [Type] -> TcM ()ghc GHC.Tc.Validity No documentation available.
checkValidInstance :: UserTypeCtxt -> LHsSigType GhcRn -> Type -> TcM ()ghc GHC.Tc.Validity No documentation available.
checkValidMonoType :: Type -> TcM ()ghc GHC.Tc.Validity No documentation available.
checkValidTheta :: UserTypeCtxt -> ThetaType -> TcM ()ghc GHC.Tc.Validity No documentation available.
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.)
checkValidType :: UserTypeCtxt -> Type -> TcM ()ghc GHC.Tc.Validity No documentation available.
validDerivPred :: PatersonSize -> PredType -> Boolghc GHC.Tc.Validity No documentation available.
extendIdZonkEnv :: forall (m :: Type -> Type) . Var -> ZonkBndrT m ()ghc GHC.Tc.Zonk.Env No documentation available.
extendIdZonkEnvRec :: forall (m :: Type -> Type) . [Var] -> ZonkBndrT m ()ghc GHC.Tc.Zonk.Env Extend the knot-tied environment.