Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

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

2. requiresPMC :: Origin -> Bool

   ghc	GHC.Types.Basic

   Does this Origin require us to run pattern-match checking, or should we skip these checks? See Note [Generated code and pattern-match checking].

3. seqOccInfo :: OccInfo -> ()

   ghc	GHC.Types.Basic

   No documentation available.

4. seqCprSig :: CprSig -> ()

   ghc	GHC.Types.Cpr

   No documentation available.

5. seqDemand :: Demand -> ()

   ghc	GHC.Types.Demand

   No documentation available.

6. seqDemandList :: [Demand] -> ()

   ghc	GHC.Types.Demand

   No documentation available.

7. seqDmd :: Demand

   ghc	GHC.Types.Demand

   No documentation available.

8. seqDmdSig :: DmdSig -> ()

   ghc	GHC.Types.Demand

   No documentation available.

9. seqDmdType :: DmdType -> ()

   ghc	GHC.Types.Demand

   No documentation available.

10. SuggestTypeSignatureRemoveQualifier :: GhcHint

    ghc	GHC.Types.Error

    Suggests that for a type signature 'M.x :: ...' the qualifier should be omitted in order to be accepted by GHC. Triggered by: PsErrInvalidTypeSignature Test case(s): module/mod98

Page 224 of many | Previous | Next