13 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Yamada Ryo	408c07bab7	Change the license to MPL.	2023-08-29 15:27:29 +09:00
Yamada Ryo	f62fc4d18b	[fix] Move basic types and classes about effects into the classy-effects-base package.	2023-08-29 13:27:23 +09:00
Yamada Ryo	04360da6ab	[add] handling functions for Extensible Effects.	2023-08-28 22:23:24 +09:00
Yamada Ryo	8e7aee4ef0	Rename 'Heftier' to 'Heftia'.	2023-08-28 16:02:00 +09:00
Yamada Ryo	b0c9ed842b	[refactor] module structure.	2023-08-28 15:54:56 +09:00
Yamada Ryo	6e62dee4e6	[fix] 'HeftierFinalT' definition to 'HeftierFinal' wrapper to allow automatic derivation of instances.	2023-08-28 13:10:41 +09:00
Yamada Ryo	7783d54be9	[add] Interconversion functions between trafos and non-trafos.	2023-08-28 12:31:38 +09:00
Yamada Ryo	f2d0d2f08e	[fix] Generalize the class of heftier transformers to non-Monad.	2023-08-28 12:04:37 +09:00
Yamada Ryo	72484c0a5f	Merge branch 'feature/transformer' into develop.	2023-08-27 22:39:59 +09:00
Yamada Ryo	da6948add2	[add] Freer transformer.	2023-08-27 22:38:10 +09:00
Yamada Ryo	9d9983443b	[add] Naked Finals.	2023-08-27 22:35:02 +09:00
Yamada Ryo	8ed05e40c6	[WIP] heftiers and freers	2023-08-27 22:32:48 +09:00
Yamada Ryo	f53f57f3cc	initial commit.	2023-08-25 13:23:49 +09:00