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. envPrintDomainFreePi :: TCEnv -> Bool

   Agda	Agda.TypeChecking.Monad.Base

   When True, types will be omitted from printed pi types if they can be inferred.

2. envPrintMetasBare :: TCEnv -> Bool

   Agda	Agda.TypeChecking.Monad.Base

   When True, throw away meta numbers and meta elims. This is used for reifying terms for feeding into the user's source code, e.g., for the interaction tactics solveAll.

3. envPrintingPatternLambdas :: TCEnv -> [QName]

   Agda	Agda.TypeChecking.Monad.Base

   #3004: pattern lambdas with copatterns may refer to themselves. We don't have a good story for what to do in this case, but at least printing shouldn't loop. Here we keep track of which pattern lambdas we are currently in the process of printing.

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

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

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

6. defaultIsDebugPrinting :: MonadTCEnv m => m Bool

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

8. isDebugPrinting :: MonadDebug m => m Bool

   Agda	Agda.TypeChecking.Monad.Debug

   Check whether we are currently debug printing.

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

   Agda	Agda.TypeChecking.Monad.Debug

   Flag in a computation that we are currently debug printing.

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

    Agda	Agda.TypeChecking.Monad.Debug

    No documentation available.

Page 373 of many | Previous | Next