Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. sMaybe :: SymVal a => String -> Symbolic (SMaybe a)

   sbv	Data.SBV

   Declare a named SMaybe. NB. For a version which generalizes over the underlying monad, see sMaybe

2. sMaybe_ :: SymVal a => Symbolic (SMaybe a)

   sbv	Data.SBV

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

3. sMaybes :: SymVal a => [String] -> Symbolic [SMaybe a]

   sbv	Data.SBV

   Declare a list of SMaybe values. NB. For a version which generalizes over the underlying monad, see sMaybes

4. CMaybe :: !Maybe CVal -> CVal

   sbv	Data.SBV.Dynamic

   Maybe

5. KMaybe :: Kind -> Kind

   sbv	Data.SBV.Dynamic

   No documentation available.

6. isMaybe :: HasKind a => a -> Bool

   sbv	Data.SBV.Dynamic

   No documentation available.

7. CMaybe :: !Maybe CVal -> CVal

   sbv	Data.SBV.Internals

   Maybe

8. KMaybe :: Kind -> Kind

   sbv	Data.SBV.Internals

   No documentation available.

9. type SMaybe a = SBV Maybe a

   sbv	Data.SBV.Internals

   Symbolic Maybe

10. isMaybe :: HasKind a => a -> Bool

    sbv	Data.SBV.Internals

    No documentation available.

Page 254 of many | Previous | Next