Feature #297
Enhance capabilities of MessageMonad
| Status: | New | Start date: | 06/18/2012 | |
|---|---|---|---|---|
| Priority: | Normal | Due date: | ||
| Assignee: |  Björn Peemöller | % Done: | 0% | |
| Category: | - | |||
| Target version: | - |
Description
Introduce new type class combining the features of
- Reporting of warnings
- Error propagation
- Exception handling
- IO capabilities
A typical instance may be: newtype KicsT m a = KicsT { unKicsT :: WriterT [Message] (ErrorT Message (m (IO a))) } or something similar.