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.
(
.~| ) :: SBool -> SBool -> SBoolsbv Data.SBV Symbolic nor
(
.&& ) :: SBool -> SBool -> SBoolsbv Data.SBV.Internals Symbolic conjunction
(
./= ) :: EqSymbolic a => a -> a -> SBoolsbv Data.SBV.Internals Symbolic inequality.
(
./== ) :: EqSymbolic a => a -> a -> SBoolsbv Data.SBV.Internals Negation of strong equality. Equaivalent to negation of (.===) on all types.
(
.<+> ) :: SBool -> SBool -> SBoolsbv Data.SBV.Internals Symbolic logical xor
(
.<=> ) :: SBool -> SBool -> SBoolsbv Data.SBV.Internals Symbolic boolean equivalence
(
.== ) :: EqSymbolic a => a -> a -> SBoolsbv Data.SBV.Internals Symbolic equality.
(
.=== ) :: EqSymbolic a => a -> a -> SBoolsbv Data.SBV.Internals 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.Internals Symbolic implication
(
.|| ) :: SBool -> SBool -> SBoolsbv Data.SBV.Internals Symbolic disjunction