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)

6/12/2025

default value for optional field

Hey! I have a question about handling optional fields with defaults. I want to define a type where a property is optional in the input, but its value should never be undefined. If the field is missing entirely, I want to transform the input so that the field is present in the result with a default value....

floratmin

6/4/2025

How to collect validation errors and custom errors in pipe

I have a pipe in which I want to add errors to the arkerrors array. But when there is an validation error, then only the validation error is outputted. ``` const pipedType = type({foo: 'string', bar: 'number'}).pipe((t, ctx) => { if (t.foo === 'foo') { ctx.error({...

Robb

6/4/2025

Custom errors with morphs

Hello, I am trying to have custom error messages on morphs. Here is an example for a Port type. The error message is still the original one from Arktype. ...

Domin

6/3/2025

Stringified array

Is there a type for stringified arrays i.e. elements joined with comma: "item1,item2,item3"?

Emuzex

5/28/2025

Custom error message with conditions and i18n

Hi i am new here, and i try to create translated error messages. i have a schema like this. ```ts const Thing = type({ price: type('string.numeric>0').configure({...

OnkelTem

5/27/2025

Minimal array length - how to?

This page https://arktype.io/docs/objects#arrays says one can use [] > 1 to constrain minimal array length. However, this doesn't work: ```ts import {type} from 'arktype' ...

Gabriel Silva

5/22/2025

Help with Generic infered type

floratmin

5/21/2025

Prevent JsonSchema for type enumerated to become anyOf

Hello, when I have type.enumerated('foo', 'bar').or(type.enumerated('foo', 'bar').array()).toJsonSchema(), the returned schema is: ``` { "$schema": "https://json-schema.org/draft/2020-12/schema", "anyOf": [...

GreggOD

5/19/2025

"string.email>0" custom message not working

Hey for most types i use .configure({message: "Some error message"}) to customize error messages for fields. When i use it on email type it seems configure does not work the same: ```ts const stringEmail = type("string.email>0")...

Arold

5/19/2025

Can I export and share all types on the global scope by default?

Heya, so I have a monorepo — it's a flat and ever-widening hierarchy; all directories have a direct connection to the root-level deno.jsonc, which is also where the arktype import happens. I would love it if I could just turn the loosey goosey dials up to max and use every type() declaration as an alias in any other part of the repo. Is there a built-in and/or elegant way to do this?...

Michael Schaufelberger

5/19/2025

[attest] Error scanning node_modules. How can I make attest trace work?

I'm trying to run attest trace to analyze my Next.js 15 monorepo package. However, I'm getting an error that attest cannot find a module. ```...

natedunn

5/17/2025

Auto throw if invalid

I have been looking through the docs and the API manually, but I haven't found something elegant that I am looking for. Is there a way to strictly throw an error if the validation doesn't pass? While I don't normally mind the explicitness of instanceof type.errors, I kinda prefer the method opt-in from Zod (parse vs safeParse) to make that choice. To be clear this would purely be a DX improvement to prevent typing out the error catching manually for type inference....

Bert

5/17/2025

Modeling string template type

I have a type

``ts
type T = {
  foo: '' |

/${string}` }...

Robb

5/13/2025

Discriminated unions with common field but different constraints

Hello, I am having trouble setting up a schema-system with my types. My code is type-first, so the schemas must be written in accordance to my types. My entities have a type property, which should be the discriminating property. Two types are possible: typeA and typeB. Both types of entities have a field named someField. By default, someField is nullable, meaning new types in the future should have it nullable. But typeA entities require someField not to be null. Creating the corresponding schemas lead to a type error when trying to match my types to the schema's types. ...

Simon

5/8/2025

Throw an ArkError programmatically

Is there an easy way to throw an ArkError programmatically without defining a schema? I'd like to ensure a provided value is unique against my DB, so I'm looking for an alternative to this: ```ts...

oddcelot

5/7/2025

Equivalent of Object.values for unions

hi there 👋 i'm trying to extract the values of an object in order to have it as a union of options and ended up with this right here is there a better maybe more elegant solutions to this? 😅...

mailliW

5/7/2025

Is this a bug or user error? Re: Generic Argument Validation

``` import { scope } from "arktype" const versionScope = scope({ ProductHashKey: "string",...

mailliW

5/7/2025

Bracket Notation on Generics

Is there any way to do something like this? 🤔 ``` scope({ BaseType: { entityType: "string" },...

themoonrat

5/6/2025

Performance comparison to Zod for piped string

Hello! I'm looking to implement a validator in a pretty performance critical area - so have been comparing some of the data contracts used, and in each test thrown together, ArkType is easily faster.... apart from one where a string is piped through a couple of stages The Zod equivilant is const zodTest = z.string().trim().toLowerCase().email().startsWith("info"); And for ArkType I've got const arkTest = type("string.trim |> string.lower |> string.email & /^info/");...

Dimitri Mitropoulos

5/6/2025

does arktype understand "minimum 0 but not -0"?

in zod, even if you put .nonnegative it will still accept negative zero. would the same happen with AT?

Previous Next

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)