polysemy-research/polysemy
1
1
Fork 0
mirror of https://github.com/polysemy-research/polysemy.git synced 2024-09-11 02:25:43 +03:00
Code Issues Projects Releases Wiki Activity

Credit where credit is due (#320)

Browse Source
This commit is contained in:
KingoftheHomeless 2020-02-16 13:47:36 +01:00 committed by GitHub
parent d51e0dd628
commit 72dc96fbd1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
ChangeLog.md
View File

@ -13,14 +13,15 @@
### Other Changes
- Added `Bundle` effect, for bundling multiple effects into a single one.
- Added `Tagged` effect, for annotating and disambiguating identical effects.
- Added `View` effect, an `Input`-like effect for caching an expensive computation.
- Added `catchJust`
- Added `View` effect, an `Input`-like effect for caching an expensive
computation.
- Added `fromException`/`Via` and `fromExceptionSem`/`Via`
- Added `note`
- Added `try` and `tryJust`
- Using `listen` with `runWriterTVar` or `writerToIO` will no longer delay writing until the `listen` completes.
- Added `runStateSTRef` and `stateToST`
- Added `execState` and `execLazyState`
- Added `catchJust`, `try` and `tryJust` (thanks to @bolt12)
- Using `listen` with `runWriterTVar` or `writerToIO` will no longer delay writing
until the `listen` completes.
- Added `runStateSTRef` and `stateToST` (thanks to @incertia)
- Added `execState` and `execLazyState` (thanks to @tjweir)
- Added `Polysemy.Law`, which offers machinery for creating laws for effects.
- Added `Polysemy.Membership` for retrieving and making use of effect membership
proofs.