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. octNumber :: Parser Integer

   s-cargot	Data.SCargot.Common

   A parser for non-signed octal numbers

2. prefixedNumber :: Parser Integer

   s-cargot	Data.SCargot.Common

   Parses a number, determining which numeric base to use by examining the literal's prefix: 0x for a hexadecimal number, 0z for a dozenal number, 0o for an octal number, and 0b for a binary number (as well as the upper-case versions of the same.) If the base is omitted entirely, then it is treated as a decimal number.

3. signedBinNumber :: Parser Integer

   s-cargot	Data.SCargot.Common

   A parser for signed binary numbers, with an optional leading + or -.

4. signedDecNumber :: Parser Integer

   s-cargot	Data.SCargot.Common

   A parser for signed decimal numbers, with an optional leading + or -.

5. signedDozNumber :: Parser Integer

   s-cargot	Data.SCargot.Common

   A parser for signed duodecimal (dozenal) numbers, with an optional leading + or -.

6. signedHexNumber :: Parser Integer

   s-cargot	Data.SCargot.Common

   A parser for signed hexadecimal numbers, with an optional leading + or -.

7. signedOctNumber :: Parser Integer

   s-cargot	Data.SCargot.Common

   A parser for signed octal numbers, with an optional leading + or -.

8. signedPrefixedNumber :: Parser Integer

   s-cargot	Data.SCargot.Common

   Parses a number in the same way as prefixedNumber, with an optional leading + or -.

9. crackNum :: SMTConfig -> Bool

   sbv	Data.SBV

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

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

    sbv	Data.SBV

    For crackNum: The surface representation of variables, if available

Page 420 of many | Previous | Next