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.

Exact lookup

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

   sbv	Data.SBV.Internals

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

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

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

   sbv	Data.SBV.Internals

   No documentation available.

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

   sbv	Data.SBV.Tools.Polynomial

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

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

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

   sbv	Data.SBV.Trans

   No documentation available.

7. showBlock :: Block -> String

   sbv	Documentation.SBV.Examples.Crypto.Prince

   Nicely show a concrete block.

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

9. showsHex :: ByteString -> ShowS

   secp256k1-haskell	Crypto.Secp256k1.Internal.Util

   No documentation available.

10. showSitePattern :: SitePattern -> String

    sequence-formats	SequenceFormats.RareAlleleHistogram

    A simple function to convert a pattern into a String.

Page 158 of many | Previous | Next