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. 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

  2. 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.

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

    sbv Data.SBV.Internals

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

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

    sbv Data.SBV.Internals

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

  5. 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.

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

    sbv Data.SBV.Internals

    No documentation available.

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

    sbv Data.SBV.Tools.Polynomial

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

  8. 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.

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

    sbv Data.SBV.Trans

    No documentation available.

  10. showBlock :: Block -> String

    sbv Documentation.SBV.Examples.Crypto.Prince

    Nicely show a concrete block.

Page 158 of many | Previous | Next