Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. optShowIdentitySubstitutions :: PragmaOptions -> Bool

   Agda	Agda.Interaction.Options

   No documentation available.

2. optShowImplicit :: PragmaOptions -> Bool

   Agda	Agda.Interaction.Options

   No documentation available.

3. optShowIrrelevant :: PragmaOptions -> Bool

   Agda	Agda.Interaction.Options

   No documentation available.

4. sShowImplicitArguments :: Status -> Bool

   Agda	Agda.Interaction.Response.Base

   Are implicit arguments displayed?

5. sShowIrrelevantArguments :: Status -> Bool

   Agda	Agda.Interaction.Response.Base

   Are irrelevant arguments displayed?

6. uglyShowName :: Name -> String

   Agda	Agda.Syntax.Abstract.Name

   Useful for debugging scoping problems

7. PrimShowChar :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

8. PrimShowFloat :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

9. PrimShowInteger :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

10. PrimShowMeta :: PrimitiveId

    Agda	Agda.Syntax.Builtin

    No documentation available.

Page 367 of many | Previous | Next