Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. showUniv :: Univ -> String

   Agda	Agda.Syntax.Internal.Univ

   Hacky showing of standard universes, does not take actual names into account.

2. showChar' :: Char -> ShowS

   Agda	Agda.Syntax.Literal

   No documentation available.

3. showText :: Text -> ShowS

   Agda	Agda.Syntax.Literal

   No documentation available.

4. showGeneralizedArguments :: HasOptions m => m Bool

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

5. showIdentitySubstitutions :: HasOptions m => m Bool

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

6. showImplicitArguments :: HasOptions m => m Bool

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

7. showIrrelevantArguments :: HasOptions m => m Bool

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

8. showHead :: ShowHead a => a -> String

   Agda	Agda.TypeChecking.Rules.Decl

   No documentation available.

9. showIOException :: Exception e => e -> String

   Agda	Agda.Utils.IO

   Print an IOException without the call stack.

10. showThousandSep :: Show a => a -> String

    Agda	Agda.Utils.String

    Show a number using comma to separate powers of 1,000.

Page 162 of many | Previous | Next