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. optPrintVersion :: CommandLineOptions -> Maybe PrintAgdaVersion

   Agda	Agda.Interaction.Options

   No documentation available.

2. BuiltinAgdaTCMDebugPrint :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

3. PrimIsPrint :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

4. builtinAgdaTCMDebugPrint :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

5. memoiseIfPrinting :: MemoKey -> Parser tok tok -> Parser tok tok

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

6. eIsDebugPrinting :: Lens' TCEnv Bool

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

7. ePrintDomainFreePi :: Lens' TCEnv Bool

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

8. ePrintMetasBare :: Lens' TCEnv Bool

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

9. ePrintingPatternLambdas :: Lens' TCEnv [QName]

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. envIsDebugPrinting :: TCEnv -> Bool

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 372 of many | Previous | Next