Safe Haskell	Safe
Language	Haskell98

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 runSeqT :: m (Seq a)

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 # liftA2 :: (a -> b -> c) -> SeqT m a -> SeqT m b -> SeqT m c # (>) :: 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 #

The Sequence monad transformer.