Commit Graph

13 Commits

Author SHA1 Message Date
Yamada Ryo
17e73f52e6
[WIP] Auto-resolve instance for MemberRec. 2024-07-05 23:21:52 +09:00
Yamada Ryo
1e0452c99e
[WIP] Enrich functions 2024-02-04 11:02:29 +09:00
Yamada Ryo
69927a8a34
Migrate framework from 'classy-effects' to 'data-effects'. 2024-02-02 17:02:10 +09:00
Yamada Ryo
ee6528027a
[add] 'ImplicitProvider' effect handler. 2023-10-06 15:09:51 +09:00
Yamada Ryo
325b266047
[refactor] Modified to use TH as classy-effects-th now supports dependent effect parameters. 2023-10-03 13:27:46 +09:00
Yamada Ryo
fdf87b80b5
[add] support for dependent effect parameters in classy-effects. 2023-10-02 23:29:51 +09:00
Yamada Ryo
cc4e3ce40c
[add] an elaborator for the 'Resource' effect. 2023-09-28 16:23:21 +09:00
Yamada Ryo
253dd576d7
[add] MonadIO/Fail/Fix instances to the wrapper data type. 2023-09-23 14:01:20 +09:00
Yamada Ryo
690e022e36
[fix] a mistake in cabal.project. 2023-09-19 16:57:15 +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
7d5fd433ff
[add] handlers for the Reader effect. 2023-09-01 21:59:56 +09:00
Yamada Ryo
8cdd6dc4cc
[fix] Added a type 'HeftiaUnion' that wraps the composition of Heftia and union and is an instance of Send. Changed functions of the interpret family to interface wrapping HeftiaUnion. 2023-09-01 16:19:46 +09:00
Yamada Ryo
34c28fae1e
Modify directory structure for turning into mono-repo. 2023-09-01 14:51:32 +09:00