11369 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Michael Arnaldi	02d6305cba	type helpers	2020-08-21 16:57:11 +01:00
Michael Arnaldi	170448cd76	helpers for type combinations	2020-08-21 16:52:07 +01:00
Michael Arnaldi	e3d5efce03	fix	2020-08-21 16:26:15 +01:00
Michael Arnaldi	3d50c61b89	adapt fx access/provide	2020-08-21 16:25:32 +01:00
Michael Arnaldi	6136dc149e	Fix behaviour for E types	2020-08-21 15:46:11 +01:00
Michael Arnaldi	dccb64b25f	fix alias	2020-08-21 14:33:15 +01:00
Michael Arnaldi	7ae83a9f01	continue with examples and transformers	2020-08-21 14:23:45 +01:00
Michael Arnaldi	989dcfc94f	improve naming	2020-08-21 13:18:14 +01:00
Michael Arnaldi	5deeac1f79	arbitrary length reindex	2020-08-21 13:17:07 +01:00
Michael Arnaldi	9386cc26ae	use export * syntax	2020-08-21 12:08:29 +01:00
Michael Arnaldi	b886ffcf8a	rename pure to xpure	2020-08-21 11:43:55 +01:00
Michael Arnaldi	d50d7e1e04	add bounded	2020-08-21 11:39:42 +01:00
Michael Arnaldi	a4532c964a	fix number	2020-08-21 11:24:35 +01:00
Michael Arnaldi	23cfd31ac6	add invariant transformer	2020-08-21 11:20:04 +01:00
Nikita Volodin	40c2ba82be	extend demo 11 with some functionality	2020-08-21 10:21:05 +01:00
Nikita Volodin	53ce1350bd	move all demos as tests	2020-08-21 10:21:05 +01:00
Nikita Volodin	c32cc94d23	fix imports	2020-08-21 09:50:00 +01:00
Nikita Volodin	7cb76d330c	remove usage of NonEmptyArray	2020-08-21 09:50:00 +01:00
Nikita Volodin	2e06eb7c7b	flip condition in OrFix ... This avoids running the same check twice	2020-08-21 09:50:00 +01:00
Nikita Volodin	50e215d43e	move OrNever into its own file	2020-08-21 09:50:00 +01:00
Nikita Volodin	62c190027d	move base interfaces into separate file	2020-08-21 09:50:00 +01:00