Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. ProfNote :: CostCentre -> Bool -> Bool -> GenTickish (pass :: TickishPass)

   liquidhaskell-boot	Liquid.GHC.API

   An {-# SCC #-} profiling annotation, either automatically added by the desugarer as a result of -auto-all, or added by the user.

2. ProgramError :: String -> GhcException

   liquidhaskell-boot	Liquid.GHC.API

   An error in the user's code, probably.

3. PromTickCtx :: Bool -> Bool -> PromotionTickContext

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

4. data PromotedItem

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

5. PromotedItemDataCon :: OccName -> PromotedItem

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. PromotedItemListSyntax :: IsEmptyOrSingleton -> PromotedItem

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. PromotedItemTupleSyntax :: PromotedItem

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. data PromotionFlag

   liquidhaskell-boot	Liquid.GHC.API

   Is a TyCon a promoted data constructor or just a normal type constructor?

9. data PromotionTickContext

   liquidhaskell-boot	Liquid.GHC.API

   Flags that affect whether a promotion tick is printed.

10. ProofIrrelProv :: KindCoercion -> UnivCoProvenance

    liquidhaskell-boot	Liquid.GHC.API

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

Page 960 of many | Previous | Next