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. module GHC.Core.TyCo.Ppr

   Pretty-printing types and coercions.

2. newtype PprPrec

   ghc-lib-parser	GHC.Core.TyCo.Ppr

   A general-purpose pretty-printing precedence type.

3. PprPrec :: Int -> PprPrec

   ghc-lib-parser	GHC.Core.TyCo.Ppr

   No documentation available.

4. PhantomProv :: UnivCoProvenance

   ghc-lib-parser	GHC.Core.TyCo.Rep

   See Note [Phantom coercions]. Only in Phantom roled coercions

5. PluginProv :: String -> UnivCoProvenance

   ghc-lib-parser	GHC.Core.TyCo.Rep

   From a plugin, which asserts that this coercion is sound. The string and the variable set are for the use by the plugin.

6. type PredType = Type

   ghc-lib-parser	GHC.Core.TyCo.Rep

   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"

7. ProofIrrelProv :: UnivCoProvenance

   ghc-lib-parser	GHC.Core.TyCo.Rep

   From the fact that any two coercions are considered equivalent. See Note [ProofIrrelProv]. Can be used in Nominal or Representational coercions

8. Phantom :: Role

   ghc-lib-parser	GHC.Core.TyCon

   No documentation available.

9. data PrimElemRep

   ghc-lib-parser	GHC.Core.TyCon

   No documentation available.

10. data PrimOrVoidRep

    ghc-lib-parser	GHC.Core.TyCon

    No documentation available.

Page 509 of many | Previous | Next