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.

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

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

  3. KMaybe :: Kind -> Kind

    sbv Data.SBV.Trans

    No documentation available.

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

    sbv Data.SBV.Trans

    No documentation available.

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

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

    No documentation available.

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

    singleraeh Singleraeh.Maybe

    Singleton Maybe.

  7. class SingMaybe (ca :: ak -> Constraint) (sa :: ak -> Type) (ma :: Maybe ak)

    singleraeh Singleraeh.Maybe

    No documentation available.

  8. singMaybe' :: SingMaybe ca sa ma => (forall (a :: ak) . ca a => sa a) -> SMaybe sa ma

    singleraeh Singleraeh.Maybe

    No documentation available.

  9. hMaybeErr :: Handle -> Maybe Handle

    smtlib-backends-process SMTLIB.Backends.Process

    The error channel of the process.

  10. catMaybes :: forall (m :: Type -> Type) a b . Monad m => Fold m a b -> Fold m (Maybe a) b

    streamly-core Streamly.Data.Fold

    Modify a fold to receive a Maybe input, the Just values are unwrapped and sent to the original fold, Nothing values are discarded. 

    >>> catMaybes = Fold.mapMaybe id

>>> catMaybes = Fold.filter isJust . Fold.lmap fromJust

Page 255 of many | Previous | Next