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

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

   sbv	Data.SBV

   Symbolic disjunction

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

   sbv	Data.SBV

   Symbolic nand

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

   sbv	Data.SBV

   Symbolic nor

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

   sbv	Data.SBV.Internals

   Symbolic conjunction

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

   sbv	Data.SBV.Internals

   Symbolic inequality.

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

   sbv	Data.SBV.Internals

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

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

   sbv	Data.SBV.Internals

   Symbolic logical xor

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

   sbv	Data.SBV.Internals

   Symbolic boolean equivalence

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

    sbv	Data.SBV.Internals

    Symbolic equality.

Page 45 of many | Previous | Next