polysemy-research/polysemy
1
1
Fork 0
mirror of https://github.com/polysemy-research/polysemy.git synced 2024-08-15 21:40:48 +03:00
Code Issues Projects Releases Wiki Activity
549 Commits 6 Branches 12 Tags 2 MiB
master
Commit Graph

101 Commits

Author SHA1 Message Date
Andreas Ländle
9c15ed8ce3 Support Cabal 3.12. 2024-07-07 23:56:43 +02:00
Torsten Schmits
e41ef55ab3 Release 1.9.2.0 2024-06-03 20:58:20 +02:00
Torsten Schmits
f0fed531ac bump th-abstraction 2024-03-20 21:07:05 +01:00
Torsten Schmits
78925a6405 Release 1.9.1.3 2023-10-08 13:57:42 +02:00
Torsten Schmits
ade2c85a6c release 1.9.1.2 and 0.4.5.1 2023-09-16 17:16:12 +02:00
Vekhir
d8e8e7e0c8
Allow th-abstraction 0.6 (#481) 2023-09-16 11:58:07 +00:00
Torsten Schmits
6936b47e4c release 1.9.1.1 2023-09-01 01:24:04 +02:00
Torsten Schmits
9a9ddfa70f relax doctest bounds 2023-09-01 01:23:33 +02:00
Torsten Schmits
5e55cd5452 release 1.9.1.0 and 0.4.5.0 2023-04-09 14:14:42 +02:00
Torsten Schmits
9ec6e337d0 support GHC 9.6 2023-04-09 12:03:50 +00:00
Felix Yan
87d7439561 Allow inspection-testing 0.5 
Builds fine and all tests pass.
 2022-12-30 00:01:24 +01:00
Torsten Schmits
16999eece5 Release polysemy 1.9.0.0 2022-12-28 17:45:17 +01:00
KingoftheHomeless
1ff567c1aa Fix scoped within scoped incoherency. Add runScopedNew (#466) 2022-12-28 16:21:33 +01:00
Torsten Schmits
f9b19c022b support GHC 9.4 in polysemy-plugin 
Thanks @teto
 2022-12-27 16:04:28 +01:00
Sandy Maguire
2e2ad315e9 Release v1.8.0.0 2022-12-22 09:25:20 -08:00
Torsten Schmits
1b6ae7b18b
Scoped without resource param (#462) 2022-10-16 23:12:00 +02:00
KingoftheHomeless
76af343a96
Extend Scoped (#459) 
* add variants of interpretScoped that allow additional local effects
* add call site parameter to Scoped
 2022-10-02 18:49:17 +02:00
Felix Yan
6e1e5e9c5e Allow inspection-testing 0.5 
Builds fine and all tests pass.
 2022-07-25 13:10:44 +02:00
Felix Yan
dd5a3307e2
Allow doctest 0.19 
Builds fine and all tests pass.
 2022-03-08 04:28:38 +08:00
Torsten Schmits
05889a437c add Scoped 2022-01-28 17:30:54 +01:00
Sandy Maguire
6ece463ea8
Remove lowering functions and forklift (#438) 
* Remove forklift

* Remove lowerResource

* Changelog

* changelog

* Remove (@)

* Update documentation

* Remove the ancient benchmarks

* Remove fixpoint lowerings
 2021-12-01 09:59:18 -08:00
Sandy Maguire
3f965b7947
Remove View (#439) 2021-11-29 09:30:38 -08:00
Sandy Maguire
5e638ebfb0
Remove Polysemy.Law (#437) 
* Remove Polysemy.Law

* Beter changelog
 2021-11-28 13:07:48 -08:00
Sandy Maguire
4ab89318c4 Release polysemy-1.7.1.0 2021-11-23 09:41:58 -08:00
Sandy Maguire
039930a4b3 Release polysemy-v1.7.0.0 and polysemy-plugin-v0.4.2.0 2021-11-16 15:17:37 -08:00
Sandy Maguire
55150644c4
Remove custom type errors from Member (#429) 
* Remove Member type errors

* Remove unused custom type errors

* Deprecate MemberWithError

* Remove readme notes about type errors

* Remove MemberWithError
 2021-11-16 15:01:45 -08:00
Torsten Schmits
2ddc66bc78 release 1.6.0.0 2021-07-12 13:33:42 +02:00
Torsten Schmits
7a2ddc22f4 remove type-errors-pretty to speed up release for 901 2021-07-10 22:51:09 +02:00
Torsten Schmits
6e2630fafd Add insertAt 
A combinator that allows adding effects at a specified index into the
effect stack
 2021-07-08 17:43:52 +02:00
Torsten Schmits
2d0f936926 update gh org in hackage description 2021-06-25 19:26:27 +02:00
Felix Yan
dbcf851eb6
Allow doctest 0.17 and 0.18 
Builds fine and all tests pass.
 2021-03-31 21:10:43 +08:00
Torsten Schmits
04642d090b release 1.5.0.0/0.3.0.0 2021-03-30 19:51:37 +02:00
Torsten Schmits
b8b912afae add basic nix build 2021-03-14 10:44:57 +01:00
KingoftheHomeless
478c86e080
Simple variants of runT and bindT (#393) 
* Simple variants of runT and bindT

* Fix accidental removal of INLINE on reinterpretH

* Rename bindTH and runTH to -Simple instead. Improve docs on these.

* Update changelog and add @since TODOs
 2020-11-18 20:46:14 +01:00
TheMatten
48be9cae1f
Release 1.4.0.0 (#387) 2020-10-31 22:47:25 +01:00
TheMatten
146ea88d11 Add Paths_* to generated-other-modules 2020-10-23 11:00:23 +02:00
TheMatten
5f14cd051d Remove optimization phases, update package.yaml-s 2020-10-23 09:56:15 +02:00
Felix Yan
125cc5ec26
Allow th-abstraction 0.4 
Builds fine and all tests pass here.
 2020-10-17 06:53:17 +08:00
Torsten Schmits
89a664d8fe update github org 2020-09-08 14:18:38 +02:00
TheMatten
ad07c63b9f Relax fcf bounds 2020-03-10 08:35:34 +01:00
KingoftheHomeless
3c731186cb
1.3.0.0 (#318) 
* v1.3.0.0

* Update version and version bounds for polysemy and polysemy-plugin
 2020-02-13 21:21:32 +01:00
KingoftheHomeless
a4868bddd4
Membership proof rewrite, membership testing, Bundle effect (#282) 
* Union rewrite

* Exports, tests, and renamed KnownEffectRow

* Got rid of artifacts accidently introduced

* More documentation. tryMembership seperate from KnownRow

* 'expose' combinator

* Applied review suggestions, add Membership module

* Fixed a replace-all goof

* Scrap expose/Using in favor of interceptUsing/H

* Fixed Haddock failure
 2019-12-08 13:52:37 +01:00
Sandy Maguire
5aa84c8757
Disable loopbreaker (#274) 
* Disable loopbreaker

* "Fix" Fusion

* whoops
 2019-11-01 22:11:57 +01:00
Sandy Maguire
4cce80c043
Law Machinery (#269) 
This PR adds machinery for writing easy laws that should hold for an effect. It gives an example of what they'd look like for State s.
 2019-11-01 19:57:53 +01:00
Sandy Maguire
25874923b9
View effect (#271) 
* Add Tagged Effect

* Add View effect
 2019-11-01 19:30:30 +01:00
KingoftheHomeless
62cddb6820 Add Tagged Effect (#223) 2019-11-01 19:23:01 +01:00
Sandy Maguire
10ecd396cd
Add fromException and fromExceptionVia (#270) 2019-11-01 17:54:54 +01:00
Sandy Maguire
d7d3a938f4 Release polysemy-1.2.3.0 2019-10-29 13:22:26 +01:00
Sandy Maguire
d46a5ddc5e Patch package.yaml from #267 2019-10-28 17:25:30 +01:00
Samuel Evans-Powell
95b4b5508c Feature/cabal doctest and ghc 8.8.1 (#267) 
* Use cabal-doctest

- Haskell build tools run in slightly different environments (meaning different
  package databases are available).
- The nixpkgs build for polysemy-plugin is failing due to a missing package
  database, which causes the doctest to fail (more information here:
  https://github.com/NixOS/nixpkgs/issues/71164).
- By using cabal-doctest we can expose the Haskell packages required to the
  doctests no matter the build tool we're using.

* Use cabal-doctest in polysemy, build on GHC 8.8.1

- Use @googleson78 's changes to build polysemy on GHC 8.8.1, with slight
  modifications. The source distribution is now found in "dist-newstyle/sdist",
  so we've updated the command to point at that folder. Additionally, cabal
  v2-install doesn't support installing .tar.gz files in the same way v1-install
  did, so updated the command to use "cabal v1-install".
- Modified polysemy to use "cabal-doctest" and so overcome issues with the
  doctest tests (see issue #258, PR #265).
 2019-10-28 17:13:44 +01:00