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. showQNameId :: QName -> String

   Agda	Agda.Syntax.Abstract.Name

   No documentation available.

2. showA :: (ToConcrete a, Show (ConOfAbs a), MonadAbsToCon m) => a -> m String

   Agda	Agda.Syntax.Abstract.Pretty

   No documentation available.

3. showATop :: (ToConcrete a, Show (ConOfAbs a), MonadAbsToCon m) => a -> m String

   Agda	Agda.Syntax.Abstract.Pretty

   Variant of showA which does not insert outermost parentheses.

4. showUniv :: Univ -> String

   Agda	Agda.Syntax.Internal.Univ

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

5. showChar' :: Char -> ShowS

   Agda	Agda.Syntax.Literal

   No documentation available.

6. showText :: Text -> ShowS

   Agda	Agda.Syntax.Literal

   No documentation available.

7. showGeneralizedArguments :: HasOptions m => m Bool

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

8. showIdentitySubstitutions :: HasOptions m => m Bool

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

9. showImplicitArguments :: HasOptions m => m Bool

   Agda	Agda.TypeChecking.Monad.Options

   No documentation available.

10. showIrrelevantArguments :: HasOptions m => m Bool

    Agda	Agda.TypeChecking.Monad.Options

    No documentation available.

Page 162 of many | Previous | Next