- Improved
makeEffect
fromControl.Monad.Freer.TH
to support more datatypes (#17).
- Added
Control.Monad.Freer.TH
, which provides amakeEffect
function that automatically generates boilerplate operations usingsend
for an effect (#15).
- Changed the implementation of
LastMember
to avoid an issue similar to the one withMember
fixed in 1.0.1.1 that could cause the constraint to unnecessarily fail to solve (#6). - Changed the order of the type variables in
interpretM
to be more consistent with other functions (only relevant in combination withTypeApplications
). - Re-exported
(~>)
fromControl.Natural
throughControl.Monad.Freer
.
- Fixed a bug that could cause
Member
constraints to erroneously fail to solve (#3).
- Added
subsume
toControl.Monad.Freer
for deduplicating effects. - Added
gets
toControl.Monad.Freer.State
(#1).
- Initial release.