Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. (.<=) :: OrdSymbolic a => a -> a -> SBool

   sbv	Data.SBV

   Symbolic less than or equal to.

2. (.<=>) :: SBool -> SBool -> SBool

   sbv	Data.SBV

   Symbolic boolean equivalence

3. (.==) :: EqSymbolic a => a -> a -> SBool

   sbv	Data.SBV

   Symbolic equality.

4. (.===) :: EqSymbolic a => a -> a -> SBool

   sbv	Data.SBV

   Strong equality. On floats (SFloat/SDouble), strong equality is object equality; that is NaN == NaN holds, but +0 == -0 doesn't. On other types, (.===) is simply (.==). Note that (.==) is the right notion of equality for floats per IEEE754 specs, since by definition +0 == -0 and NaN equals no other value including itself. But occasionally we want to be stronger and state NaN equals NaN and +0 and -0 are different from each other. In a context where your type is concrete, simply use fpIsEqualObject. But in a polymorphic context, use the strong equality instead. NB. If you do not care about or work with floats, simply use (.==) and (./=).

5. (.=>) :: SBool -> SBool -> SBool

   sbv	Data.SBV

   Symbolic implication

6. (.>) :: OrdSymbolic a => a -> a -> SBool

   sbv	Data.SBV

   Symbolic greater than.

7. (.>=) :: OrdSymbolic a => a -> a -> SBool

   sbv	Data.SBV

   Symbolic greater than or equal to.

8. (.^) :: (Mergeable b, Num b, SIntegral e) => b -> SBV e -> b

   sbv	Data.SBV

   Symbolic exponentiation using bit blasting and repeated squaring. N.B. The exponent must be unsigned/bounded if symbolic. Signed exponents will be rejected.

9. (.||) :: SBool -> SBool -> SBool

   sbv	Data.SBV

   Symbolic disjunction

10. (.~&) :: SBool -> SBool -> SBool

    sbv	Data.SBV

    Symbolic nand

Page 41 of many | Previous | Next