Commit Graph
11440 Commits
Author SHA1 Message Date
Nikita Volodin 2eb8ffcd09 fix all eslint errors 2020-08-20 15:11:02 +01:00
Nikita Volodin 6ccd41ca7e fix all eslint errors 2020-08-20 15:11:02 +01:00
Michael Arnaldi cc397d87cb move validation to dsl 2020-08-20 14:54:47 +01:00
Michael Arnaldi a9dfecd70f use getValidation from FX 2020-08-20 14:47:38 +01:00
Michael Arnaldi c8cb44eadb rename preview to tmp 2020-08-20 13:55:07 +01:00
Michael Arnaldi f66acce933 revise uris 2020-08-20 13:35:45 +01:00
Michael Arnaldi f43a40136d revise uris 2020-08-20 13:35:45 +01:00
Michael Arnaldi 277ac3dc6f compact variance declarations 2020-08-20 13:29:57 +01:00
Michael Arnaldi d849b73dc6 validation effect 2020-08-20 13:00:33 +01:00
Michael Arnaldi 65f2d45861 correctly interpret associative either & never for identity 2020-08-20 12:52:41 +01:00
Michael Arnaldi ad7a2cc5cd interpret never differently 2020-08-20 12:43:41 +01:00
Michael Arnaldi 13ce8f7b99 fix instance 2020-08-20 12:41:12 +01:00
Michael Arnaldi 0d09fc36bc effect instances 2020-08-20 12:40:46 +01:00
Michael Arnaldi 35729db028 correct encoding of initial types 2020-08-20 12:36:51 +01:00
Michael Arnaldi a2bee0a13f fix validation and any 2020-08-20 11:49:46 +01:00
Michael Arnaldi c17d5a1a7d generic sequenceS 2020-08-20 11:30:43 +01:00
Michael Arnaldi 8fa3f655d8 encode variance generically 2020-08-20 10:56:07 +01:00
Michael Arnaldi 9fd8cd7e77 unify fix & orFix 2020-08-20 10:14:08 +01:00
Michael Arnaldi 0e04b9c826 mix all s 2020-08-20 00:33:01 +01:00
Michael Arnaldi 06ac5b2757 add mix all 2020-08-20 00:30:15 +01:00
Michael Arnaldi 3e05d80527 fix 2020-08-20 00:24:43 +01:00
Michael Arnaldi 59d2947a85 improve 2020-08-20 00:17:55 +01:00
Michael Arnaldi 84e9a38f03 comment prototype 2020-08-19 23:59:42 +01:00
Michael Arnaldi b64f142eca track composition constrains 2020-08-19 23:43:34 +01:00
Michael Arnaldi e22994205b track C, make Fix intersection friendly 2020-08-19 23:40:36 +01:00
Michael Arnaldi d440020d4b experimental encoding of dynamic variance 2020-08-19 23:30:16 +01:00
Michael Arnaldi 19a4ab869e add extend 2020-08-19 22:28:18 +01:00
Michael Arnaldi da504af868 add compactable 2020-08-19 22:18:08 +01:00
Michael Arnaldi 6ad7b45b2f improve sequenceS 2020-08-19 22:03:31 +01:00
Michael Arnaldi d045258c6c generic sequenceS 2020-08-19 21:57:23 +01:00
Michael Arnaldi e3b0ae428d add foldable with index 2020-08-19 19:05:44 +01:00
Michael Arnaldi 58b6c5f5fc use succeedF 2020-08-19 18:58:45 +01:00
Michael Arnaldi c447984a99 remove redundant param 2020-08-19 18:55:05 +01:00
Michael Arnaldi 09d32e051a improve either validation instance construction 2020-08-19 18:54:17 +01:00
Michael Arnaldi 76875c0ae4 fix signature 2020-08-19 18:47:38 +01:00
Michael Arnaldi e42053c4f9 relax 2020-08-19 18:41:11 +01:00
Michael Arnaldi 4e8dd86597 generic accessMF 2020-08-19 18:40:16 +01:00
Michael Arnaldi 05ad9450d2 begin dsl 2020-08-19 18:32:40 +01:00
Michael Arnaldi 2512029398 remove typedoc 2020-08-19 18:14:19 +01:00
Michael Arnaldi c5a9c14bfe add nojekyll 2020-08-19 17:52:09 +01:00
Michael Arnaldi d4a07f548a try auto-generated doc 2020-08-19 17:48:06 +01:00
Michael Arnaldi 785bad82c7 avoid redundant declaration 2020-08-19 17:39:54 +01:00
Michael Arnaldi 00ed39d7a6 begin environmental 2020-08-19 17:18:32 +01:00
Michael Arnaldi 879650fdb3 remove leftover 2020-08-19 17:07:51 +01:00
Michael Arnaldi 60ef68dceb add witherable with index 2020-08-19 16:58:28 +01:00
Michael Arnaldi a00d766531 add witherable 2020-08-19 16:44:08 +01:00
Michael Arnaldi 20b88ba0f6 add wiltable with index 2020-08-19 16:28:03 +01:00
Michael Arnaldi 48c5bf00b9 add covariant with index, fix traversable with index 2020-08-19 16:15:45 +01:00
Michael Arnaldi 5cea6d077f add traversable with index 2020-08-19 16:05:03 +01:00
Michael Arnaldi d5429a8639 add wiltable 2020-08-19 15:35:34 +01:00