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.

Exact lookup

1. checkValidCoAxBranch :: TyCon -> CoAxBranch -> TcM ()

   ghc	GHC.Tc.Validity

   No documentation available.

2. checkValidCoAxiom :: CoAxiom Branched -> TcM ()

   ghc	GHC.Tc.Validity

   No documentation available.

3. checkValidInstHead :: UserTypeCtxt -> Class -> [Type] -> TcM ()

   ghc	GHC.Tc.Validity

   No documentation available.

4. checkValidInstance :: UserTypeCtxt -> LHsSigType GhcRn -> Type -> TcM ()

   ghc	GHC.Tc.Validity

   No documentation available.

5. checkValidMonoType :: Type -> TcM ()

   ghc	GHC.Tc.Validity

   No documentation available.

6. checkValidTheta :: UserTypeCtxt -> ThetaType -> TcM ()

   ghc	GHC.Tc.Validity

   No documentation available.

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

8. checkValidType :: UserTypeCtxt -> Type -> TcM ()

   ghc	GHC.Tc.Validity

   No documentation available.

9. validDerivPred :: PatersonSize -> PredType -> Bool

   ghc	GHC.Tc.Validity

   No documentation available.

10. extendIdZonkEnv :: forall (m :: Type -> Type) . Var -> ZonkBndrT m ()

    ghc	GHC.Tc.Zonk.Env

    No documentation available.

Page 563 of many | Previous | Next