Michael Arnaldi
|
417b4daa56
|
prepare
|
2020-08-20 22:15:36 +01:00 |
|
Michael Arnaldi
|
c349dee829
|
add custom constrained parameters
|
2020-08-20 22:14:20 +01:00 |
|
Michael Arnaldi
|
674d6ebacf
|
remove useless type trick
|
2020-08-20 22:14:20 +01:00 |
|
Michael Arnaldi
|
08cece7b4b
|
variadic
|
2020-08-20 22:14:20 +01:00 |
|
Michael Arnaldi
|
488d780a3a
|
add reader & readerT
|
2020-08-20 22:14:20 +01:00 |
|
Michael Arnaldi
|
da7b7d3808
|
up to 5 layers
|
2020-08-20 22:14:20 +01:00 |
|
Michael Arnaldi
|
d2aa5b8ef2
|
increase layers
|
2020-08-20 22:14:20 +01:00 |
|
Michael Arnaldi
|
4aee7344b5
|
prototype
|
2020-08-20 22:14:20 +01:00 |
|
Michael Arnaldi
|
697878e88f
|
add dsl provideSomeF
|
2020-08-20 16:26:09 +01:00 |
|
Michael Arnaldi
|
f7bd280058
|
fix
|
2020-08-20 16:02:10 +01:00 |
|
Michael Arnaldi
|
90560d8240
|
generalise Has
|
2020-08-20 16:00:12 +01:00 |
|
Michael Arnaldi
|
e54f23dff1
|
fixes with autofix
|
2020-08-20 15:14:45 +01:00 |
|
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 |
|