Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. Opt_PrintExplicitKinds :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

2. Opt_PrintExplicitRuntimeReps :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

3. Opt_PrintPotentialInstances :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

4. Opt_PrintRedundantPromotionTicks :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

5. Opt_PrintTypecheckerElaboration :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. Opt_PrintUnicodeSyntax :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. alwaysPrintPromTick :: QueryPromotionTick

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. ptcPrintRedundantPromTicks :: PromotionTickContext -> !Bool

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

9. sdocPrintAxiomIncomps :: SDocContext -> !Bool

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

10. sdocPrintCaseAsLet :: SDocContext -> !Bool

    liquidhaskell-boot	Liquid.GHC.API

    No documentation available.

Page 233 of many | Previous | Next