Hoogle Search

Within LTS Haskell 24.57 (ghc-9.10.3)

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

  1. CMaybe :: !Maybe CVal -> CVal

    sbv Data.SBV.Internals

    Maybe

  2. KMaybe :: Kind -> Kind

    sbv Data.SBV.Internals

    No documentation available.

  3. type SMaybe a = SBV Maybe a

    sbv Data.SBV.Internals

    Symbolic Maybe

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

    sbv Data.SBV.Internals

    No documentation available.

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

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

  7. KMaybe :: Kind -> Kind

    sbv Data.SBV.Trans

    No documentation available.

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

    sbv Data.SBV.Trans

    No documentation available.

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

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

    No documentation available.

  10. data SMaybe (sa :: a -> Type) (ma :: Maybe a)

    singleraeh Singleraeh.Maybe

    Singleton Maybe.

Page 255 of many | Previous | Next