Tehrin
Aarktype
•Created by Tehrin on 4/15/2025 in #questions
Standard Schema validation output issues can't be flattened
As far as I can tell the other validation libraries will have multiple issues for the same path, but for arktype they all get grouped in an intersection error type (if I have something like
string < 10 & /some_regex/ and it fails both
I feel like the default should flatten all errors in arktype to match the others behavior, or at least make it configurable?
Or is the intention to just wrap our own StandardSchema around arktype where we flatten if needed?7 replies
Aarktype
•Created by Tehrin on 4/13/2025 in #questions
.narrow(...).in doesn't return the original type
Example: https://arktype.io/playground?code=import%2520%257B%2520type%2520%257D%2520from%2520%2522arktype%2522%250A%250Aconst%2520Thing%2520%253D%2520type%28%257B%250A%2509a%253A%2520%2522string%2522%252C%250A%2520%2520%2520%2520b%253A%2520%2522string%2522%250A%257D%29.narrow%28%28obj%252C%2520ctx%29%2520%253D%253E%2520%257B%250A%2520%2520%2520%2520if%2520%28obj.a%2520%21%253D%2520obj.b%29%2520%257B%250A%2520%2520%2520%2520%2520%2520%2520%2520return%2520ctx.reject%28%257B%250A%2520%2520%2520%2520%2520%2520%2520%2520%2520%2520%2520%2520problem%253A%2520%2522Mismatch%2522%252C%250A%2520%2520%2520%2520%2520%2520%2520%2520%2520%2520%2520%2520path%253A%2520%255B%2522b%2522%255D%250A%2520%2520%2520%2520%2520%2520%2520%2520%257D%29%250A%2520%2520%2520%2520%257D%250A%2520%2520%2520%2520return%2520true%253B%250A%257D%29%253B%250A%250Aconst%2520out%2520%253D%2520Thing%28%257B%250A%2520%2520%2520%2520a%253A%2520%2522Hello%2522%252C%250A%2520%2520%2520%2520b%253A%2520%2522Hi%2522%252C%250A%257D%29%250A
I'm mostly looking at
.in to be able to call .toJsonSchema
For the moment I'm using .pipe but this sounds like a bug4 replies
Aarktype
•Created by Tehrin on 4/11/2025 in #questions
Type.any but with specific scope?
Is there a way to use type.any but with the scope bound to some type?
My use case is that I have a special scope that does some magic for internationalization and I need a way to wrap (or just refer to) types externally (like on the website example) but with the scope bound to my special Scope
19 replies