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.

Exact lookup

1. inMaybeT :: forall (m :: Type -> Type) a . Monad m => MSF (MaybeT m) (Maybe a) a

   dunai	Control.Monad.Trans.MSF.Maybe

   Embed a Maybe value in the MaybeT layer. Identical to maybeExit.

2. listToMaybeS :: forall (m :: Type -> Type) b a . (Functor m, Monad m) => [b] -> MSF (MaybeT m) a b

   dunai	Control.Monad.Trans.MSF.Maybe

   Converts a list to an MSF in MaybeT, which outputs an element of the list at each step, throwing Nothing when the list ends.

3. mapMaybeT :: (m (Maybe a) -> n (Maybe b)) -> MaybeT m a -> MaybeT n b

   dunai	Control.Monad.Trans.MSF.Maybe

   Transform the computation inside a MaybeT.

   • runMaybeT (mapMaybeT f m) = f (runMaybeT
     m)

4. reactimateMaybe :: (Functor m, Monad m) => MSF (MaybeT m) () () -> m ()

   dunai	Control.Monad.Trans.MSF.Maybe

   Reactimates an MSF in the MaybeT monad until it throws Nothing.

5. runMaybeS :: forall (m :: Type -> Type) a b . (Functor m, Monad m) => MSF (MaybeT m) a b -> MSF m a (Maybe b)

   dunai	Control.Monad.Trans.MSF.Maybe

   Remove the MaybeT layer by outputting Nothing when the exception occurs. The continuation in which the exception occurred is then tested on the next input.

6. runMaybeT :: MaybeT (m :: Type -> Type) a -> m (Maybe a)

   dunai	Control.Monad.Trans.MSF.Maybe

   No documentation available.

7. untilMaybe :: forall (m :: Type -> Type) a b . Monad m => MSF m a b -> MSF m b Bool -> MSF (MaybeT m) a b

   dunai	Control.Monad.Trans.MSF.Maybe

   Run the first msf until the second one produces True from the output of the first.

8. mapMaybeS :: forall (m :: Type -> Type) a b . Monad m => MSF m a b -> MSF m (Maybe a) (Maybe b)

   dunai	Data.MonadicStreamFunction.Util

   Apply an MSF to every input. Freezes temporarily if the input is Nothing, and continues as soon as a Just is received.

9. elimMaybe :: forall a (p :: Maybe a ~> Type) (s :: Maybe a) . Sing s -> Apply p ('Nothing :: Maybe a) -> (forall (f0 :: a) . () => Sing f0 -> Apply p ('Just f0)) -> Apply p s

   eliminators	Data.Eliminator

   No documentation available.

10. EMaybe :: ElmDatatype -> ElmPrimitive

    elm-export	Elm

    No documentation available.

Page 268 of many | Previous | Next