From e950deb4ab4be0d33e4a81100251ff8c15e557ac Mon Sep 17 00:00:00 2001 From: KingoftheHomeless Date: Fri, 16 Aug 2019 07:13:57 +0200 Subject: [PATCH] Update changelog (#207) --- ChangeLog.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ChangeLog.md b/ChangeLog.md index ac3c1bc..251c502 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -4,7 +4,9 @@ ### Breaking Changes -- `MonadFail` is now implemented in terms of `Fail`, instead of `NonDet`(thanks to @KingoftheHomeless) +- `MonadFail` is now implemented in terms of `Fail`, instead of `NonDet` (thanks to @KingoftheHomeless) +- `LastMember` has been removed. `withLowerToIO` and all interpreters that make use of it + now only requires `Member (Embed IO) r` (thanks to @KingoftheHomeless) - `State` and `Writer` now have better strictness semantics ### Other Changes @@ -13,6 +15,7 @@ - Added `Fail` effect (thanks to @KingoftheHomeless) - Added `runOutputSem` (thanks to @cnr) - Added right-associative variants of `runOutputMonoid` and `runWriter` (thanks to @KingoftheHomeless) +- Added `runOutputMonoidIORef` and `runOutputMonoidTVar` (thanks to @KingoftheHomeless) - Improved `Fixpoint` so it won't always diverge (thanks to @KingoftheHomeless) - `makeSem` will now complain if `DataKinds` isn't enabled (thanks to @pepegar)