Hoogle Search

Within LTS Haskell 24.26 (ghc-9.10.3)

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

Exact lookup

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

   sbv	Data.SBV

   No documentation available.

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

   sbv	Data.SBV

   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.

3. sBool :: String -> Symbolic SBool

   sbv	Data.SBV

   Declare a named SBool NB. For a version which generalizes over the underlying monad, see sBool

4. sBool_ :: Symbolic SBool

   sbv	Data.SBV

   Declare an unnamed SBool NB. For a version which generalizes over the underlying monad, see sBool_

5. sBools :: [String] -> Symbolic [SBool]

   sbv	Data.SBV

   Declare a list of SBools NB. For a version which generalizes over the underlying monad, see sBools

6. KBool :: Kind

   sbv	Data.SBV.Dynamic

   No documentation available.

7. cvToBool :: CV -> Bool

   sbv	Data.SBV.Dynamic

   Convert a CV to a Haskell boolean (NB. Assumes input is well-kinded)

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

   sbv	Data.SBV.Dynamic

   No documentation available.

9. svAsBool :: SVal -> Maybe Bool

   sbv	Data.SBV.Dynamic

   Extract a bool, by properly interpreting the integer stored.

10. svBool :: Bool -> SVal

    sbv	Data.SBV.Dynamic

    Convert from a Boolean.

Page 135 of many | Previous | Next