arktype

This is a friendly space centered around ArkType, TypeScript's 1:1 validator (https://github.com/arktypeio/arktype)

Join

arktype

This is a friendly space centered around ArkType, TypeScript's 1:1 validator (https://github.com/arktypeio/arktype)

Join

Dimava

8/18/2023

Context-sensitive validation / validation with parameters

```ts interface Thing { bars: string[]; foo: { baz: { bar: string }[]; }[]; }...

Bas950

8/15/2023

Validate string is URL

What would be the easiest way to validate that the url in here is an actual valid url? ```ts const button = type({ label: "2<=string<=32", url: "2<=string<=512",...

jacksteamdev

8/8/2023

How to validate that a value is an instance of a class

Is there a way (yet) to validate that a value is an instance of a class? I know this doesn't work, but maybe it'll convey the idea: ```typescript class SomeClass {}...

san

7/20/2023

Record type?

Hello! Is there a way to create a Record type?

Bas950

6/27/2023

Key not specified in type, but no problems

https://stackblitz.com/edit/mrvfrm-gduby2?file=type.ts How do I make it so I get a problem that foo is not in the type....

Bas950

6/27/2023

Array/Object keys to type?

So I got this object: ```ts export const supportedLanguages: { afr: Language; ara: Language;...

Gabriel Silva

6/11/2023

Signup form validation

I'm building a sign up form that looks like this: ```ts const schema = type({ email: 'email', password: 'string>1',...

TizzySaurus

5/21/2023

Nesting ArkTypes within a regex

Is there a way to put ArkType types within a regex? As an example

const x = type("0<string<3");
const y = type("0<number<10");
const z = type("/x y/");

const x = type("0<string<3");
const y = type("0<number<10");
const z = type("/x y/");

where for z something like hi 3 would be valid, but not hi 13 or hello 5 -- i.e. to be valid, the value passed into z has to be a string of length 1 or 2, followed by a space, followed by a number 1-9 (inclusive))...

Dimava

5/15/2023

Custom type-making functions

I want to make a chainable that can create types the same way type does How do I implement that? ```ts thing // Thing<never, never> .input('number%1>0') // Thing<number, never>...

ssalbdivad

5/12/2023

Syntax Overview

Someone was asking for an overview of available syntax. I ended up coming this and figured it would be useful to post it here. It doesn't include everything (notably most tuple expressions and scopes), but it's a good place to start: ```ts...

Dimava

5/4/2023

How to access current scope types with `type()` / `morph()` / `narrow()` / `arrayOf()` inside scope?

How to access current scope types with type() / morph() / narrow() / arrayOf() inside scope? ```ts const $ = scope({ blah: "1 < number < 10", blahArray: () => $.type("blah[]")...

Gaming

Programming

arktype

This is a friendly space centered around ArkType, TypeScript's 1:1 validator (https://github.com/arktypeio/arktype)

arktype

This is a friendly space centered around ArkType, TypeScript's 1:1 validator (https://github.com/arktypeio/arktype)