- Compatibility with
template-haskellversions through 2.18 (which is distributed with GHC 9.2) (#34).
- Loosened bounds on
template-haskell(#29). - Made some minor internal changes to better support GHC 8.8.
- Improved
makeEffectfromControl.Monad.Freer.THto support more datatypes (#17).
- Added
Control.Monad.Freer.TH, which provides amakeEffectfunction that automatically generates boilerplate operations usingsendfor an effect (#15).
- Changed the implementation of
LastMemberto avoid an issue similar to the one withMemberfixed in 1.0.1.1 that could cause the constraint to unnecessarily fail to solve (#6). - Changed the order of the type variables in
interpretMto be more consistent with other functions (only relevant in combination withTypeApplications). - Re-exported
(~>)fromControl.NaturalthroughControl.Monad.Freer.
- Fixed a bug that could cause
Memberconstraints to erroneously fail to solve (#3).
- Added
subsumetoControl.Monad.Freerfor deduplicating effects. - Added
getstoControl.Monad.Freer.State(#1).
- Initial release.