Control.Monad.Schedule.Sequence

Documentation

newtype SequenceT m a

Any monad can be trivially scheduled by executing all actions sequentially.

Constructors

SequenceT

Fields

• unSequence :: m a

Instances

MonadTrans SequenceT

Defined in Control.Monad.Schedule.Sequence

Methods

lift :: Monad m => m a -> SequenceT m a

MonadIO m => MonadIO (SequenceT m)

Defined in Control.Monad.Schedule.Sequence

Methods

liftIO :: IO a -> SequenceT m a

Applicative m => Applicative (SequenceT m)

Defined in Control.Monad.Schedule.Sequence

Methods

pure :: a -> SequenceT m a

(<*>) :: SequenceT m (a -> b) -> SequenceT m a -> SequenceT m b

liftA2 :: (a -> b -> c) -> SequenceT m a -> SequenceT m b -> SequenceT m c

(*>) :: SequenceT m a -> SequenceT m b -> SequenceT m b

(<*) :: SequenceT m a -> SequenceT m b -> SequenceT m a

Functor m => Functor (SequenceT m)

Defined in Control.Monad.Schedule.Sequence

Methods

fmap :: (a -> b) -> SequenceT m a -> SequenceT m b

(<$) :: a -> SequenceT m b -> SequenceT m a

Monad m => Monad (SequenceT m)

Defined in Control.Monad.Schedule.Sequence

Methods

(>>=) :: SequenceT m a -> (a -> SequenceT m b) -> SequenceT m b

(>>) :: SequenceT m a -> SequenceT m b -> SequenceT m b

return :: a -> SequenceT m a

Monad m => MonadSchedule (SequenceT m)

Execute all actions in sequence and return their result when all of them are done. Essentially, this is sequenceA.

Defined in Control.Monad.Schedule.Sequence

Methods

schedule :: NonEmpty (SequenceT m a) -> SequenceT m (NonEmpty a, [SequenceT m a])

type Sequence = SequenceT Identity