non-empty string - how to?
How to declare a schema with 'string' type but... not empty, i.e. which is banning
""?How to incorporate existing type?
I have a type imported from a third-party API and I'd like to build it in into my ark type:
```ts
import { Foo } from 'fancy-api'
const schema = type({...
How to declare an optional schema?
I wonder if it's possible to define a schema that is ok if data is undefined.
E.g. in:
```ts
declare function foo(a?: string)v void...
How to properly make a property of a class type?
I tried this:
```ts
class TokenManager {}
const params = type({
tokenManager: type(['instanceof', TokenManager]),...
default values - how to define them?
I only found an issue by David that it's gonna be implemented, but I cannot find any examples.
Using existing enum/const to build a type
Hi folks.
I'm very new to arktype so maybe I'm asking something very simple.
I have a pseudo enum in a third-party module I import.
This const is defined as: ...
How to import `arktype` into a typescript project?
I do it like this:
...
import { type } from 'arktype';
import { type } from 'arktype';
Context-sensitive validation / validation with parameters
```ts
interface Thing {
bars: string[];
foo: { baz: { bar: string }[]; }[];
}...
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",...
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 {}...
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....
Array/Object keys to type?
So I got this object:
```ts
export const supportedLanguages: {
afr: Language;
ara: Language;...
Signup form validation
I'm building a sign up form that looks like this:
```ts
const schema = type({
email: 'email',
password: 'string>1',...
Nesting ArkTypes within a regex
Is there a way to put ArkType types within a regex? As an examplewhere for
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/");
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))...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>...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...
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[]")...