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. showURLParams :: MonadRoute m => URL m -> [(Text, Maybe Text)] -> m Text

   web-routes	Web.Routes.RouteT

   No documentation available.

2. showPrettyArg :: forall a (e :: BaseType -> Type) . Show a => a -> PrettyArg e

   what4	What4.Expr.App

   No documentation available.

3. showComputed :: ComputeMode -> Expr -> TCM Doc

   Agda	Agda.Interaction.BasicOps

   No documentation available.

4. showGoals :: Goals -> TCM String

   Agda	Agda.Interaction.BasicOps

   Print open metas nicely.

5. showGoals :: Goals -> TCM String

   Agda	Agda.Interaction.EmacsTop

   Print open metas nicely.

6. showInfoError :: Info_Error -> TCM String

   Agda	Agda.Interaction.EmacsTop

   Serializing Info_Error

7. showModuleContents :: Rewrite -> Range -> String -> CommandM ()

   Agda	Agda.Interaction.InteractionTop

   Shows all the top-level names in the given module, along with their types.

8. showQNameId :: QName -> String

   Agda	Agda.Syntax.Abstract.Name

   No documentation available.

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

   Agda	Agda.Syntax.Abstract.Pretty

   No documentation available.

10. 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.

Page 161 of many | Previous | Next