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.
showType :: HasKind a => a -> Stringsbv Data.SBV No documentation available.
showType :: HasKind a => a -> Stringsbv Data.SBV.Dynamic No documentation available.
showBFloat :: (Show a, RealFloat a) => a -> ShowSsbv Data.SBV.Internals Show a float as a binary
showCDouble :: Double -> Stringsbv Data.SBV.Internals A version of show for doubles that generates correct C literals for nan/infinite. NB. Requires "math.h" to be included.
-
sbv Data.SBV.Internals A version of show for floats that generates correct C literals for nan/infinite. NB. Requires "math.h" to be included.
showFloatAtBase :: (Show a, RealFloat a) => Int -> a -> ShowSsbv Data.SBV.Internals Like Haskell's showHFloat, but uses arbitrary base instead. Note that the exponent is always written in decimal. Let the exponent value be d: If base=10, then we use e to denote the exponent; meaning 10^d If base is a power of 2, then we use p to denote the exponent; meaning 2^d Otherwise, we use @ to denote the exponent, and it means base^d
showHDouble :: Double -> Stringsbv Data.SBV.Internals A version of show for doubles that generates correct Haskell literals for nan/infinite
-
sbv Data.SBV.Internals A version of show for floats that generates correct Haskell literals for nan/infinite
showModel :: SMTConfig -> SMTModel -> Stringsbv 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
showNegativeNumber :: (Show a, Num a, Ord a) => a -> Stringsbv Data.SBV.Internals When we show a negative number in SMTLib, we must properly parenthesize.