Monatron-0.3: Monad transformer library with uniform liftings Contents Index

Monatron.AutoLift

Documentation

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

Methods stateModel :: AlgModel (StateOp z) m Instances Monad m => StateM z (StateT z 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, Monad m) => WriterM z (WriterT z 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 Monad m => ReaderM z (ReaderT z 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 SomeException IO Monad m => ExcM z (ExcT z 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 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 Monad m => ListM (ListT m)

mZero :: ListM m => m a

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

module Monatron.Operations

Produced by Haddock version 2.4.2