58 Commits

Author	SHA1	Message	Date
Yamada Ryo	7e9c8a36e5	[fix] Remove unnecessary type application.	2024-07-06 23:03:26 +09:00
Yamada Ryo	7feb466a7d	[fix] forgot to use logWithTime.	2024-07-06 22:58:10 +09:00
Yamada Ryo	3f216210b6	[fix] a function signature in the 'logging' example.	2024-07-06 22:51:13 +09:00
Yamada Ryo	6bee3f52c4	[fix] continuation example.	2024-07-06 22:08:25 +09:00
Yamada Ryo	172f34e85c	[add] logging example.	2024-07-06 21:37:30 +09:00
Yamada Ryo	54657f6d65	[add] Auto-resolve instance for MemberRec.	2024-07-06 02:30:49 +09:00
Yamada Ryo	17e73f52e6	[WIP] Auto-resolve instance for MemberRec.	2024-07-05 23:21:52 +09:00
Yamada Ryo	63b469c07e	[fix] Generalize the constraint parameter of 'MonadFreer'.	2024-02-07 13:00:35 +09:00
Yamada Ryo	8cde232c7f	[add] final-encoded generic Freer carrier.	2024-02-06 23:15:41 +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	5502127199	[fix] Rewrote the operation functions for the Effectful types using the 'Decomp*' constraints approach.	2024-01-05 14:30:14 +09:00
Yamada Ryo	80be242c1f	[add] a continuation-based interpreter for State effect.	2023-11-05 21:08:34 +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	1a8098bb68	[fix] the order of type arguments to the appropriate one.	2023-10-04 09:55:54 +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	d6865e97c0	Merge branch 'master' into develop	2023-09-29 14:11:27 +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	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	68a887876d	[fix] Modify the example to use subsume.	2023-09-17 19:21:28 +09:00
Yamada Ryo	6727a50369	[remove] unfinished examples.	2023-09-17 15:51:47 +09:00
Yamada Ryo	7bbb97dc46	[fix] Adapted to changes in the default open union.	2023-09-17 15:46:51 +09:00
Yamada Ryo	a7efe85206	[fix] Clarify NOTICE.	2023-09-17 15:34:05 +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	7504aaedfd	[fix] Adapt to changes in the Provider effect.	2023-09-16 13:40:21 +09:00
Yamada Ryo	ef2e36d1ae	[add] description for tagged effects.	2023-09-16 13:39:01 +09:00
Yamada Ryo	11e443ae8a	[add] an example of delimited continuation.	2023-09-16 11:48:47 +09:00
Yamada Ryo	42c3277a40	[add] an example of higher-order effects.	2023-09-15 22:34:30 +09:00
Yamada Ryo	06b0c57737	[WIP] Fix unpredicatable behavior.	2023-09-14 17:44:56 +09:00
Yamada Ryo	087833bb48	[add] an example of first-order effects.	2023-09-14 15:06:44 +09:00
Yamada Ryo	d1ce1cf474	rewrite using the new operator for SendIns.	2023-09-14 12:31:54 +09:00
Yamada Ryo	b4ac8e6876	Change the symbols of the operators for inclusion relationships in type-level effect lists.	2023-09-14 11:58:02 +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	900fecbf30	[fix] Modify the Logging example slightly.	2023-09-08 22:14:54 +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	b673b47a7c	[add] interpreters for the Embed effect.	2023-09-07 12:50:33 +09:00
Yamada Ryo	e66cef8f22	[add] Allow delegation to a lower monad of Freer transformers for first-order effects.	2023-09-07 12:16:36 +09:00
Yamada Ryo	c81104d313	[fix] a bug that caused Freer and Heftia's fmap to infinity loop.	2023-09-07 10:39:41 +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