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.

  1. PrimShowNat :: PrimitiveId

    Agda Agda.Syntax.Builtin

    No documentation available.

  2. PrimShowQName :: PrimitiveId

    Agda Agda.Syntax.Builtin

    No documentation available.

  3. PrimShowString :: PrimitiveId

    Agda Agda.Syntax.Builtin

    No documentation available.

  4. prettyShow :: Pretty a => a -> String

    Agda Agda.Syntax.Common.Pretty

    Use instead of show when printing to world.

  5. pshow :: Show a => a -> Doc

    Agda Agda.Syntax.Common.Pretty 

    pshow = text . show

  6. withShowAllArguments :: ReadTCState m => m a -> m a

    Agda Agda.TypeChecking.Monad.Options

    Switch on printing of implicit and irrelevant arguments. E.g. for reification in with-function generation. Restores all PragmaOptions after completion. Thus, do not attempt to make persistent PragmaOptions changes in a withShowAllArguments bracket.

  7. withShowAllArguments' :: ReadTCState m => Bool -> m a -> m a

    Agda Agda.TypeChecking.Monad.Options

    No documentation available.

  8. pshow :: (Applicative m, Show a) => a -> m Doc

    Agda Agda.TypeChecking.Pretty

    No documentation available.

  9. onlyShowIfUnsolved :: Warning -> Bool

    Agda Agda.TypeChecking.Warnings

    No documentation available.

  10. pattern S_DENSE_SHOWER :: GroupName ItemKind

    Allure Content.ItemKindBlast

    No documentation available.

Page 368 of many | Previous | Next