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. catchAndPrintImpossible :: (CatchImpossible m, Monad m) => VerboseKey -> VerboseLevel -> m String -> m String

   Agda	Agda.TypeChecking.Monad.Debug

   During printing, catch internal errors of kind Impossible and print them.

2. defaultIsDebugPrinting :: MonadTCEnv m => m Bool

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

3. defaultNowDebugPrinting :: MonadTCEnv m => m a -> m a

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

4. isDebugPrinting :: MonadDebug m => m Bool

   Agda	Agda.TypeChecking.Monad.Debug

   Check whether we are currently debug printing.

5. nowDebugPrinting :: MonadDebug m => m a -> m a

   Agda	Agda.TypeChecking.Monad.Debug

   Flag in a computation that we are currently debug printing.

6. unlessDebugPrinting :: MonadDebug m => m () -> m ()

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

8. debugPrintDecl :: Declaration -> TCM ()

   Agda	Agda.TypeChecking.Rules.Decl

   No documentation available.

9. fingerprintNoinline :: TypeRep -> Fingerprint

   Agda	Agda.TypeChecking.Serialise.Base

   No documentation available.

10. 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.)

Page 240 of many | Previous | Next