Hoogle Search

Within LTS Haskell 24.20 (ghc-9.10.3)

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

  1. PrintAgdaVersion :: PrintAgdaVersion

    Agda Agda.Interaction.Options

    Print Agda version information.

  2. data PrintAgdaVersion

    Agda Agda.Interaction.Options

    Options --version and --numeric-version (last wins).

  3. PrintAgdaVersion :: PrintAgdaVersion

    Agda Agda.Interaction.Options

    Print Agda version information.

  4. newtype PrintRange a

    Agda Agda.Syntax.Position

    Wrapper to indicate that range should be printed.

  5. PrintRange :: a -> PrintRange a

    Agda Agda.Syntax.Position

    No documentation available.

  6. module Calligraphy.Util.Printer

    No documentation available.

  7. data Printer a

    calligraphy Calligraphy.Util.Printer

    An monadic interface to a fairly primitive line printer. It maintains an indentation level, and provides efficient concatenation through Builder, and that's it.

  8. type Prints a = a -> Printer ()

    calligraphy Calligraphy.Util.Printer

    No documentation available.

  9. data PrintFixity n

    egison-pattern-src Language.Egison.Pretty.Pattern

    Fixity of infix operators.

  10. PrintFixity :: Fixity n -> Text -> PrintFixity n

    egison-pattern-src Language.Egison.Pretty.Pattern

    No documentation available.

Page 132 of many | Previous | Next