Control.Monad.Operational.Class

A class for operational monads

Documentation

class Monad m => t :! m | m -> t where

Methods

singleton :: t a -> m a

Construct an operational action from a single imperative.

Instances

:! t m => t :! (ListT m)

:! t m => t :! (IdentityT m)

:! t m => t :! (MaybeT m)

t :! (ReifiedProgram t)

t :! (Program t)

:! t m => t :! (ExceptT e m)

(:! t m, Error e) => t :! (ErrorT e m)

(:! t m, Monoid w) => t :! (WriterT w m)

(:! t m, Monoid w) => t :! (WriterT w m)

:! t m => t :! (ContT r m)

:! t m => t :! (StateT s m)

:! t m => t :! (StateT s m)

:! t m => t :! (ReaderT e m)

Monad m => t :! (ReifiedProgramT t m)

t :! (ProgramT t m)

(:! t m, Monoid w) => t :! (RWST r w s m)

(:! t m, Monoid w) => t :! (RWST r w s m)