14 Commits

Author	SHA1	Message	Date
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	9ef6817000	[fix] Use 'ForallFunctor' as the standard constraint name that does not depend on the implementation of union datatype.	2024-07-07 05:15:02 +09:00
Yamada Ryo	17e73f52e6	[WIP] Auto-resolve instance for MemberRec.	2024-07-05 23:21:52 +09:00
Yamada Ryo	ef2e36d1ae	[add] description for tagged effects.	2023-09-16 13:39:01 +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	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