Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. sBool_ :: Symbolic SBool

   sbv	Data.SBV

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

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

   sbv	Data.SBV

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

3. KBool :: Kind

   sbv	Data.SBV.Dynamic

   No documentation available.

4. cvToBool :: CV -> Bool

   sbv	Data.SBV.Dynamic

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

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

   sbv	Data.SBV.Dynamic

   No documentation available.

6. svAsBool :: SVal -> Maybe Bool

   sbv	Data.SBV.Dynamic

   Extract a bool, by properly interpreting the integer stored.

7. svBool :: Bool -> SVal

   sbv	Data.SBV.Dynamic

   Convert from a Boolean.

8. KBool :: Kind

   sbv	Data.SBV.Internals

   No documentation available.

9. PseudoBoolean :: PBOp -> Op

   sbv	Data.SBV.Internals

   No documentation available.

10. QuantifiedBool :: String -> Op

    sbv	Data.SBV.Internals

    No documentation available.

Page 140 of many | Previous | Next