Hoogle Search
Within LTS Haskell 24.37 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
.< ) :: OrdSymbolic a => a -> a -> SBoolsbv Data.SBV Symbolic less than.
(
.<+> ) :: SBool -> SBool -> SBoolsbv Data.SBV Symbolic logical xor
(
.<= ) :: OrdSymbolic a => a -> a -> SBoolsbv Data.SBV Symbolic less than or equal to.
(
.<=> ) :: SBool -> SBool -> SBoolsbv Data.SBV Symbolic boolean equivalence
(
.== ) :: EqSymbolic a => a -> a -> SBoolsbv Data.SBV Symbolic equality.
(
.=== ) :: EqSymbolic a => a -> a -> SBoolsbv 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 (./=).
(
.=> ) :: SBool -> SBool -> SBoolsbv Data.SBV Symbolic implication
(
.> ) :: OrdSymbolic a => a -> a -> SBoolsbv Data.SBV Symbolic greater than.
(
.>= ) :: OrdSymbolic a => a -> a -> SBoolsbv Data.SBV Symbolic greater than or equal to.
(
.^ ) :: (Mergeable b, Num b, SIntegral e) => b -> SBV e -> bsbv 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.