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.
(
./== ) :: EqSymbolic a => a -> a -> SBoolsbv Data.SBV.Trans Negation of strong equality. Equaivalent to negation of (.===) on all types.
(
.< ) :: OrdSymbolic a => a -> a -> SBoolsbv Data.SBV.Trans Symbolic less than.
(
.<+> ) :: SBool -> SBool -> SBoolsbv Data.SBV.Trans Symbolic logical xor
(
.<= ) :: OrdSymbolic a => a -> a -> SBoolsbv Data.SBV.Trans Symbolic less than or equal to.
(
.<=> ) :: SBool -> SBool -> SBoolsbv Data.SBV.Trans Symbolic boolean equivalence
(
.== ) :: EqSymbolic a => a -> a -> SBoolsbv Data.SBV.Trans Symbolic equality.
(
.=== ) :: EqSymbolic a => a -> a -> SBoolsbv Data.SBV.Trans 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 (./=).
(
.=> ) :: SBool -> SBool -> SBoolsbv Data.SBV.Trans Symbolic implication
(
.> ) :: OrdSymbolic a => a -> a -> SBoolsbv Data.SBV.Trans Symbolic greater than.
(
.>= ) :: OrdSymbolic a => a -> a -> SBoolsbv Data.SBV.Trans Symbolic greater than or equal to.