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. PprPrec :: Int -> PprPrec

   ghc	GHC.Core.TyCo.Ppr

   No documentation available.

2. PhantomProv :: KindCoercion -> UnivCoProvenance

   ghc	GHC.Core.TyCo.Rep

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

3. PluginProv :: String -> UnivCoProvenance

   ghc	GHC.Core.TyCo.Rep

   From a plugin, which asserts that this coercion is sound. The string is for the use of the plugin.

4. type PredType = Type

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

5. ProofIrrelProv :: KindCoercion -> UnivCoProvenance

   ghc	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

6. Phantom :: Role

   ghc	GHC.Core.TyCon

   No documentation available.

7. data PrimElemRep

   ghc	GHC.Core.TyCon

   No documentation available.

8. data PrimOrVoidRep

   ghc	GHC.Core.TyCon

   No documentation available.

9. data PrimRep

   ghc	GHC.Core.TyCon

   A PrimRep is an abstraction of a non-void type. (Use PrimRepOrVoidRep if you want void types too.) It contains information that the code generator needs in order to pass arguments, return results, and store values of this type. See also Note [RuntimeRep and PrimRep] in GHC.Types.RepType and Note [VoidRep] in GHC.Types.RepType.

10. data PromDataConInfo

    ghc	GHC.Core.TyCon

    Some promoted datacons signify extra info relevant to GHC. For example, the IntRep constructor of RuntimeRep corresponds to the IntRep constructor of PrimRep. This data structure allows us to store this information right in the TyCon. The other approach would be to look up things like RuntimeRep's PrimRep by known-key every time. See also Note [Getting from RuntimeRep to PrimRep] in GHC.Types.RepType

Page 116 of many | Previous | Next