30 Commits

Author	SHA1	Message	Date
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	3038caa017	[add] all examples.	2024-10-03 09:12:06 +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	b36edea9b7	[fix] Simplify the logging example.	2024-09-01 05:14:07 +09:00
Yamada Ryo	f7875c734d	[fix] to work 'limitLogChunk' function correctly in the logging example.	2024-07-18 17:14:29 +09:00
Yamada Ryo	2d180c53d2	[fix] Change naming convention of effect handlers.	2024-07-15 23:22:10 +09:00
Yamada Ryo	c2d12f72b8	[fix] Use 'liftIO' instead of 'sendIns' in the examples.	2024-07-09 00:52:13 +09:00
Yamada Ryo	b298e9a4c2	[refactor] Formatting.	2024-07-08 20:03:47 +09:00
Yamada Ryo	848e5f1c8f	[refactor] Removed a few unnecessary symbols from the examples.	2024-07-07 05:56:22 +09:00
Yamada Ryo	e6d83f21aa	[fix] associativity for infix operators.	2024-07-07 04:50:34 +09:00
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	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	1a8098bb68	[fix] the order of type arguments to the appropriate one.	2023-10-04 09:55:54 +09:00
Yamada Ryo	68a887876d	[fix] Modify the example to use subsume.	2023-09-17 19:21:28 +09:00
Yamada Ryo	7bbb97dc46	[fix] Adapted to changes in the default open union.	2023-09-17 15:46:51 +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	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	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