326 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Yamada Ryo	7e07e307e2	[fix] constraints of member search mechanism for lower level condition. ... [refactor] Rename types.	2024-07-06 20:46:44 +09:00
Yamada Ryo	11ea95c51a	[fix] Common Subexpression Elimination for type families of effect membership searching to improve compile speed.	2024-07-06 03:12:19 +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	8c7f4c4ad0	Update README.md	2024-04-19 19:57:37 +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	c5bdd6cae3	[add] Enrich interpretation & transformation function families.	2024-02-06 02:44:18 +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	445c1abfb6	Update README.md	2024-01-07 13:20:55 +09:00
Yamada Ryo	985f5490ba	[fix] Adjust the precedence of type operators.	2024-01-05 18:26:18 +09:00
Yamada Ryo	3bfca50e14	[fix] Change the result type of the 'decomp' function from 'Either' to ':+:'.	2024-01-05 15:28:31 +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	e60bf7ae05	[fix] Support interpretation to uniformly handle cases where the original is not in the form of 'e+r', that is, when converting a single effect class to 'NopI' (e.g., (!) (StateI Int) ~> (!) NopI).	2023-12-28 10:44:43 +09:00
Yamada Ryo	751cd87388	Update README.md	2023-12-28 10:18:12 +09:00
Yamada Ryo	42178122ec	[add] the type operators '!!', '!', '<|', '<<|'.	2023-12-27 18:45:17 +09:00
Yamada Ryo	59e8b21ecc	[fix] Refurbish based on the union for higher-order effects.	2023-12-27 18:32:16 +09:00
Yamada Ryo	904c551d27	[add] type class for searching recursive union membership.	2023-12-26 21:32:56 +09:00
Yamada Ryo	f94abb5e76	[WIP] Update to new architecture and interface (2)	2023-12-24 17:14:25 +09:00
Yamada Ryo	b484537732	[WIP] Update to new architecture and interface	2023-12-20 16:52:51 +09:00
Yamada Ryo	80be242c1f	[add] a continuation-based interpreter for State effect.	2023-11-05 21:08:34 +09:00
Yamada Ryo	d169338732	[fix] mistakes in a documentation.	2023-10-29 19:14:03 +09:00
Yamada Ryo	57ff5ac3dd	update README.md.	2023-10-29 19:07:20 +09:00
Yamada Ryo	1cfcbe3bf3	[add] type synonyms for non-transformer versions.	2023-10-29 19:00:48 +09:00
Yamada Ryo	b65cff2731	[add] tree-structured encoded Heftia transformer.	2023-10-29 18:32:48 +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	3aadd4f62a	[fix] Removed unnecessary lower-level search in the dependent parameter lookup on the higher-order side.	2023-10-04 10:12:35 +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	99f312eba6	[add] the missing <<|- operator.	2023-10-03 13:29:08 +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	d89d6968bc	Refine import.	2023-10-02 23:42:49 +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	2305781927	Add the missing MIT License text.	2023-09-29 13:25:17 +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	31ef901700	Merge branch 'master' into develop	2023-09-27 16:45:47 +09:00
Yamada Ryo	3800b2fd6e	Add badges in README.md	2023-09-27 16:44:34 +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	c4bbb2662f	[add] badge to README.md	2023-09-18 16:07:42 +09:00
Yamada Ryo	fdf0e0463f	[add] credits.	2023-09-18 15:32:37 +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	f62381354f	Minor revisions to README.md.	2023-09-18 11:38:40 +09:00
Yamada Ryo	f69fb955dd	Minor revisions to README.md.	2023-09-17 22:20:01 +09:00
Yamada Ryo	564ab4b6a3	[add] an example of Writer elaboration.	2023-09-17 22:12:06 +09:00