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.

Exact lookup

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

2. crackNum :: SMTConfig -> Bool

   sbv	Data.SBV.Trans

   For each numeric value, show it in detail in the model with its bits spliced out. Good for floats.

3. crackNumSurfaceVals :: SMTConfig -> [(String, Integer)]

   sbv	Data.SBV.Trans

   For crackNum: The surface representation of variables, if available

4. mkSymbolicEnumeration :: Name -> Q [Dec]

   sbv	Data.SBV.Trans

   Make an enumeration a symbolic type.

5. module Documentation.SBV.Examples.Misc.Enumerate

   Demonstrates how enumerations can be translated to their SMT-Lib counterparts, without losing any information content. Also see Documentation.SBV.Examples.Puzzles.U2Bridge for a more detailed example involving enumerations.

6. module Documentation.SBV.Examples.Optimization.Enumerate

   Demonstrates how enumerations can be used with optimization, by properly defining your metric values.

7. module Documentation.SBV.Examples.Queries.Enums

   Demonstrates the use of enumeration values during queries.

8. module Documentation.SBV.Examples.Queries.GuessNumber

   A simple number-guessing game implementation via queries. Clearly an SMT solver is hardly needed for this problem, but it is a nice demo for the interactive-query programming.

9. fromEnumMap :: Methods queue set -> EnumMap SetId set -> queue

   set-cover	Math.SetCover.Queue

   No documentation available.

10. LC_NUMERIC :: Category

    setlocale	System.Locale.SetLocale

    No documentation available.

Page 422 of many | Previous | Next