11440 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Michael Arnaldi	10b0402323	add some comments	2020-08-24 01:29:15 +01:00
Michael Arnaldi	e522885f26	Clear Fix on StateT	2020-08-24 01:22:11 +01:00
Michael Arnaldi	ac93adb7b2	prevent alias of statein-out	2020-08-24 01:15:20 +01:00
Michael Arnaldi	8d5779d445	progressively replace Fix at the top	2020-08-24 00:38:56 +01:00
Michael Arnaldi	d2d6e5af1e	avoid duplication of impl	2020-08-24 00:10:16 +01:00
Michael Arnaldi	73061b197b	rename union to append, inverted union to prepend	2020-08-24 00:04:29 +01:00
Michael Arnaldi	06ce72cff7	apply orfix on local uri constrains	2020-08-24 00:02:04 +01:00
Michael Arnaldi	9f046b12cb	promote KindFix to simply Kind	2020-08-23 23:49:05 +01:00
Michael Arnaldi	5d69c989a7	fix name	2020-08-23 23:46:59 +01:00
Michael Arnaldi	71a443ee46	allow structured uris to introduce layered params	2020-08-23 23:42:53 +01:00
Michael Arnaldi	f391017673	fix	2020-08-23 20:53:22 +01:00
Michael Arnaldi	2f7b9f00a5	geing adding classic data types	2020-08-23 19:32:53 +01:00
Michael Arnaldi	610326752a	fix test	2020-08-23 17:34:34 +01:00
Michael Arnaldi	c93f6583f1	simplify	2020-08-23 16:45:02 +01:00
Michael Arnaldi	ee67593ec0	rename run to either	2020-08-22 14:01:12 +01:00
Michael Arnaldi	e1a174b3cd	improve demo, fix branch	2020-08-22 13:57:58 +01:00
Michael Arnaldi	b97dd76444	begin selective	2020-08-22 13:25:02 +01:00
Michael Arnaldi	f38fc954c6	Do DSL	2020-08-22 10:59:54 +01:00
Michael Arnaldi	229c80f6c8	improve impl	2020-08-22 10:59:08 +01:00
Nikita Volodin	13bbeb3b47	move examples into 'examples/'	2020-08-22 10:59:08 +01:00
Nikita Volodin	96beda845a	simplify InvariantT variance erasure	2020-08-22 10:27:02 +01:00
Nikita Volodin	7a5dd142f9	wrap Array Monad and Applicative in instance()	2020-08-22 10:27:02 +01:00
Nikita Volodin	093eb0c093	Revert "try using pipe" ... This reverts commit cc1e85ba	2020-08-22 10:27:02 +01:00
Nikita Volodin	74fdf9eae9	Revert "force either in scope" ... This partially reverts commit 1a07fb5e	2020-08-22 10:27:02 +01:00
Michael Arnaldi	65671951df	Publish ... - @effect-ts/core@0.0.5	2020-08-21 23:39:46 +01:00
Michael Arnaldi	879044bf06	fix access type	2020-08-21 23:26:39 +01:00
Michael Arnaldi	e037be82b3	Publish ... - @effect-ts/core@0.0.4	2020-08-21 22:39:23 +01:00
Michael Arnaldi	9247fe67c7	fail returns never on A	2020-08-21 22:34:50 +01:00
Michael Arnaldi	40c4111b14	use unknown to constrain A	2020-08-21 22:33:22 +01:00
Michael Arnaldi	6eb6589550	Publish ... - @effect-ts/core@0.0.3	2020-08-21 22:25:12 +01:00
Michael Arnaldi	a700a93c71	try common index for modules	2020-08-21 22:14:33 +01:00
Michael Arnaldi	6fd9da0378	remove not used	2020-08-21 21:47:01 +01:00
Michael Arnaldi	0652aecbac	try indexing modules	2020-08-21 21:41:45 +01:00
Michael Arnaldi	f530669c8b	try using pipe	2020-08-21 21:16:18 +01:00
Michael Arnaldi	385c3a242c	readd effect as dependency	2020-08-21 21:03:19 +01:00
Michael Arnaldi	51746e87bb	force either in scope	2020-08-21 20:46:18 +01:00
Michael Arnaldi	61fdb1bf1b	add IO to package json	2020-08-21 19:54:27 +01:00
Michael Arnaldi	66895a32e1	fix IO comments	2020-08-21 19:39:03 +01:00
Michael Arnaldi	285bfd8059	fix	2020-08-21 19:35:12 +01:00
Michael Arnaldi	837d2c9249	use dsl	2020-08-21 19:26:47 +01:00
Michael Arnaldi	4e3ecf5146	alias variance definition	2020-08-21 19:24:04 +01:00
Michael Arnaldi	1eae53adc1	fix mix	2020-08-21 19:22:05 +01:00
Michael Arnaldi	43df0fbd38	finish kindfix refactor	2020-08-21 19:15:35 +01:00
Michael Arnaldi	2505ad6c5f	fix dsl	2020-08-21 18:58:34 +01:00
Michael Arnaldi	b5cff45942	continue fixes	2020-08-21 18:49:21 +01:00
Michael Arnaldi	75a1b406ef	fixes	2020-08-21 18:22:26 +01:00
Michael Arnaldi	5e4778b2d2	fix alias lookup	2020-08-21 17:50:13 +01:00
Michael Arnaldi	4e551ff18d	improve demo	2020-08-21 17:32:54 +01:00
Michael Arnaldi	158b6b96d5	use kindfix	2020-08-21 17:21:43 +01:00
Michael Arnaldi	fd2a58e17a	improve types	2020-08-21 17:12:32 +01:00