156 Commits

Author	SHA1	Message	Date
Yamada Ryo	9087c47fdf	[add] composable streaming pipe.	2024-10-27 12:10:08 +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	b07a1a54b6	[add] the Reader benchmark.	2024-10-18 14:36:38 +09:00
Yamada Ryo	ddde1044d4	[fix] Generalize runUnliftIO to use any monad that is an instance of MonadUnliftIO.	2024-10-17 15:51:37 +09:00
Yamada Ryo	88d0f91a67	[add] interpreters for co-log.	2024-10-16 16:38:06 +09:00
Yamada Ryo	644c0ec2a0	Move the definition of parallelism effects to data-effects.	2024-10-16 15:53:49 +09:00
Yamada Ryo	18d8fea50b	[fix] Changed to use the Parallel effect in the form of 'liftA2' instead of '<*>', as it might be slightly faster (?)	2024-10-16 15:08:26 +09:00
Yamada Ryo	efbc5477a7	[fix] Adjust ChangeLog.md.	2024-10-15 18:00:44 +09:00
Yamada Ryo	b423085e02	[add] execution result in the Stream example.	2024-10-15 17:54:51 +09:00
Yamada Ryo	307948895d	[add] Concurrent/Parallel and Streaming effects.	2024-10-15 17:50:46 +09:00
Yamada Ryo	3387e3a2e5	Merge branch 'hotfix/stack-build' into develop	2024-10-14 11:46:33 +09:00
Yamada Ryo	08e9396be8	[fix] Removed '-fplugin GHC.TypeLits.KnownNat.Solver' from the .cabal because it could not be built with Stack (#15).	2024-10-14 11:05:59 +09:00
Yamada Ryo	55376a6bfa	[add] a coroutine example in the UnliftIO example.	2024-10-12 01:58:19 +09:00
Yamada Ryo	e06aa3cbec	Reexport 'Data.Effect.*' from the interpreters module 'Control.Monad.Hefty.*'.	2024-10-12 01:05:42 +09:00
Yamada Ryo	8816f1c33e	[fix] outdated dependencies version bounds	2024-10-11 02:42:59 +09:00
Yamada Ryo	f58dd05be0	[add] UnliftIO example.	2024-10-11 00:41:50 +09:00
Yamada Ryo	a09ef9c9a7	[fix] Update package metadata.	2024-10-10 21:41:19 +09:00
Yamada Ryo	c718646cce	[add] ChangeLog.md for v0.4.	2024-10-10 19:29:22 +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	ab78b12101	[add] support for GHC 9.4.1.	2024-10-10 08:25:30 +09:00
Yamada Ryo	6ba7baf68d	[add] dependency version bounds.	2024-10-10 04:08:56 +09:00
Yamada Ryo	e5c7410081	Update README.md for v0.4.0.	2024-10-10 03:05:53 +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	06eb380d0b	[add] Sum notation of effect sets.	2024-10-04 07:35:26 +09:00
Yamada Ryo	46163053f8	[add] inj0(H), injN(H), sendN(H).	2024-10-04 06:31:12 +09:00
Yamada Ryo	7d9444d224	[add] benchmarks for other library cases.	2024-10-03 17:15:36 +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	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	3038caa017	[add] all examples.	2024-10-03 09:12:06 +09:00
Yamada Ryo	755f8b3d60	[fix] SIGSEGV bug in 'transform' and unsound type signature in 'decomp'. ... [add] SemanticsZoo and Continuation2 examples.	2024-10-03 08:46:16 +09:00
Yamada Ryo	ca236c13d8	[add] standard effects interpreters.	2024-10-03 07:57:12 +09:00
Yamada Ryo	d287666453	[WIP] Non-HFunctor support.	2024-10-03 05:51:39 +09:00
Yamada Ryo	6fa81cdf70	[add] open unions.	2024-09-29 14:05:23 +09:00
Yamada Ryo	1a2774adab	[fix] Generalize runStateIORef.	2024-09-09 18:57:52 +09:00
Yamada Ryo	03a43f09a6	[add] the Issue 12 Semantics Test.	2024-09-09 16:26:09 +09:00
Yamada Ryo	c3c344ad7a	[fix] #10: Allow text>=2.0 && <2.2.	2024-09-05 11:35:46 +09:00
Yamada Ryo	ce837c56b6	[fix] the continuation example.	2024-09-01 18:29:35 +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	1b39de88ed	[add] changelog.	2024-09-01 17:12:45 +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	24e7774930	[add] a handler for CyclicTimer.	2024-08-19 18:56:12 +09:00
Yamada Ryo	489040f1f8	[add] a handler for the Timer effect.	2024-08-17 04:00:59 +09:00
Yamada Ryo	ed27c806a7	[add] interpreters for the Except effect in exception handling at the 'IO' layer.	2024-08-17 02:43:31 +09:00