Tehrin Comments - Answer Overflow

Topics

Tehrin

•Created by thesylex on 4/23/2025 in #help

Can't get inlay-hints working in helix and deno-lsp

Same problem here, they just seem to work but take forever to show up/update

2 replies

•Created by Tehrin on 4/15/2025 in #questions

Standard Schema validation output issues can't be flattened

Well, I guess wrapping arktype into a (flaterrors standard schema) is not that hard

7 replies

•Created by Tehrin on 4/15/2025 in #questions

Standard Schema validation output issues can't be flattened

Myeah, but you lack those when passing an arktype schema into a place expecting a StandardSchema

7 replies

•Created by Tehrin on 4/13/2025 in #questions

.narrow(...).in doesn't return the original type

And there’s no way to get the jsonschema without the narrow?

4 replies

•Created by Tehrin on 4/11/2025 in #questions

Type.any but with specific scope?

The extends Type<unknown, MyScope> is still better, I just need to get used to variance rules around unknown

19 replies

•Created by Tehrin on 4/11/2025 in #questions

Type.any but with specific scope?

Inside I was doing Adapter<T> = SomeWrapper<Type<T, MyScope>["infer"]>

19 replies

•Created by Tehrin on 4/11/2025 in #questions

Type.any but with specific scope?

Altough, the T extends Type<unknown, MyScope> is much better with inference than Type<T, MyScope>, that's really helpful, thanks 🙂

19 replies

•Created by Tehrin on 4/11/2025 in #questions

Type.any but with specific scope?

Adapter<T> is one of my wrappers (it wraps superforms validator, and it does use T["infer"]), but thanks 🙂

19 replies

•Created by Tehrin on 4/11/2025 in #questions

Type.any but with specific scope?

Any just for anyone stumbling on the same issue, inference is somewhat broken with this, but overloading your function will fix it (snippet from my code):

export function validator<I, O>(schema: Type<(In: I) => O, Forms>): Adapter<(In: I) => O>;
export function validator<T>(schema: Type<T, Forms>): Adapter<T> {

export function validator<I, O>(schema: Type<(In: I) => O, Forms>): Adapter<(In: I) => O>;
export function validator<T>(schema: Type<T, Forms>): Adapter<T> {

19 replies

•Created by Tehrin on 4/11/2025 in #questions

Type.any but with specific scope?

Hmm, right, it does, but then what is Any for? In my particular use case Type<T, MyScope> works fine (inference and all), for most types but not for piped types (Type<(In: {})> => Out) and I thought Any would fix it, but apparently that's an issue either with Any as well, sorry for starting this thread

19 replies

•Created by Tehrin on 4/11/2025 in #questions

Type.any but with specific scope?

You can have a function foo<T>(x: type.Any<T>)

19 replies

•Created by Tehrin on 4/11/2025 in #questions

Type.any but with specific scope?

But then I lose the type safety of knowing T right? (And “infer” and “inferIn”) fields?

19 replies