Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. data PendingStuff

   ghc	GHC.Tc.Types.TH

   No documentation available.

2. PCF_Size :: PatersonCondFailure

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

3. PCF_TyFam :: TyCon -> PatersonCondFailure

   ghc	GHC.Tc.Utils.TcType

   P contains a type family. See (PC3) in Note [Paterson conditions] in GHC.Tc.Validity.

4. PCF_TyVar :: [TyVar] -> PatersonCondFailure

   ghc	GHC.Tc.Utils.TcType

   Some type variables occur more often in P than in H. See (PC1) in Note [Paterson conditions] in GHC.Tc.Validity.

5. PS_TyFam :: TyCon -> PatersonSize

   ghc	GHC.Tc.Utils.TcType

   The type mentions a type family, so the size could be anything.

6. PS_Vanilla :: [TyVar] -> Int -> PatersonSize

   ghc	GHC.Tc.Utils.TcType

   The type does not mention a type family.

7. data PatersonCondFailure

   ghc	GHC.Tc.Utils.TcType

   Why did the Paterson conditions fail; that is, why was the context P not Paterson-smaller than the head H? See Note [Paterson conditions] in GHC.Tc.Validity.

8. data PatersonCondFailureContext

   ghc	GHC.Tc.Utils.TcType

   Indicates whether a Paterson condition failure occurred in an instance declaration or a type family equation. Useful for differentiating context in error messages.

9. data PatersonSize

   ghc	GHC.Tc.Utils.TcType

   The Paterson size of a given type, in the sense of Note [Paterson conditions] in GHC.Tc.Validity

   • after expanding synonyms,
   • ignoring coercions (as they are not user written).

10. data PiTyBinder

    ghc	GHC.Tc.Utils.TcType

    A PiTyBinder represents an argument to a function. PiTyBinders can be dependent (Named) or nondependent (Anon). They may also be visible or not. See Note [PiTyBinders]

Page 162 of many | Previous | Next