Hoogle Search

Within LTS Haskell 24.48 (ghc-9.10.3)

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

Exact lookup

1. withoutPrintingGeneralization :: ReadTCState m => m a -> m a

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

2. debugPrintDecl :: Declaration -> TCM ()

   Agda	Agda.TypeChecking.Rules.Decl

   No documentation available.

3. fingerprintNoinline :: TypeRep -> Fingerprint

   Agda	Agda.TypeChecking.Serialise.Base

   No documentation available.

4. memoiseIfPrinting :: ParserClass p k r tok => k -> p r -> p r

   Agda	Agda.Utils.Parser.MemoisedCPS

   Memoises the given parser, but only if printing, not if parsing. Every memoised parser must be annotated with a unique key. (Parametrised parsers must use distinct keys for distinct inputs.)

5. module BNFC.Backend.C.CFtoCPrinter

   No documentation available.

6. cf2CPrinter :: CF -> (String, String)

   BNFC	BNFC.Backend.C.CFtoCPrinter

   Produces (.h file, .c file).

7. module BNFC.Backend.CPP.PrettyPrinter

   No documentation available.

8. cf2CPPPrinter :: Bool -> Maybe String -> CF -> (String, String)

   BNFC	BNFC.Backend.CPP.PrettyPrinter

   No documentation available.

9. module BNFC.Backend.Haskell.CFtoPrinter

   No documentation available.

10. cf2Printer :: TokenText -> Bool -> Bool -> String -> AbsMod -> CF -> Doc

    BNFC	BNFC.Backend.Haskell.CFtoPrinter

    Derive pretty-printer from a BNF grammar.

Page 374 of many | Previous | Next