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 |
|