Control.Monad.Sequence

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

Monad m => Monad (SeqT m)

Functor m => Functor (SeqT m)

(Monad (SeqT m), Monad m) => MonadPlus (SeqT m)

(Functor (SeqT m), Applicative m) => Applicative (SeqT m)

(Applicative (SeqT m), Applicative m) => Alternative (SeqT m)

(Monad (SeqT m), MonadIO m) => MonadIO (SeqT m)