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 |
|