Commit Graph
11369 Commits
Author SHA1 Message Date
Nikita Volodin a510116325 only reexport in index.ts 2020-08-21 09:50:00 +01:00
Nikita Volodin 1e121cbeaf rename Kind to kind 2020-08-21 09:50:00 +01:00
Nikita Volodin 8aa0f5f143 reorder hkt 2020-08-21 09:50:00 +01:00
Nikita Volodin 9496783d8d move IndexForBase and IndexFor into Kind.ts 2020-08-21 09:50:00 +01:00
Michael Arnaldi 0c29471ac0 improve naming 2020-08-21 01:46:21 +01:00
Michael Arnaldi c863c54c1c improve index for 2020-08-21 01:40:13 +01:00
Michael Arnaldi c1bd143189 improve indexed 2020-08-21 01:28:56 +01:00
Michael Arnaldi 54fd794dc2 improvements 2020-08-21 01:18:06 +01:00
Michael Arnaldi d18b879286 simplify 2020-08-21 01:08:06 +01:00
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