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.

Exact lookup

1. InvalidAssoc :: InvalidAssoc -> IllegalFamilyInstanceReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

2. data InvalidAssoc

   ghc	GHC.Tc.Errors.Types

   No documentation available.

3. InvalidAssocDefault :: InvalidAssocDefault -> InvalidAssoc

   ghc	GHC.Tc.Errors.Types

   An invalid associated family default declaration. See InvalidAssocDefault.

4. data InvalidAssocDefault

   ghc	GHC.Tc.Errors.Types

   The reason that an associated family default declaration was invalid.

5. InvalidAssocInstance :: InvalidAssocInstance -> InvalidAssoc

   ghc	GHC.Tc.Errors.Types

   An invalid associated family instance. See InvalidAssocInstance.Builder

6. data InvalidAssocInstance

   ghc	GHC.Tc.Errors.Types

   The reason that an associated family instance was invalid.

7. InvalidCCallImpent :: String -> ConversionFailReason

   ghc	GHC.Tc.Errors.Types

   Source

8. data InvalidFamInstQTv

   ghc	GHC.Tc.Errors.Types

   A quantified type variable in a type or data family equation that is either not bound in any LHS patterns or not used in the RHS (or both).

9. InvalidFamInstQTv :: TcTyVar -> Bool -> InvalidFamInstQTvReason -> InvalidFamInstQTv

   ghc	GHC.Tc.Errors.Types

   No documentation available.

10. InvalidFamInstQTvDodgy :: InvalidFamInstQTvReason

    ghc	GHC.Tc.Errors.Types

    A dodgy binder, i.e. a variable that syntactically appears in LHS patterns but only in non-injective positions. See Note [Dodgy binding sites in type family instances] in GHC.Tc.Validity.

Page 548 of many | Previous | Next