arktype

arktype copied to clipboard

TypeOf utility for extracting optionally narrowed types from data

1

ssalbdivad

Support generics, add builtins like Partial

5

This is the API I'm envisioning: ```ts scope({ "box": { box: "t" }, boxedString: "box" }) ``` There'd also be some way to define them using type syntax that I'll...

ssalbdivad

ssalbdivad

Mapped types

2

I created the following props rule type to support intersections/unions and eventually checking types whose values are dependent on associated keys. Some parts of this may end up being out...

ssalbdivad

Would allow objects to be flexibly merged in an object literal definition like this: ```ts const types = scope({ user: { isAdmin: "false", name: "string" }, admin: { "...": "user",...

ssalbdivad

# 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...

TizzySaurus

This would be something like: ```ts const user = type({ name: "string", age: "number", }); const data = user.from({}); // ^? would give hints for user ``` If the type...

ssalbdivad

Branded Types

1

# Request a feature ### 🤷 Motivation > What problem are you having? In applications having Branded types improves some of the confidence around our code base. We can parse...

cogell

https://github.com/microsoft/TypeScript-error-deltas

ssalbdivad

Ideally any error message should be specifiable as a Record of strings representing locale IDs to the translations in that locale, e.g: ```ts const creditCard = type("number", {mustBe: "a valid...

ssalbdivad