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 PrimOrVoidRep

   ghc	GHC.Core.TyCon

   No documentation available.

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

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

4. PromotedDataConFlavour :: TyConFlavour tc

   ghc	GHC.Core.TyCon

   No documentation available.

5. data PiTyBinder

   ghc	GHC.Core.Type

   A PiTyBinder represents an argument to a function. PiTyBinders can be dependent (Named) or nondependent (Anon). They may also be visible or not. See Note [PiTyBinders]

6. type PredType = Type

   ghc	GHC.Core.Type

   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. module GHC.CoreToStg.Prep

   No documentation available.

8. Parens :: LBooleanFormula a -> BooleanFormula a

   ghc	GHC.Data.BooleanFormula

   No documentation available.

9. data PtrString

   ghc	GHC.Data.FastString

   A PtrString is a pointer to some array of Latin-1 encoded chars.

10. PtrString :: !Ptr Word8 -> Int -> PtrString

    ghc	GHC.Data.FastString

    No documentation available.

Page 117 of many | Previous | Next