mirror of
https://github.com/polysemy-research/polysemy.git
synced 2024-09-17 13:37:21 +03:00
Update changelog (#207)
This commit is contained in:
parent
83084f7eda
commit
e950deb4ab
@ -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)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user