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.
memoiseIfPrinting :: MemoKey -> Parser tok tok -> Parser tok tokAgda Agda.Syntax.Concrete.Operators.Parser.Monad 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.)
eIsDebugPrinting :: Lens' TCEnv BoolAgda Agda.TypeChecking.Monad.Base No documentation available.
ePrintDomainFreePi :: Lens' TCEnv BoolAgda Agda.TypeChecking.Monad.Base No documentation available.
ePrintMetasBare :: Lens' TCEnv BoolAgda Agda.TypeChecking.Monad.Base No documentation available.
ePrintingPatternLambdas :: Lens' TCEnv [QName]Agda Agda.TypeChecking.Monad.Base No documentation available.
envIsDebugPrinting :: TCEnv -> BoolAgda Agda.TypeChecking.Monad.Base No documentation available.
envPrintDomainFreePi :: TCEnv -> BoolAgda Agda.TypeChecking.Monad.Base When True, types will be omitted from printed pi types if they can be inferred.
envPrintMetasBare :: TCEnv -> BoolAgda 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.
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.
primAgdaTCMDebugPrint :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m TermAgda Agda.TypeChecking.Monad.Builtin No documentation available.