12 Commits

Author	SHA1	Message	Date
Yamada Ryo	a64b168ace	[fix] naming conventions in Parallel interpreters. ... [fix] Reimplement `runParallelIO` manually without async dependencies.	2024-10-27 13:49:31 +09:00
Yamada Ryo	53b5a5b1fb	[WIP] composable streaming pipe using higher-order parallel effects and GADTs.	2024-10-26 23:06:12 +09:00
Yamada Ryo	5fa7ac28a4	[WIP] composable streaming pipe using first-order async effects (though this idea might not be good...)	2024-10-22 11:12:52 +09:00
Yamada Ryo	7e837afcc3	Rename the module from Control.Effect.Interpreter.Heftia.* to Control.Monad.Hefty.*.	2024-10-10 08:29:13 +09:00
Yamada Ryo	ba1a415ee6	[remove] support for higher-order effects that are not HFunctor.	2024-10-09 23:13:03 +09:00
Yamada Ryo	f07f850856	[add] top-level documentation.	2024-10-09 22:46:25 +09:00
Yamada Ryo	4c10891814	[fix] the mistake in the test case description.	2024-10-03 16:27:22 +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	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	1bb6776f6c	[add] Fully functional TVar&MVar-based pipe effect handler and its tests.	2024-08-15 17:58:07 +09:00
Yamada Ryo	7d5fd433ff	[add] handlers for the Reader effect.	2023-09-01 21:59:56 +09:00