arktype
arktype copied to clipboard
TypeScript's 1:1 validator, optimized from editor to runtime
This would allow some or all types to be negated (likely using a new `!` operator). The challenge here would be integrating these checks with the type system so that...
Currently we don't support autocomplete within index signatures. I was able to get a POC of this working by adjusting the `validateObjectLiteral` type to something like this: ```ts export type...
Would be great to have a custom error message pointing out the specific section of JSON that failed to parse. This is based on this suggestion in Effect's Discord by...
In a case like `(In: User) => Out`, we could still allow intersections between other user keys if we ensure the morph only applies to `extraKey`. Possibly related to https://github.com/arktypeio/arktype/issues/817
E.g. could be used as a way to indicate that the keys of an object are exact inline: ```ts import { exact } from "arktype"; const t = type({ [exact]:...
Would allow expressions like the following: ```ts const types = scope({ base: { foo: "true", bar: "false", }, // 1:1 with TS foo: "base['foo']", // Allow more convenient dot notation...
Mentioned in https://github.com/decs/typeschema/issues/9, would be easy to do per-predicate and could help with form integrations.
# Request a feature The maintainers of ArkType will do our best to provide prompt feedback for any feature requests- especially those that are concise and persuasive! ### 🤷 Motivation...
Would add a node method "serialize" (or similar, will have to think about details as not all nodes will be serializable in a way they could be restored) that would...