Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. listToAutomatonExcept :: forall (m :: Type -> Type) b a . Monad m => [b] -> AutomatonExcept a b m ()

   automaton	Data.Automaton.Trans.Except

   Converts a list to an AutomatonExcept, which outputs an element of the list at each step, throwing () when the list ends.

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

3. listen :: forall (m :: Type -> Type) r w s a . Monad m => RWST r w s m a -> RWST r w s m (a, w)

   automaton	Data.Automaton.Trans.RWS

   listen m is an action that executes the action m and adds its output to the value of the computation.

   • runRWST (listen m) r s = liftM (\ (a, w)
     -> ((a, w), w)) (runRWST m r s)

4. listens :: forall (m :: Type -> Type) w b r s a . Monad m => (w -> b) -> RWST r w s m a -> RWST r w s m (a, b)

   automaton	Data.Automaton.Trans.RWS

   listens f m is an action that executes the action m and adds the result of applying f to the output to the value of the computation.

   • listens f m = liftM (id *** f) (listen
     m)

   • runRWST (listens f m) r s = liftM (\ (a,
     w) -> ((a, f w), w)) (runRWST m r s)

5. listen :: forall (m :: Type -> Type) w a . Monad m => WriterT w m a -> WriterT w m (a, w)

   automaton	Data.Automaton.Trans.Writer

   listen m is an action that executes the action m and adds its output to the value of the computation.

   • runWriterT (listen m) = liftM (\ (a, w)
     -> ((a, w), w)) (runWriterT m)

6. listens :: forall (m :: Type -> Type) w b a . Monad m => (w -> b) -> WriterT w m a -> WriterT w m (a, b)

   automaton	Data.Automaton.Trans.Writer

   listens f m is an action that executes the action m and adds the result of applying f to the output to the value of the computation.

   • listens f m = liftM (id *** f) (listen
     m)

   • runWriterT (listens f m) = liftM (\ (a,
     w) -> ((a, f w), w)) (runWriterT m)

7. listen :: forall a1 w a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Free c ff, a ~ Eff ff es, WriterH w :> es) => a a1 -> a (w, a1)

   data-effects	Data.Effect.Writer

   No documentation available.

8. listen'_ :: forall a1 w a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Free c ff, a ~ Eff ff es, In (WriterH w) es) => a a1 -> a (w, a1)

   data-effects	Data.Effect.Writer

   No documentation available.

9. listen :: (HasCallStack, MonadDB m) => Channel -> m ()

   hpqtypes	Database.PostgreSQL.PQTypes.Notification

   Start listening for notifications on a given channel.

10. listToUnique :: [a] -> IO (Maybe a)

    relational-query-HDBC	Database.HDBC.Record

    Fetch expecting result records is unique.

Page 25 of many | Previous | Next