Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. data Position (p :: Polarity)

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

2. ProcOrigin :: CtOrigin

   ghc	GHC.Tc.Types.Origin

   No documentation available.

3. ProvCtxtOrigin :: PatSynBind GhcRn GhcRn -> CtOrigin

   ghc	GHC.Tc.Types.Origin

   No documentation available.

4. data PendingStuff

   ghc	GHC.Tc.Types.TH

   No documentation available.

5. PCF_Size :: PatersonCondFailure

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

6. PCF_TyFam :: TyCon -> PatersonCondFailure

   ghc	GHC.Tc.Utils.TcType

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

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

8. PS_TyFam :: TyCon -> PatersonSize

   ghc	GHC.Tc.Utils.TcType

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

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

   ghc	GHC.Tc.Utils.TcType

   The type does not mention a type family.

10. 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.

Page 162 of many | Previous | Next