Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. fromBool :: Bool -> SBool

   sbv	Data.SBV.Internals

   Conversion from Bool to SBool

2. isBoolean :: HasKind a => a -> Bool

   sbv	Data.SBV.Internals

   No documentation available.

3. quantifiedBool :: QuantifiedBool a => a -> SBool

   sbv	Data.SBV.Internals

   Turn a quantified boolean into a regular boolean. That is, this function turns an exists/forall quantified formula to a simple boolean that can be used as a regular boolean value. An example is:

   quantifiedBool $ \(Forall x) (Exists y) -> y .> (x :: SInteger)
   

   is equivalent to sTrue. You can think of this function as performing quantifier-elimination: It takes a quantified formula, and reduces it to a simple boolean that is equivalent to it, but has no quantifiers.

4. supportsPseudoBooleans :: SolverCapabilities -> Bool

   sbv	Data.SBV.Internals

   Supports pseudo-boolean operations?

5. supportsPseudoBooleans :: SolverCapabilities -> Bool

   sbv	Data.SBV.Internals

   Supports pseudo-boolean operations?

6. KBool :: Kind

   sbv	Data.SBV.Trans

   No documentation available.

7. type SBool = SBV Bool

   sbv	Data.SBV.Trans

   A symbolic boolean/bit

8. fromBool :: Bool -> SBool

   sbv	Data.SBV.Trans

   Conversion from Bool to SBool

9. isBoolean :: HasKind a => a -> Bool

   sbv	Data.SBV.Trans

   No documentation available.

10. sBool :: MonadSymbolic m => String -> m SBool

    sbv	Data.SBV.Trans

    Generalization of sBool

Page 138 of many | Previous | Next