arrow-list-0.7: List arrows for Haskell.

Safe HaskellSafe
LanguageHaskell98

Control.Monad.Sequence

Contents

Synopsis

The Sequence monad transformer.

newtype SeqT m a #

Parameterizable Sequence monad, with an inner monad. The semantics of SeqT are comparable to that of ListT.

Note: Like the ListT monad, this does not yield a monad unless the argument monad is commutative.

Constructors

SeqT 

Fields

Instances

MonadTrans SeqT # 

Methods

lift :: Monad m => m a -> SeqT m a #

Monad m => Monad (SeqT m) # 

Methods

(>>=) :: SeqT m a -> (a -> SeqT m b) -> SeqT m b #

(>>) :: SeqT m a -> SeqT m b -> SeqT m b #

return :: a -> SeqT m a #

fail :: String -> SeqT m a #

Functor m => Functor (SeqT m) # 

Methods

fmap :: (a -> b) -> SeqT m a -> SeqT m b #

(<$) :: a -> SeqT m b -> SeqT m a #

Applicative m => Applicative (SeqT m) # 

Methods

pure :: a -> SeqT m a #

(<*>) :: SeqT m (a -> b) -> SeqT m a -> SeqT m b #

(*>) :: SeqT m a -> SeqT m b -> SeqT m b #

(<*) :: SeqT m a -> SeqT m b -> SeqT m a #

MonadIO m => MonadIO (SeqT m) # 

Methods

liftIO :: IO a -> SeqT m a #

Applicative m => Alternative (SeqT m) # 

Methods

empty :: SeqT m a #

(<|>) :: SeqT m a -> SeqT m a -> SeqT m a #

some :: SeqT m a -> SeqT m [a] #

many :: SeqT m a -> SeqT m [a] #

Monad m => MonadPlus (SeqT m) # 

Methods

mzero :: SeqT m a #

mplus :: SeqT m a -> SeqT m a -> SeqT m a #