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. (.>) :: OrdSymbolic a => a -> a -> SBool

   sbv	Data.SBV

   Symbolic greater than.

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

   sbv	Data.SBV

   Symbolic greater than or equal to.

3. (.^) :: (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.

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

   sbv	Data.SBV

   Symbolic disjunction

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

   sbv	Data.SBV

   Symbolic nand

6. (.~|) :: SBool -> SBool -> SBool

   sbv	Data.SBV

   Symbolic nor

7. (.&&) :: SBool -> SBool -> SBool

   sbv	Data.SBV.Internals

   Symbolic conjunction

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

   sbv	Data.SBV.Internals

   Symbolic inequality.

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

   sbv	Data.SBV.Internals

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

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

    sbv	Data.SBV.Internals

    Symbolic logical xor

Page 45 of many | Previous | Next