Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. printBase :: SMTConfig -> Int

    sbv Data.SBV

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

  2. printRealPrec :: SMTConfig -> Int

    sbv Data.SBV

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

  3. printBase :: SMTConfig -> Int

    sbv Data.SBV.Dynamic

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

  4. printRealPrec :: SMTConfig -> Int

    sbv Data.SBV.Dynamic

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

  5. printBase :: SMTConfig -> Int

    sbv Data.SBV.Internals

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

  6. printRealPrec :: SMTConfig -> Int

    sbv Data.SBV.Internals

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

  7. printBase :: SMTConfig -> Int

    sbv Data.SBV.Trans

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

  8. printRealPrec :: SMTConfig -> Int

    sbv Data.SBV.Trans

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

  9. printFreqSumFile :: forall (m :: Type -> Type) . MonadSafe m => FilePath -> FreqSumHeader -> Consumer FreqSumEntry m ()

    sequence-formats SequenceFormats.FreqSum

    A function that writes a freqSum file. Expects the FilePath and the freqSum header as arguments, and then returns a Consumer that accepts freqSum entries.

  10. printFreqSumStdOut :: forall (m :: Type -> Type) . MonadIO m => FreqSumHeader -> Consumer FreqSumEntry m ()

    sequence-formats SequenceFormats.FreqSum

    A function to write freqSum data to StdOut. Expects the freqSum header as argument, and then returns a Consumer that accepts freqSum entries.

Page 52 of many | Previous | Next