309 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Yamada Ryo	59e8b21ecc	[fix] Refurbish based on the union for higher-order effects.	2023-12-27 18:32:16 +09:00
Yamada Ryo	904c551d27	[add] type class for searching recursive union membership.	2023-12-26 21:32:56 +09:00
Yamada Ryo	f94abb5e76	[WIP] Update to new architecture and interface (2)	2023-12-24 17:14:25 +09:00
Yamada Ryo	b484537732	[WIP] Update to new architecture and interface	2023-12-20 16:52:51 +09:00
Yamada Ryo	80be242c1f	[add] a continuation-based interpreter for State effect.	2023-11-05 21:08:34 +09:00
Yamada Ryo	d169338732	[fix] mistakes in a documentation.	2023-10-29 19:14:03 +09:00
Yamada Ryo	57ff5ac3dd	update README.md.	2023-10-29 19:07:20 +09:00
Yamada Ryo	1cfcbe3bf3	[add] type synonyms for non-transformer versions.	2023-10-29 19:00:48 +09:00
Yamada Ryo	b65cff2731	[add] tree-structured encoded Heftia transformer.	2023-10-29 18:32:48 +09:00
Yamada Ryo	cddebf1f77	[fix] Found out the previous approach for the resourceToIO elaborator doesn't work. Gave up on it and switched to a straightforward elaboration only for MonadUnliftIO without the Freer layer.	2023-10-06 22:47:35 +09:00
Yamada Ryo	f169e893a8	[fix] the missing exposed-module.	2023-10-06 16:17:18 +09:00
Yamada Ryo	ee6528027a	[add] 'ImplicitProvider' effect handler.	2023-10-06 15:09:51 +09:00
Yamada Ryo	3aadd4f62a	[fix] Removed unnecessary lower-level search in the dependent parameter lookup on the higher-order side.	2023-10-04 10:12:35 +09:00
Yamada Ryo	1a8098bb68	[fix] the order of type arguments to the appropriate one.	2023-10-04 09:55:54 +09:00
Yamada Ryo	99f312eba6	[add] the missing <<|- operator.	2023-10-03 13:29:08 +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	d89d6968bc	Refine import.	2023-10-02 23:42:49 +09:00
Yamada Ryo	fdf87b80b5	[add] support for dependent effect parameters in classy-effects.	2023-10-02 23:29:51 +09:00
Yamada Ryo	d6865e97c0	Merge branch 'master' into develop	2023-09-29 14:11:27 +09:00
Yamada Ryo	2305781927	Add the missing MIT License text.	2023-09-29 13:25:17 +09:00
Yamada Ryo	4bc5e27157	[fix] a bug in the resourceToIO elaborator where the continuation after exiting the bracket remains masked.	2023-09-28 17:54:41 +09:00
Yamada Ryo	cc4e3ce40c	[add] an elaborator for the 'Resource' effect.	2023-09-28 16:23:21 +09:00
Yamada Ryo	31ef901700	Merge branch 'master' into develop	2023-09-27 16:45:47 +09:00
Yamada Ryo	3800b2fd6e	Add badges in README.md	2023-09-27 16:44:34 +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	c4bbb2662f	[add] badge to README.md	2023-09-18 16:07:42 +09:00
Yamada Ryo	fdf0e0463f	[add] credits.	2023-09-18 15:32:37 +09:00
Yamada Ryo	165a5246ff	Initial public release.	2023-09-18 14:37:06 +09:00
Yamada Ryo	df66815b88	Revise documentation.	2023-09-18 13:18:12 +09:00
Yamada Ryo	f62381354f	Minor revisions to README.md.	2023-09-18 11:38:40 +09:00
Yamada Ryo	f69fb955dd	Minor revisions to README.md.	2023-09-17 22:20:01 +09:00
Yamada Ryo	564ab4b6a3	[add] an example of Writer elaboration.	2023-09-17 22:12:06 +09:00
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	e5263b1742	[add] subsuming functions.	2023-09-17 19:14:51 +09:00
Yamada Ryo	02d5a21ade	[fix] Minor revisions to documentation.	2023-09-17 18:58:50 +09:00
Yamada Ryo	dc621de594	[add] missing copyrights.	2023-09-17 18:33:36 +09:00
Yamada Ryo	724ef0832c	[remove] the carriers encoded with Final encoding.	2023-09-17 18:26:34 +09:00
Yamada Ryo	7f5d8c63d1	Move functions to appropriate modules.	2023-09-17 18:17:53 +09:00
Yamada Ryo	55437b748d	Remove an unnecessary default method signature.	2023-09-17 18:13:35 +09:00
Yamada Ryo	30cd470694	[add] module documentation for open unions.	2023-09-17 18:12:35 +09:00
Yamada Ryo	9f76f0b0e5	[add] documentation for carriers.	2023-09-17 18:00:36 +09:00
Yamada Ryo	6876ed0780	Decided not to remove 'hoistInterpose' after all.	2023-09-17 17:47:28 +09:00
Yamada Ryo	811c18e773	[add] instances for Church-encoded carriers and improve performance.	2023-09-17 17:31:25 +09:00
Yamada Ryo	be8f0b2b8f	[fix] Minor revisions to documentation.	2023-09-17 17:19:21 +09:00
Yamada Ryo	6cd7127f85	[add] documentation for commonly used entities.	2023-09-17 17:14:04 +09:00
Yamada Ryo	2c0df45766	[fix] Minor revision.	2023-09-17 15:55:08 +09:00
Yamada Ryo	6727a50369	[remove] unfinished examples.	2023-09-17 15:51:47 +09:00