Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

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

    sbv Data.SBV.Internals

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

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

    sbv Data.SBV.Internals

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

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

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

    sbv Data.SBV.Internals

    No documentation available.

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

    sbv Data.SBV.Tools.Polynomial

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

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

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

    sbv Data.SBV.Trans

    No documentation available.

  8. showBlock :: Block -> String

    sbv Documentation.SBV.Examples.Crypto.Prince

    Nicely show a concrete block.

  9. showHash :: (Show a, Integral a, SymVal a) => SBV a -> String

    sbv Documentation.SBV.Examples.Crypto.SHA

    Nicely lay out a hash value as a string

  10. showsHex :: ByteString -> ShowS

    secp256k1-haskell Crypto.Secp256k1.Internal.Util

    No documentation available.

Page 125 of many | Previous | Next