Hoogle Search

Within LTS Haskell 24.19 (ghc-9.10.3)

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

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

    Agda Agda.Interaction.InteractionTop

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

  2. showQNameId :: QName -> String

    Agda Agda.Syntax.Abstract.Name

    No documentation available.

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

    Agda Agda.Syntax.Abstract.Pretty

    No documentation available.

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

  5. showUniv :: Univ -> String

    Agda Agda.Syntax.Internal.Univ

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

  6. showChar' :: Char -> ShowS

    Agda Agda.Syntax.Literal

    No documentation available.

  7. showText :: Text -> ShowS

    Agda Agda.Syntax.Literal

    No documentation available.

  8. showGeneralizedArguments :: HasOptions m => m Bool

    Agda Agda.TypeChecking.Monad.Options

    No documentation available.

  9. showIdentitySubstitutions :: HasOptions m => m Bool

    Agda Agda.TypeChecking.Monad.Options

    No documentation available.

  10. showImplicitArguments :: HasOptions m => m Bool

    Agda Agda.TypeChecking.Monad.Options

    No documentation available.

Page 127 of many | Previous | Next