Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

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

    sbv Data.SBV.Dynamic

    No documentation available.

  2. CMaybe :: !Maybe CVal -> CVal

    sbv Data.SBV.Internals

    Maybe

  3. KMaybe :: Kind -> Kind

    sbv Data.SBV.Internals

    No documentation available.

  4. type SMaybe a = SBV Maybe a

    sbv Data.SBV.Internals

    Symbolic Maybe

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

    sbv Data.SBV.Internals

    No documentation available.

  6. fromMaybe :: SymVal a => SBV a -> SMaybe a -> SBV a

    sbv Data.SBV.Maybe

    Return the value of an optional value. The default is returned if Nothing. Compare to fromJust. 

    >>> fromMaybe 2 (sNothing :: SMaybe Integer)
2 :: SInteger

>>> fromMaybe 2 (sJust 5 :: SMaybe Integer)
5 :: SInteger

>>> prove $ \x -> fromMaybe x (sNothing :: SMaybe Integer) .== x
Q.E.D.

>>> prove $ \x -> fromMaybe (x+1) (sJust x :: SMaybe Integer) .== x
Q.E.D.

  7. liftMaybe :: SymVal a => Maybe (SBV a) -> SMaybe a

    sbv Data.SBV.Maybe

    Construct an SMaybe a from a Maybe (SBV a). 

    >>> liftMaybe (Just (3 :: SInteger))
Just 3 :: SMaybe Integer

>>> liftMaybe (Nothing :: Maybe SInteger)
Nothing :: SMaybe Integer

  8. KMaybe :: Kind -> Kind

    sbv Data.SBV.Trans

    No documentation available.

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

    sbv Data.SBV.Trans

    No documentation available.

  10. mkPangoGlyphItemMaybe0 :: Ptr PangoGlyphItem -> IO (Maybe PangoGlyphItem)

    simple-pango Graphics.Pango.Basic.GlyphStorage.Internal

    No documentation available.

Page 250 of many | Previous | Next