Commit Graph
11369 Commits
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