Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. type Pred = Type

   ghc-lib-parser	GHC.Internal.TH.Syntax

   Since the advent of ConstraintKinds, constraints are really just types. Equality constraints use the EqualityT constructor. Constraints may also be tuples of other constraints.

2. PrefixPatSyn :: [Name] -> PatSynArgs

   ghc-lib-parser	GHC.Internal.TH.Syntax

   pattern P {x y z} = p
   

3. Prim :: Callconv

   ghc-lib-parser	GHC.Internal.TH.Syntax

   No documentation available.

4. PrimTyConI :: Name -> Arity -> Unlifted -> Info

   ghc-lib-parser	GHC.Internal.TH.Syntax

   A "primitive" type constructor, which can't be expressed with a Dec. Examples: (->), Int#.

5. ProjectionE :: NonEmpty String -> Exp

   ghc-lib-parser	GHC.Internal.TH.Syntax

   (.x) or (.x.y) (Record projections)

6. PromotedConsT :: Type

   ghc-lib-parser	GHC.Internal.TH.Syntax

   '(:)
   

7. PromotedInfixT :: Type -> Name -> Type -> Type

   ghc-lib-parser	GHC.Internal.TH.Syntax

   T :+: T
   

8. PromotedNilT :: Type

   ghc-lib-parser	GHC.Internal.TH.Syntax

   '[]
   

9. PromotedT :: Name -> Type

   ghc-lib-parser	GHC.Internal.TH.Syntax

   'T
   

10. PromotedTupleT :: Int -> Type

    ghc-lib-parser	GHC.Internal.TH.Syntax

    '(), '(,), '(,,), etc.

Page 531 of many | Previous | Next