45 Commits

Author	SHA1	Message	Date
Yamada Ryo	a341e05ecf	[fix] Move Const2 to data-effects.	2024-11-03 21:54:11 +09:00
Yamada Ryo	134d6bf155	[add] Subprocess effects.	2024-11-03 18:41:51 +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	644c0ec2a0	Move the definition of parallelism effects to data-effects.	2024-10-16 15:53:49 +09:00
Yamada Ryo	a09ef9c9a7	[fix] Update package metadata.	2024-10-10 21:41:19 +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	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	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	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	24e7774930	[add] a handler for CyclicTimer.	2024-08-19 18:56:12 +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
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	7872483be1	[fix] Remove 'data-effects' entry in cabal.project.	2024-07-17 16:52:09 +09:00
Yamada Ryo	2d534b3564	Remove the excessive requirement related to the CLA.	2024-07-17 15:16:48 +09:00
Yamada Ryo	58258ce94d	[fix] Change naming convention of higher-order 'interpret' function-families.	2024-07-17 15:01:42 +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	e2caa2ff56	Renew the 'Coroutine' effect handlers.	2024-07-13 16:07:12 +09:00
Yamada Ryo	63d6ccdf94	[add] the 'KVStore' effects handler.	2024-07-12 20:18:32 +09:00
Yamada Ryo	581af73c75	[add] the 'Output' effects handler.	2024-07-08 21:07:01 +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	e6d83f21aa	[fix] associativity for infix operators.	2024-07-07 04:50:34 +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	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