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;...
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[]")...