Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. (./==) :: EqSymbolic a => a -> a -> SBool

   sbv	Data.SBV

   Negation of strong equality. Equaivalent to negation of (.===) on all types.

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

   sbv	Data.SBV

   Symbolic less than.

3. (.<+>) :: SBool -> SBool -> SBool

   sbv	Data.SBV

   Symbolic logical xor

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

   sbv	Data.SBV

   Symbolic less than or equal to.

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

   sbv	Data.SBV

   Symbolic boolean equivalence

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

   sbv	Data.SBV

   Symbolic equality.

7. (.===) :: 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 (./=).

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

   sbv	Data.SBV

   Symbolic implication

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

   sbv	Data.SBV

   Symbolic greater than.

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

    sbv	Data.SBV

    Symbolic greater than or equal to.

Page 44 of many | Previous | Next