Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. checkTyFamEqnValidityInfo :: TyCon -> TyFamEqnValidityInfo -> TcM ()

   ghc	GHC.Tc.Validity

   Perform scoping check on a type family equation. See TyFamEqnValidityInfo.

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

3. 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].

4. seqOccInfo :: OccInfo -> ()

   ghc	GHC.Types.Basic

   No documentation available.

5. seqCprSig :: CprSig -> ()

   ghc	GHC.Types.Cpr

   No documentation available.

6. seqDemand :: Demand -> ()

   ghc	GHC.Types.Demand

   No documentation available.

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

   ghc	GHC.Types.Demand

   No documentation available.

8. seqDmd :: Demand

   ghc	GHC.Types.Demand

   No documentation available.

9. seqDmdSig :: DmdSig -> ()

   ghc	GHC.Types.Demand

   No documentation available.

10. seqDmdType :: DmdType -> ()

    ghc	GHC.Types.Demand

    No documentation available.

Page 224 of many | Previous | Next