Yamada Ryo
|
d3f9adce94
|
[add] documentation for handlers.
|
2023-09-17 20:07:55 +09:00 |
|
Yamada Ryo
|
62baa07da7
|
Specify version bounds.
|
2023-09-17 19:29:47 +09:00 |
|
Yamada Ryo
|
68a887876d
|
[fix] Modify the example to use subsume.
|
2023-09-17 19:21:28 +09:00 |
|
Yamada Ryo
|
6727a50369
|
[remove] unfinished examples.
|
2023-09-17 15:51:47 +09:00 |
|
Yamada Ryo
|
7bbb97dc46
|
[fix] Adapted to changes in the default open union.
|
2023-09-17 15:46:51 +09:00 |
|
Yamada Ryo
|
a7efe85206
|
[fix] Clarify NOTICE.
|
2023-09-17 15:34:05 +09:00 |
|
Yamada Ryo
|
7f2f1984f8
|
[add] support for fast open unions using the 'extensible' package and made it the default open unions.
|
2023-09-17 13:34:41 +09:00 |
|
Yamada Ryo
|
7504aaedfd
|
[fix] Adapt to changes in the Provider effect.
|
2023-09-16 13:40:21 +09:00 |
|
Yamada Ryo
|
ef2e36d1ae
|
[add] description for tagged effects.
|
2023-09-16 13:39:01 +09:00 |
|
Yamada Ryo
|
11e443ae8a
|
[add] an example of delimited continuation.
|
2023-09-16 11:48:47 +09:00 |
|
Yamada Ryo
|
42c3277a40
|
[add] an example of higher-order effects.
|
2023-09-15 22:34:30 +09:00 |
|
Yamada Ryo
|
06b0c57737
|
[WIP] Fix unpredicatable behavior.
|
2023-09-14 17:44:56 +09:00 |
|
Yamada Ryo
|
087833bb48
|
[add] an example of first-order effects.
|
2023-09-14 15:06:44 +09:00 |
|
Yamada Ryo
|
d1ce1cf474
|
rewrite using the new operator for SendIns.
|
2023-09-14 12:31:54 +09:00 |
|
Yamada Ryo
|
b4ac8e6876
|
Change the symbols of the operators for inclusion relationships in type-level effect lists.
|
2023-09-14 11:58:02 +09:00 |
|
Yamada Ryo
|
2acc8a0ff8
|
[fix] Replaced the Embed.
|
2023-09-13 22:55:52 +09:00 |
|
Yamada Ryo
|
36fee2e0eb
|
[add] an example of delimited continuation.
|
2023-09-13 20:23:03 +09:00 |
|
Yamada Ryo
|
bf92c00f4a
|
[add] another elaboration example to the logging example.
|
2023-09-12 22:43:38 +09:00 |
|
Yamada Ryo
|
900fecbf30
|
[fix] Modify the Logging example slightly.
|
2023-09-08 22:14:54 +09:00 |
|
Yamada Ryo
|
bcf506ef0a
|
Deprecate Final-encoded Freer and Heftia, which can easily cause infinite loops.
[add] Church-encoded Freer and Heftia.
|
2023-09-07 21:51:06 +09:00 |
|
Yamada Ryo
|
b673b47a7c
|
[add] interpreters for the Embed effect.
|
2023-09-07 12:50:33 +09:00 |
|
Yamada Ryo
|
e66cef8f22
|
[add] Allow delegation to a lower monad of Freer transformers for first-order effects.
|
2023-09-07 12:16:36 +09:00 |
|
Yamada Ryo
|
c81104d313
|
[fix] a bug that caused Freer and Heftia's fmap to infinity loop.
|
2023-09-07 10:39:41 +09:00 |
|
Yamada Ryo
|
ae7a49012a
|
[fix] bugs that caused Freer and Heftia's pure to infinity loop and in type-level member judgment of the sum types.
[add] some example codes.
|
2023-09-06 18:08:06 +09:00 |
|
Yamada Ryo
|
4abedf3e97
|
[add] an elaborator for the Provider effect.
|
2023-09-05 17:46:17 +09:00 |
|
Yamada Ryo
|
70d1a54830
|
[add] interpreters and elaborators for the Writer effect.
|
2023-09-05 17:21:41 +09:00 |
|
Yamada Ryo
|
7e8cc786a2
|
[fix] Change the interface of the interpreting function of the continuation-based family to make it more convinient to use.
|
2023-09-05 16:09:56 +09:00 |
|
Yamada Ryo
|
b8a1ae2007
|
[fix] Change to a method based on explicit elaboration, where first-order effects are separated into Freer and higher-order effects into Heftia.
|
2023-09-05 15:32:34 +09:00 |
|
Yamada Ryo
|
9e22c667e4
|
[fix] Change the order of type arguments for heftia transformers.
[fix] Unify signature sum types with those of the datacomp package.
|
2023-09-04 11:44:27 +09:00 |
|
Yamada Ryo
|
e7988fb3a4
|
[WIP] Migrating to transformer-based Heftia because I found that interpreters of State are not well written as it is now.
|
2023-09-03 21:25:18 +09:00 |
|
Yamada Ryo
|
d038cb8e81
|
[fix] Simplify code with products from the new TH mechanism.
|
2023-09-02 21:45:02 +09:00 |
|
Yamada Ryo
|
e03b7a9450
|
Add a notice of MPL.
|
2023-09-01 22:34:38 +09:00 |
|
Yamada Ryo
|
7d5fd433ff
|
[add] handlers for the Reader effect.
|
2023-09-01 21:59:56 +09:00 |
|