Michael Arnaldi
|
4ba2b6e379
|
handle dynamic URI in getValidationF
|
2020-08-21 01:06:55 +01:00 |
|
Michael Arnaldi
|
50b8d11584
|
allow for custom index in eitherT
|
2020-08-21 00:49:50 +01:00 |
|
Michael Arnaldi
|
003dadf185
|
Publish
- @effect-ts/core@0.0.2
|
2020-08-21 00:28:57 +01:00 |
|
Michael Arnaldi
|
92923870e3
|
fix index
|
2020-08-21 00:26:48 +01:00 |
|
Michael Arnaldi
|
2c8765a03a
|
Publish
- @effect-ts/core@0.0.1
- @effect-ts/system@0.0.1
|
2020-08-21 00:21:36 +01:00 |
|
Michael Arnaldi
|
aa6bd7160c
|
Publish
- @effect-ts/core@0.0.1
- @effect-ts/system@0.0.1
|
2020-08-21 00:21:36 +01:00 |
|
Michael Arnaldi
|
937e74b887
|
dynamic parameter index
|
2020-08-21 00:02:56 +01:00 |
|
Michael Arnaldi
|
5c9177ef40
|
prepare
|
2020-08-20 22:15:36 +01:00 |
|
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 |
|