148 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Yamada Ryo	3270698650	Re-expose modules.	2024-07-07 17:20:16 +09:00
Yamada Ryo	2afe8c31fc	Fix build-depends.	2024-07-07 08:29:41 +09:00
Yamada Ryo	b2fa14c2ba	[fix] Simplify keyed effects lookup type-family.	2024-07-07 08:24:30 +09:00
Yamada Ryo	bcc5b335aa	Bump the version to 0.2.0.	2024-07-07 06:28:50 +09:00
Yamada Ryo	ab99356469	Rename 'KeyedEffects' from 'DepParams'.	2024-07-07 06:01:50 +09:00
Yamada Ryo	848e5f1c8f	[refactor] Removed a few unnecessary symbols from the examples.	2024-07-07 05:56:22 +09:00
Yamada Ryo	0f6ae9b2cb	[fix] module structure.	2024-07-07 05:39:38 +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	621a335c2a	[fix] Use type-level '$' operator in the 'Continuation2' example.	2024-07-07 05:03:28 +09:00
Yamada Ryo	e6d83f21aa	[fix] associativity for infix operators.	2024-07-07 04:50:34 +09:00
Yamada Ryo	cf5f17072f	[fix] order of parameters in 'Send{Ins,Sig}By' & 'Inject{Ins,Sig}By' for readability.	2024-07-07 04:27:21 +09:00
Yamada Ryo	ec59006146	[add] keyed-effects support.	2024-07-07 03:52:04 +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	9183462eb7	Update README.md.	2024-07-06 22:54:45 +09:00
Yamada Ryo	3f216210b6	[fix] a function signature in the 'logging' example.	2024-07-06 22:51:13 +09:00
Yamada Ryo	c722eddbcb	Update README.md.	2024-07-06 22:45:56 +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	eb92de331f	[add] type synonyms to convert between union list and sum.	2024-07-06 21:05:41 +09:00
Yamada Ryo	652aff68bb	Merge branch 'feature/core-v2' into develop	2024-07-06 20:57:43 +09:00
Yamada Ryo	0aa83fc716	Update README.md.	2024-07-06 20:57:12 +09:00
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