Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. type SMaybe a = SBV Maybe a

   sbv	Data.SBV

   Symbolic Maybe

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

   sbv	Data.SBV

   No documentation available.

3. 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

4. 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_

5. 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

6. CMaybe :: !Maybe CVal -> CVal

   sbv	Data.SBV.Dynamic

   Maybe

7. KMaybe :: Kind -> Kind

   sbv	Data.SBV.Dynamic

   No documentation available.

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

   sbv	Data.SBV.Dynamic

   No documentation available.

9. CMaybe :: !Maybe CVal -> CVal

   sbv	Data.SBV.Internals

   Maybe

10. KMaybe :: Kind -> Kind

    sbv	Data.SBV.Internals

    No documentation available.

Page 254 of many | Previous | Next