Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

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

  1. printMessages :: Diagnostic a => Logger -> DiagnosticOpts a -> DiagOpts -> Messages a -> IO ()

    liquidhaskell-boot Liquid.GHC.API

    No documentation available.

  2. printSDoc :: SDocContext -> Mode -> Handle -> SDoc -> IO ()

    liquidhaskell-boot Liquid.GHC.API

    The analog of printDoc_ for SDoc, which tries to make sure the terminal doesn't get screwed up by the ANSI color codes if an exception is thrown during pretty-printing.

  3. printSDocLn :: SDocContext -> Mode -> Handle -> SDoc -> IO ()

    liquidhaskell-boot Liquid.GHC.API

    Like printSDoc but appends an extra newline.

  4. printLocation :: Location base -> Text

    path-extra Path.Extended

    No documentation available.

  5. printChart :: Show a => Bool -> (ChartOptions -> IO Bool) -> a -> IO ()

    prettychart Prettychart.Server

    Print a chart supplying a ChartOptions consumer, and a showable thing that may be chartable. The first argument flags whether to also print the item to stdout.

  6. printBase :: SMTConfig -> Int

    sbv Data.SBV

    Print integral literals in this base (2, 10, and 16 are supported.)

  7. printRealPrec :: SMTConfig -> Int

    sbv Data.SBV

    Print algebraic real values with this precision. (SReal, default: 16)

  8. printBase :: SMTConfig -> Int

    sbv Data.SBV.Dynamic

    Print integral literals in this base (2, 10, and 16 are supported.)

  9. printRealPrec :: SMTConfig -> Int

    sbv Data.SBV.Dynamic

    Print algebraic real values with this precision. (SReal, default: 16)

  10. printBase :: SMTConfig -> Int

    sbv Data.SBV.Internals

    Print integral literals in this base (2, 10, and 16 are supported.)

Page 73 of many | Previous | Next