56 Commits

Author	SHA1	Message	Date
Yamada Ryo	7d9444d224	[add] benchmarks for other library cases.	2024-10-03 17:15:36 +09:00
Yamada Ryo	57293c84bb	[add] test for coroutine, NonDet, and writer.	2024-10-03 16:21:11 +09:00
Yamada Ryo	13942d4433	[add] test for semantics.	2024-10-03 15:59:28 +09:00
Yamada Ryo	ee08d6342b	[add] benchmarks.	2024-10-03 12:42:59 +09:00
Yamada Ryo	1a10842e34	[fix] for data-effects v0.2.	2024-10-03 09:40:50 +09:00
Yamada Ryo	24fdd5e39a	[WIP] standard effects interpreters.	2024-10-03 06:33:23 +09:00
Yamada Ryo	6fa81cdf70	[add] open unions.	2024-09-29 14:05:23 +09:00
Yamada Ryo	c3c344ad7a	[fix] #10: Allow text>=2.0 && <2.2.	2024-09-05 11:35:46 +09:00
Yamada Ryo	bfa8ed3786	Bump to 0.3.0.	2024-09-01 17:24:59 +09:00
Yamada Ryo	b889266998	[fix] Rename the module from Handler to Interpreter to align with terminology.	2024-09-01 17:19:44 +09:00
Yamada Ryo	4b6c58097f	Bump to data-effects-0.1.1. ... [remove] experimental stuffs related to pipes and shell.	2024-09-01 17:09:39 +09:00
Yamada Ryo	b36edea9b7	[fix] Simplify the logging example.	2024-09-01 05:14:07 +09:00
Yamada Ryo	489040f1f8	[add] a handler for the Timer effect.	2024-08-17 04:00:59 +09:00
Yamada Ryo	1bb6776f6c	[add] Fully functional TVar&MVar-based pipe effect handler and its tests.	2024-08-15 17:58:07 +09:00
Yamada Ryo	02cd13b934	[add] effectful pipes.	2024-08-12 00:22:40 +09:00
Yamada Ryo	4aa2ccea57	[add] package descriptions and depends version bounds.	2024-07-17 16:16:50 +09:00
Yamada Ryo	9979f83b8c	[add] lexi-lambda's semantics-zoo example.	2024-07-17 00:28:21 +09:00
Yamada Ryo	ee75fd852c	[fix] Implementation error in SendSigBy instance.	2024-07-16 18:45:41 +09:00
Yamada Ryo	85ea137263	[add] effect handlers for non-determinism.	2024-07-15 22:54:39 +09:00
Yamada Ryo	7f36926bec	[add] the 'Fail' effect handler.	2024-07-13 01:21:11 +09:00
Yamada Ryo	ff031972d5	[add] the 'Fresh' effects handler.	2024-07-12 20:56:18 +09:00
Yamada Ryo	63d6ccdf94	[add] the 'KVStore' effects handler.	2024-07-12 20:18:32 +09:00
Yamada Ryo	020447a2c9	Re-expose modules.	2024-07-09 00:43:23 +09:00
Yamada Ryo	d306f22d29	[add] the 'Input' effects handler.	2024-07-08 18:31:13 +09:00
Yamada Ryo	f64eab2b8e	[add] the 'Unlift' effects handler.	2024-07-08 17:30:16 +09:00
Yamada Ryo	30f313c54e	[add] Coroutine effects handler.	2024-07-08 17:17:04 +09:00
Yamada Ryo	db5c66626f	[fix] Corrected mistakes in the 'Writer' and 'State' interpreters.	2024-07-08 15:33:07 +09:00
Yamada Ryo	3270698650	Re-expose modules.	2024-07-07 17:20:16 +09:00
Yamada Ryo	2afe8c31fc	Fix build-depends.	2024-07-07 08:29:41 +09:00
Yamada Ryo	bcc5b335aa	Bump the version to 0.2.0.	2024-07-07 06:28:50 +09:00
Yamada Ryo	ab99356469	Rename 'KeyedEffects' from 'DepParams'.	2024-07-07 06:01:50 +09:00
Yamada Ryo	cf5f17072f	[fix] order of parameters in 'Send{Ins,Sig}By' & 'Inject{Ins,Sig}By' for readability.	2024-07-07 04:27:21 +09:00
Yamada Ryo	17e73f52e6	[WIP] Auto-resolve instance for MemberRec.	2024-07-05 23:21:52 +09:00
Yamada Ryo	69927a8a34	Migrate framework from 'classy-effects' to 'data-effects'.	2024-02-02 17:02:10 +09:00
Yamada Ryo	f169e893a8	[fix] the missing exposed-module.	2023-10-06 16:17:18 +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	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	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	6727a50369	[remove] unfinished examples.	2023-09-17 15:51:47 +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	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	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	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