Commit Graph
11560 Commits
Author SHA1 Message Date
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