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. Pos :: Polarity

   ghc-lib-parser	GHC.Tc.Types.Origin

   No documentation available.

2. data Position (p :: Polarity)

   ghc-lib-parser	GHC.Tc.Types.Origin

   A position in which a type variable appears in a type; in particular, whether it appears in a positive or a negative position.

3. ProcOrigin :: CtOrigin

   ghc-lib-parser	GHC.Tc.Types.Origin

   No documentation available.

4. ProvCtxtOrigin :: PatSynBind GhcRn GhcRn -> CtOrigin

   ghc-lib-parser	GHC.Tc.Types.Origin

   No documentation available.

5. data PendingStuff

   ghc-lib-parser	GHC.Tc.Types.TH

   No documentation available.

6. PCF_Size :: PatersonCondFailure

   ghc-lib-parser	GHC.Tc.Utils.TcType

   No documentation available.

7. PCF_TyFam :: TyCon -> PatersonCondFailure

   ghc-lib-parser	GHC.Tc.Utils.TcType

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

8. PCF_TyVar :: [TyVar] -> PatersonCondFailure

   ghc-lib-parser	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.

9. PS_TyFam :: TyCon -> PatersonSize

   ghc-lib-parser	GHC.Tc.Utils.TcType

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

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

    ghc-lib-parser	GHC.Tc.Utils.TcType

    The type does not mention a type family.

Page 559 of many | Previous | Next