Control.Monatron.AutoLift

Documentation

class Monad m => StateM z m | m -> z where

Methods

stateModel :: AlgModel (StateOp z) m

Instances

(StateM z m, MonadT t) => StateM z (t m)

Monad m => StateM z (StateT z m)

(Monad m, MonadT t1, MonadT t2, StateM z (t2 m)) => StateM z (:> t1 t2 m)

get :: StateM z m => m z

put :: StateM z m => z -> m ()

class (Monoid z, Monad m) => WriterM z m | m -> z where

Methods

writerModel :: AlgModel (WriterOp z) m

Instances

(Monoid z, WriterM z m, MonadT t) => WriterM z (t m)

(Monoid z, Monad m) => WriterM z (WriterT z m)

(WriterM z (t2 m), MonadT t1, Monad m, MonadT t2) => WriterM z (:> t1 t2 m)

tell :: (Monoid z, WriterM z m) => z -> m ()

class Monad m => ReaderM z m | m -> z where

Methods

readerModel :: Model (ReaderOp z) m

Instances

(ReaderM z m, Functor m, FMonadT t) => ReaderM z (t m)

Monad m => ReaderM z (ReaderT z m)

(ReaderM z (t2 m), FMonadT t1, FMonadT t2, Functor (t2 m), Monad m) => ReaderM z (:> t1 t2 m)

ask :: ReaderM z m => m z

local :: ReaderM z m => (z -> z) -> m a -> m a

class Monad m => ExcM z m | m -> z where

Methods

throwModel :: AlgModel (ThrowOp z) m

handleModel :: Model (HandleOp z) m

Instances

ExcM SomeException IO

(ExcM z m, Functor m, FMonadT t) => ExcM z (t m)

Monad m => ExcM z (ExcT z m)

(ExcM z (t2 m), FMonadT t1, FMonadT t2, Functor (t2 m), Monad m) => ExcM z (:> t1 t2 m)

throw :: ExcM z m => z -> m a

handle :: ExcM z m => m a -> (z -> m a) -> m a

class Monad m => ContM r m | m -> r where

Methods

contModel :: AlgModel (ContOp r) m

Instances

(ContM r m, MonadT t) => ContM r (t m)

(ContM r (t2 m), FMonadT t1, FMonadT t2, Functor (t2 m), Monad m) => ContM r (:> t1 t2 m)

Monad m => ContM (m r) (ContT r m)

callCC :: ContM r m => ((a -> r) -> a) -> m a

class Monad m => ListM m where

Methods

listModel :: AlgModel ListOp m

Instances

(ListM m, MonadT t) => ListM (t m)

Monad m => ListM (ListT m)

(ListM (t2 m), FMonadT t1, FMonadT t2, Functor (t2 m), Monad m) => ListM (:> t1 t2 m)

mZero :: ListM m => m a

mPlus :: ListM m => m a -> m a -> m a

module Control.Monatron.Operations