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.

Exact lookup

1. hoistMaybe :: forall (m :: Type -> Type) b . Applicative m => Maybe b -> MaybeT m b

   automaton	Data.Automaton.Trans.Maybe

   Convert a Maybe computation to MaybeT.

2. inMaybeT :: forall (m :: Type -> Type) a . Monad m => Automaton (MaybeT m) (Maybe a) a

   automaton	Data.Automaton.Trans.Maybe

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

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

   automaton	Data.Automaton.Trans.Maybe

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

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

   automaton	Data.Automaton.Trans.Maybe

   Transform the computation inside a MaybeT.

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

5. reactimateMaybe :: (Functor m, Monad m) => Automaton (MaybeT m) () () -> m ()

   automaton	Data.Automaton.Trans.Maybe

   reactimates an Automaton in the MaybeT monad until it throws Nothing.

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

   automaton	Data.Automaton.Trans.Maybe

   Remove the MaybeT layer by outputting Nothing when the exception occurs. The current state is then tested again on the next input.

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

   automaton	Data.Automaton.Trans.Maybe

   No documentation available.

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

   automaton	Data.Automaton.Trans.Maybe

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

9. readMaybe :: Read a => String -> Maybe a

   base-prelude	BasePrelude

   Parse a string using the Read instance. Succeeds if there is exactly one valid result.

   >>> readMaybe "123" :: Maybe Int
   Just 123
   

   >>> readMaybe "hello" :: Maybe Int
   Nothing
   

10. eqMaybeE :: IsSql92ExpressionSyntax expr => expr -> expr -> expr -> expr

    beam-core	Database.Beam.Backend.SQL.SQL92

    Compare the first and second argument for nullable equality, if they are both not null, return the result of the third expression Some backends, like beam-postgres totally ignore the third result, because all equality there is sensible.

Page 232 of many | Previous | Next