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. type PolyTcTyCon = TcTyCon

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

2. type PredType = Type

   ghc	GHC.Tc.Utils.TcType

   A type of the form p of constraint kind represents a value whose type is the Haskell predicate p, where a predicate is what occurs before the => in a Haskell type. We use PredType as documentation to mark those types that we guarantee to have this kind. It can be expanded into its representation, but:

   • The type checker must treat it as opaque
   • The rest of the compiler treats it as transparent
   Consider these examples:

   f :: (Eq a) => a -> Int
   g :: (?x :: Int -> Int) => a -> Int
   h :: (r\l) => {r} => {l::Int | r}
   

   Here the Eq a and ?x :: Int -> Int and rl are all called "predicates"

3. PuFail :: CheckTyEqResult -> PuResult a b

   ghc	GHC.Tc.Utils.Unify

   No documentation available.

4. PuOK :: Bag a -> b -> PuResult a b

   ghc	GHC.Tc.Utils.Unify

   No documentation available.

5. data PuResult a b

   ghc	GHC.Tc.Utils.Unify

   No documentation available.

6. PatSigCtxt :: UserTypeCtxt

   ghc	GHC.Tc.Validity

   No documentation available.

7. PatSynCtxt :: Name -> UserTypeCtxt

   ghc	GHC.Tc.Validity

   No documentation available.

8. Phase :: PhaseNum -> CompilerPhase

   ghc	GHC.Types.Basic

   No documentation available.

9. type PhaseNum = Int

   ghc	GHC.Types.Basic

   Phase Number

10. newtype PprPrec

    ghc	GHC.Types.Basic

    A general-purpose pretty-printing precedence type.

Page 163 of many | Previous | Next