Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. primAgdaTCMDebugPrint :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m Term

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

2. 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.

3. defaultIsDebugPrinting :: MonadTCEnv m => m Bool

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

5. isDebugPrinting :: MonadDebug m => m Bool

   Agda	Agda.TypeChecking.Monad.Debug

   Check whether we are currently debug printing.

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

   Agda	Agda.TypeChecking.Monad.Debug

   Flag in a computation that we are currently debug printing.

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

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

9. debugPrintDecl :: Declaration -> TCM ()

   Agda	Agda.TypeChecking.Rules.Decl

   No documentation available.

10. fingerprintNoinline :: TypeRep -> Fingerprint

    Agda	Agda.TypeChecking.Serialise.Base

    No documentation available.

Page 373 of many | Previous | Next