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. (.~&) :: SBool -> SBool -> SBool

   sbv	Data.SBV.Internals

   Symbolic nand

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

   sbv	Data.SBV.Internals

   Symbolic nor

3. (.:) :: SymVal a => SBV a -> SList a -> SList a

   sbv	Data.SBV.List

   Prepend an element, the traditional cons.

4. (.%) :: SInteger -> SInteger -> SRational

   sbv	Data.SBV.Rational

   Construct a symbolic rational from a given numerator and denominator. Note that it is not possible to deconstruct a rational by taking numerator and denominator fields, since we do not represent them canonically. (This is due to the fact that SMTLib has no functions to compute the GCD. One can use the maximization engine to compute the GCD of numbers, but not as a function.)

5. (.:) :: SChar -> SString -> SString

   sbv	Data.SBV.String

   Prepend an element, the traditional cons.

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

   sbv	Data.SBV.Trans

   Symbolic conjunction

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

   sbv	Data.SBV.Trans

   Symbolic inequality.

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

   sbv	Data.SBV.Trans

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

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

   sbv	Data.SBV.Trans

   Symbolic less than.

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

    sbv	Data.SBV.Trans

    Symbolic logical xor

Page 43 of many | Previous | Next