Control.Monad.Operational.Class

A class for operational monads

Documentation

class Monad m => Operational t m | m -> t where

Methods

singleton :: t a -> m a

Construct an operational action from a single imperative.

Instances

Operational f m => Operational f (ListT m)

Operational f m => Operational f (IdentityT m)

Operational f m => Operational f (MaybeT m)

Operational t (ReifiedProgram t)

Operational t (Program t)

(Operational f m, Error e) => Operational f (ErrorT e m)

(Operational f m, Monoid w) => Operational f (WriterT w m)

(Operational f m, Monoid w) => Operational f (WriterT w m)

Operational f m => Operational f (ContT r m)

Operational f m => Operational f (StateT s m)

Operational f m => Operational f (StateT s m)

Operational f m => Operational f (ReaderT e m)

Operational t (ProgramT t m)

(Operational f m, Monoid w) => Operational f (RWST r w s m)

(Operational f m, Monoid w) => Operational f (RWST r w s m)