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. cvToBool :: CV -> Bool

   sbv	Data.SBV.Dynamic

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

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

   sbv	Data.SBV.Dynamic

   No documentation available.

3. svAsBool :: SVal -> Maybe Bool

   sbv	Data.SBV.Dynamic

   Extract a bool, by properly interpreting the integer stored.

4. svBool :: Bool -> SVal

   sbv	Data.SBV.Dynamic

   Convert from a Boolean.

5. KBool :: Kind

   sbv	Data.SBV.Internals

   No documentation available.

6. PseudoBoolean :: PBOp -> Op

   sbv	Data.SBV.Internals

   No documentation available.

7. QuantifiedBool :: String -> Op

   sbv	Data.SBV.Internals

   No documentation available.

8. class QuantifiedBool a

   sbv	Data.SBV.Internals

   A value that can be used as a quantified boolean

9. type SBool = SBV Bool

   sbv	Data.SBV.Internals

   A symbolic boolean/bit

10. cvToBool :: CV -> Bool

    sbv	Data.SBV.Internals

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

Page 137 of many | Previous | Next