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. showHFloat :: Float -> String

    sbv Data.SBV.Internals

    A version of show for floats that generates correct Haskell literals for nan/infinite

  2. showModel :: SMTConfig -> SMTModel -> String

    sbv Data.SBV.Internals

    Show a model in human readable form. Ignore bindings to those variables that start with "__internal_sbv_" and also those marked as "nonModelVar" in the config; as these are only for internal purposes

  3. showNegativeNumber :: (Show a, Num a, Ord a) => a -> String

    sbv Data.SBV.Internals

    When we show a negative number in SMTLib, we must properly parenthesize.

  4. showSMTDouble :: RoundingMode -> Double -> String

    sbv Data.SBV.Internals

    A version of show for doubles that generates correct SMTLib literals using the rounding mode

  5. showSMTFloat :: RoundingMode -> Float -> String

    sbv Data.SBV.Internals

    A version of show for floats that generates correct SMTLib literals using the rounding mode

  6. showTDiff :: NominalDiffTime -> String

    sbv Data.SBV.Internals

    Show NominalDiffTime in human readable form. NominalDiffTime is essentially picoseconds (10^-12 seconds). We show it so that it's represented at the day:hour:minute:second.XXX granularity.

  7. showType :: HasKind a => a -> String

    sbv Data.SBV.Internals

    No documentation available.

  8. showPoly :: Polynomial a => a -> String

    sbv Data.SBV.Tools.Polynomial

    Display a polynomial like a mathematician would (over the monomial x), with a type.

  9. showPolynomial :: Polynomial a => Bool -> a -> String

    sbv Data.SBV.Tools.Polynomial

    Display a polynomial like a mathematician would (over the monomial x), the first argument controls if the final type is shown as well.

  10. showType :: HasKind a => a -> String

    sbv Data.SBV.Trans

    No documentation available.

Page 123 of many | Previous | Next