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

103 Commits

Author SHA1 Message Date
Andreas Ländle
9c15ed8ce3 Support Cabal 3.12. 2024-07-07 23:56:43 +02:00
Torsten Schmits
cb845c6bd0 Release polysemy-plugin 0.4.5.2 2023-12-29 14:27:12 +01:00
Daniel Firth
ab8c12e96b
polysemy-plugin: compatibility with ghc 9.8 (#483) 2023-10-13 19:20:30 +00:00
Torsten Schmits
ade2c85a6c release 1.9.1.2 and 0.4.5.1 2023-09-16 17:16:12 +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
KingoftheHomeless
1ff567c1aa Fix scoped within scoped incoherency. Add runScopedNew (#466) 2022-12-28 16:21:33 +01:00
Torsten Schmits
cd2f01c0aa Release polysemy-plugin-0.4.4.0 2022-12-27 16:12:35 +01:00
Torsten Schmits
f9b19c022b support GHC 9.4 in polysemy-plugin 
Thanks @teto
 2022-12-27 16:04:28 +01: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
Sophie Taylor
f2c36c40cc GHC 9.4 2022-10-02 04:01:33 +02:00
Torsten Schmits
0603baea85 Release polysemy-plugin-0.4.3.1 2022-07-11 23:39:53 +02:00
Torsten Schmits
5a34ecbcc2 fix non-exhaustive pattern match in Fundep 2022-07-11 23:28:29 +02:00
Sandy Maguire
8f469182f0 Release polysemy-plugin-0.4.3.0 2021-11-23 21:58:21 -08:00
Sophie Taylor
6a0125b9b7 Support GHC 9.2 2021-11-23 11:51:43 +01:00
Torsten Schmits
def5cc2204 changelog 2021-11-22 23:34:31 +01:00
Sandy Maguire
27190a4075 Fix plugin regression 2021-11-22 23:27:40 +01:00
Torsten Schmits
e9e791c4f3 add test case 2021-11-22 23:27:40 +01: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
Sandy Maguire
ae577cc640 Release polysemy-plugin v0.4.1.0 2021-10-22 18:55:01 -04:00
Sandy Maguire
97b200e43d Cleanup -Wall and add context to bogus type family error 2021-10-22 18:38:44 -04:00
Sandy Maguire
c0cf61ea1f
Plugin: Solve ambiguous types based on instances in scope (#424) 
* Properly track skolems for plugin unification

* Cleanup imports

* Add test

* Stuff can now reference different packages

* Tools for looking up instances

* Add extra evidence

* Solve AmbiguousSpec :)

* Check givens for extra evidence

* Use StateT to cache instance lookups

* Remove numClass from Stuff

* Documentation

* Fix AmbiguousSpec

* Don't need deriving strategies anymore

* GHC9 imports

* Polymorphic and MTPC tests
 2021-10-22 15:29:29 -07:00
Sandy Maguire
f30da0c178
Properly track skolems for plugin unification (#423) 
* Properly track skolems for plugin unification

* Update haddock

* Cleanup imports

* Guard the import of unify
 2021-10-20 16:16:48 -07:00
Torsten Schmits
2ddc66bc78 release 1.6.0.0 2021-07-12 13:33:42 +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
Torsten Schmits
09c65bdae9 add changelog entry for GHC 9 support 2021-05-03 16:56:41 +02:00
Torsten Schmits
95c534bb10
start migration to ghc9 (#410) 
* start migration to ghc9

* add ghc9 support for polysemy-plugin

* bump doctest version in package.yaml

* fix doctest message containing incorrect spaces

Co-authored-by: funketh <theodor.k.funke@gmail.com>
 2021-05-03 16:45:18 +02:00
Torsten Schmits
04642d090b release 1.5.0.0/0.3.0.0 2021-03-30 19:51:37 +02:00
Torsten Schmits
bfe14bd4c9 update polysemy-plugin.cabal 2021-03-27 16:04:06 +01:00
Georgi Lyubenov
ef154f996a
Update repo in package.yaml 
It's no longer hosted at isovectors account.
 2021-03-21 01:27:04 +02:00
TheMatten
dc16f081f4
Drop support for GHC 8.4.*, update and fix dependencies (#405) 
* Drop support for GHC 8.4.*, update and fix dependencies

* Remove 8.4.4 from CI

* Remove references to loopbreaker
 2021-03-20 22:46:57 +01:00
Torsten Schmits
b8b912afae add basic nix build 2021-03-14 10:44:57 +01:00
TheMatten
ade8826e1c Update polysemy-plugin.cabal 2020-11-01 17:15:40 +01:00
TheMatten
146c177de7
Release plugin 0.2.5.2 (#388) 2020-11-01 14:08:07 +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
galagora
62f5af5d03
polysemy-plugin v0.2.5.1 (#377) 2020-09-15 09:21:05 +02:00
Jeremy Schlatter
235813da00
Small code simplifications (#360) 
* Small code simplifications

These are all replacements of the form

    before: fmap f $ x
    after:  f <$> x

Minor change, but feels marginally easier to read to me.

Co-authored-by: TheMatten <matten@tuta.io>
 2020-07-29 17:20:11 +02:00
Andrew Miller
64f63c7739 Support newer ghc-tcplugins-extra in latest stackage LTS 2020-06-18 22:30:42 +10:00
Georgi Lyubenov
ab362369dc Fix wrong date in polysemy-plugin changelog 
Fixes #344
 2020-06-15 07:49:45 +03:00
Georgi Lyubenov
4eece51af6 ifdef the 810 parts so we still build on older ghcs 2020-04-28 21:20:12 +03:00
Georgi Lyubenov
e82cbbd4d6 Fix import issues 
* Ct (and friends) now comes from Constraints
* There was an ifdef'd part that uses a function "bool" which isn't
  imported when the ifdef triggers
 2020-04-28 20:16:42 +03: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
8aa10efa8a Release polysemy-plugin-0.2.4.0 2019-10-29 13:38:04 +01:00