Documentation
class (Monoid z, Monad m) => WriterM z m | m -> z whereSource
writerModel :: AlgModel (WriterOp z) mSource
class Monad m => ExcM z m | m -> z whereSource
throwModel :: AlgModel (ThrowOp z) mSource
handleModel :: Model (HandleOp z) mSource
module Control.Monatron.Operations