- Initial release
- Lifted the restriction that one handler can exactly handle one effect. Handlers can now handle multiple effects.
- Effects whose definitions refer to other effects (see the RWS effect, for example) are now possible to implement, but only manually for now (i.e., no code generation).
- Adapted the embed effect which now supports tagging/retagging/untagging.
- Introduced the managed effect.
- Relaxed bounds a bit for better compilation.
- Fixed some compilation issues with GHC 8.6
- Added Control.Effect.Identity for pure effect interpretations.
- Effects can now have different super classes than Monad (examples: Managed and Resource effects, which have MonadIO).
- Effects can now have other effects as super classes (example: RWS effect).
- Fixed various presentation issues with TH-generated code.
- Untagged functions can now be generated from tagged functions using "makeUntagged" and "makeUntaggedWith", which heavily reduces code duplication.
- Restructured Haddock documentation for better presentation.
- Added more test cases.