mirror of
https://github.com/lexi-lambda/freer-simple.git
synced 2024-12-25 15:14:29 +03:00
96 lines
2.9 KiB
Markdown
96 lines
2.9 KiB
Markdown
# Change Log
|
|
|
|
All notable changes to this project will be documented in this file.
|
|
|
|
## [Unreleased]
|
|
|
|
* Introducing `replaceRelay` and `replaceRelayS`.
|
|
[PR #27](https://github.com/IxpertaSolutions/freer-effects/pull/27)
|
|
|
|
## [0.3.0.0] (March 06, 2017)
|
|
|
|
* Package renamed to `freer-effects` to distinguish it from original `freer`.
|
|
[#4](https://github.com/IxpertaSolutions/freer-effects/issues/4)
|
|
* Fix `Could not deduce: effs ~ (r : rs)` that may occur when using
|
|
a `Member` contraint (a regression introduced in 0.2.4.0)
|
|
[freer!12](https://gitlab.com/queertypes/freer/merge_requests/12)
|
|
* Add `runNatS` convenience function
|
|
[freer!13](https://gitlab.com/queertypes/freer/merge_requests/13)
|
|
* Add `evalState` and `execState` convenience functions
|
|
[freer!14](https://gitlab.com/queertypes/freer/merge_requests/14)
|
|
* Data constructors of `Yield`, `CutFalse`, `Fresh`, `State` and `Trace`
|
|
are now exposed in addition to `Exc`, `Reader` and `Writer`
|
|
* Generalised type signature of `asks`.
|
|
[#7](https://github.com/IxpertaSolutions/freer-effects/issues/7)
|
|
* Renamed modules `Data.Open.Union.*` to `Data.OpenUnion.*`.
|
|
[#8](https://github.com/IxpertaSolutions/freer-effects/issues/8)
|
|
* `NonDetEff` separated into its own module and renamed to `NonDet`.
|
|
[#11](https://github.com/IxpertaSolutions/freer-effects/issues/11)
|
|
* Reimplement `Union` using
|
|
<http://okmij.org/ftp/Haskell/extensible/OpenUnion51.hs> as a basis.
|
|
[#14](https://github.com/IxpertaSolutions/freer-effects/issues/14)
|
|
* Renamed `Teletype` example DSL to `Console`.
|
|
|
|
## [0.2.4.1] (November 25, 2016)
|
|
|
|
* Restore GHC (7.8, 7.10) compatibility
|
|
|
|
## 0.2.4.0 (November 25, 2016)
|
|
|
|
* Internal reorg
|
|
* In particular, hide implementation details in Union.Internal
|
|
* Rewrite interpreters in terms of `extract` instead of `decomp`
|
|
* Add `runNat` convenience function
|
|
|
|
## 0.2.3.0 (June 25, 2016)
|
|
|
|
* Add GHC 8 support
|
|
|
|
## 0.2.2.2 (Sep. 14, 2015)
|
|
|
|
* Use local `data Nat` for `Data.Open.Union`
|
|
* Using GHC.TypeLits lead to overlapping instances
|
|
|
|
## 0.2.2.1 (Sep. 14, 2015)
|
|
|
|
* Document ALL THE THINGS
|
|
|
|
## 0.2.2.0 (Sep. 13, 2015)
|
|
|
|
* Add bench suite
|
|
|
|
## 0.2.1.0 (Sep. 13, 2015)
|
|
|
|
* Add test suite
|
|
|
|
## 0.2.0.2 (Sep. 12, 2015)
|
|
|
|
* Clean up language extensions per file
|
|
* Add Teletype DSL to the README
|
|
|
|
## 0.2.0.1 (Sep. 12, 2015)
|
|
|
|
* Add Teletype DSL example
|
|
* Expose `send` in public interface
|
|
|
|
## 0.2.0.0 (Sep. 12, 2015)
|
|
|
|
* Implement NonDetEff
|
|
* Separate Cut/Coroutine out from Internals
|
|
* Partial implementation: won't compile yet
|
|
* Extract remaining examples from Internal comments
|
|
|
|
## 0.1.1.0 (Sep. 12, 2015)
|
|
|
|
* Warnings clean up
|
|
* Examples separated from primary implementation
|
|
* Initial project documentation added
|
|
|
|
## 0.1.0.0 (Sep. 12, 2015)
|
|
|
|
* Initial release
|
|
|
|
[Unreleased]: https://github.com/IxpertaSolutions/freer/compare/0.3.0.0...HEAD
|
|
[0.3.0.0]: https://github.com/IxpertaSolutions/freer/compare/0.2.4.1...0.3.0.0
|
|
[0.2.4.1]: https://github.com/IxpertaSolutions/freer/compare/0.2.4.0...0.2.4.1
|