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. checkValidAssocTyFamDeflt :: TyCon -> [Type] -> TcM ()

   ghc	GHC.Tc.Validity

   Checks that an associated type family default:

   1. Only consists of arguments that are bare type variables, and
   2. Has a distinct type variable in each argument.
   See Note [Type-checking default assoc decls] in GHC.Tc.TyCl.

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

   ghc	GHC.Tc.Validity

   No documentation available.

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

   ghc	GHC.Tc.Validity

   No documentation available.

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

   ghc	GHC.Tc.Validity

   No documentation available.

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

   ghc	GHC.Tc.Validity

   No documentation available.

6. checkValidMonoType :: Type -> TcM ()

   ghc	GHC.Tc.Validity

   No documentation available.

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

   ghc	GHC.Tc.Validity

   No documentation available.

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

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

   ghc	GHC.Tc.Validity

   No documentation available.

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

    ghc	GHC.Tc.Validity

    No documentation available.

Page 562 of many | Previous | Next