polysemy-research/polysemy
1
1
Fork 0
mirror of https://github.com/polysemy-research/polysemy.git synced 2024-12-03 13:05:09 +03:00
Code Issues Projects Releases Wiki Activity
251 Commits 6 Branches 12 Tags 2 MiB
0f41b3fddf
Commit Graph

251 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Sandy Maguire
0f41b3fddf Test for #47 2019-06-05 03:44:31 -04:00
Sandy Maguire
c937132caa Release polysemy 0.3.0.0 2019-06-01 23:43:41 -04:00
Sandy Maguire
cd074a4bd4
Move Random to polysemy-zoo (#78) 
* Move Random to zoo

* Changelog
 2019-06-01 18:42:12 -04:00
Sandy Maguire
e41b73bb55 Unnecessary import 2019-06-01 16:30:33 -04:00
TheMatten
974b8f11de Update smart constructors generation with tests and support for operators (#77) 2019-06-01 14:46:14 -04:00
Sandy Maguire
4350b675b8 Stupid typo 2019-05-31 00:13:45 -04:00
Sandy Maguire
601cbe8630 Release polysemy 0.2.2.0 2019-05-31 00:10:52 -04:00
Sandy Maguire
63b1f4257f
GetInspectorT (#71) 
* Evacuation wip

* Two other uses of weave

* Evacuator -> Inspector

* Inspector test
 2019-05-31 00:06:46 -04:00
Sandy Maguire
7d256e2b8f WORLDS BEST LOGO (#72) 2019-05-30 03:11:35 -04:00
Sandy Maguire
45322a1ee5 Logo 2019-05-30 02:53:40 -04:00
Sandy Maguire
37e48dfe16 Update changelog 2019-05-29 14:24:44 -04:00
TheMatten
b41e650f00 Rewrite 'Polysemy.Internal.TH.Effect' in terms of 'th-abstraction' (#67) 2019-05-29 14:15:46 -04:00
Sandy Maguire
8dfafb9b75 Release plugin version 0.2.0.1 2019-05-28 15:52:53 -04:00
Sandy Maguire
7cc2f8c567 Fix #68 2019-05-28 15:48:03 -04:00
Sandy Maguire
b6f16e762b Add runErrorAsAnother 2019-05-27 01:39:14 -04:00
Sandy Maguire
9a4d878d1f Add since pragmas for the new instances 2019-05-27 01:39:05 -04:00
Sandy Maguire
ad42c75fcf Release polysemy 0.2.1.0 2019-05-27 01:16:14 -04:00
Sandy Maguire
aefb1deef0 Add plugin badge to the README 2019-05-23 19:24:57 -04:00
Sandy Maguire
09ca7b9233 Release polysemy-plugin-0.2.0.0 2019-05-23 17:06:24 -04:00
Sandy Maguire
feacd2a001
Fix the plugin (#62) 2019-05-23 17:05:32 -04:00
Georgi Lyubenov
882cd80abf Fix typo: uunderneath -> underneath (#60) 2019-05-23 12:50:38 -04:00
Jack Henahan
049f74aa99 Remove erroneous Prelude import (#59) 2019-05-23 12:50:15 -04:00
Sandy Maguire
f2de66ac52 Release version 0.2.0.0 2019-05-23 03:53:07 -04:00
Sandy Maguire
a20994abab
Fix broken higher order effects (#58) 
* Fix a serious bug in interpretH and friends

* Spec to prove reader works now
 2019-05-23 03:49:26 -04:00
Sandy Maguire
f84dc25775 Add warning to .@, and lower its precedence. 
Fixes #42
 2019-05-22 12:58:53 -04:00
Sandy Maguire
ff222d826a
Automatically inline recursive calls in the plugin (#52) 
* Inline recursive calls + bonus passes for inlining

* Broken inspection test

* Bug in inspection testing

* Deprecate inlineRecursiveCalls

* Move inlineRecursiveCalls into the deprecated section
 2019-05-20 02:15:18 -04:00
Sandy Maguire
71001dc049 Split out fundep part of plugin 2019-05-19 23:02:08 -04:00
Christopher Sasarak
c97aa118c1 Mention polysemy-plugin in ambiguous effect error message. (#49) 2019-05-18 23:49:32 -04:00
Sandy Maguire
76d5f1953e
Release 0.1.2.1 (#51) 2019-05-18 11:42:14 -04:00
Sandy Maguire
17f127319d
Merge pull request #50 from isovector/fix-ci 
Fix CI
 2019-05-18 08:53:45 -04:00
Sandy Maguire
4fee31ab68 Fix CI 2019-05-18 08:40:32 -04:00
Sandy Maguire
b5ea9ae0fd guard todos on GHC 8.0.10 2019-05-16 16:16:08 -04:00
Sandy Maguire
2cfd3692f2 Let plugin know when to improve performance 2019-05-16 15:26:18 -04:00
Sandy Maguire
039c4d50c8
Merge pull request #43 from csasarak/plugin-doc 
polysemy-plugin doc
 2019-05-13 23:57:54 -03:00
Chris Sasarak
e76fee6213 Modify the 'Resource effect' example to work without polysemy-plugin. 2019-05-13 21:21:32 -04:00
Chris Sasarak
f6760b4968 Document activation and installation of polysemy-plugin. 
Addresses Issue #27
 2019-05-13 21:21:32 -04:00
Sandy Maguire
17f33bdc93
Merge pull request #38 from jkachmar/jkachmar/workaround-qc 
Support versions of GHC without QuantifiedConstraints
 2019-05-05 14:29:28 -03:00
Sandy Maguire
70aaa6117e
Merge pull request #37 from googleson78/snat-instead-of-typeable 
Replace Typeable with SNat equality
 2019-05-05 13:30:38 -03:00
Joe Kachmar
76ed1fcc36 Swaps FirstOrder type params 
Since it should be 'forall m', having the 'm' come first seems more
natural
 2019-05-05 11:12:58 -04:00
Joe Kachmar
dc51a52ce1 Removes all usage of QuantifiedConstraints 2019-05-05 11:06:39 -04:00
Joe Kachmar
e53cf29e36 Support GHC versions without QuantifiedConstraints 2019-05-05 10:59:34 -04:00
Georgi Lyubenov
35132bd70e Remove redundant bracket 2019-05-05 17:24:42 +03:00
Georgi Lyubenov
849ad0740a Remove unnecessary type binding 
It was used before with eqT.
 2019-05-05 16:27:17 +03:00
Georgi Lyubenov
b39b35a7cb Replace Typeable with SNat equality 2019-05-05 16:15:50 +03:00
Sandy Maguire
f1d399f9ca
Merge pull request #35 from googleson78/fix-sematic-typo 
Fix Sematic -> Semantic typo
 2019-05-02 21:20:45 -04:00
Georgi Lyubenov
9536714449 Fix Sematic -> Semantic typo 2019-05-02 20:59:30 +03:00
Sandy Maguire
afaad005e3 Merge branch 'master' of github.com:isovector/too-fast-too-free 2019-05-01 15:14:13 -04:00
Sandy Maguire
c3e13cadc7 Let plugin deal with incorrect polymorphism 2019-05-01 15:13:51 -04:00
Sandy Maguire
f982137c2f
Merge pull request #12 from jhenahan/patch-1 
Extend examples, make them easy to copy and paste
 2019-05-01 13:39:21 -04:00
Jack Henahan
6b8e6ec208
Unnecessary import 2019-04-30 15:23:02 -04:00