How can I validate a `Set` of certain item type?
Hello,
I am trying to create a schema that validates that a property is a set of strings:
```typescript
const schema = type({...
Translations /i18n
I’ve seen that it’s possible to edit the messages directly on each “type” but is there an easy way of seeing that you’ve edited every possible error message? And is there some way to edit it “globally” for every instance of “type”?
Zod Interop?
I'm seeing a lot of MCP tools exposing Zod-based APIs, which is annoying. I'm sure this has been discussed before, but is there a way to use an Arktype schema in place of Zod?
Here's an example from https://github.com/punkpeye/fastmcp where Zod is used but I'd like to use Arktype:
```typescript...
How to use reject correctly?
Hi I want to validate input file in a form. It can be either a single file or an array of files, if it is a single file then validate its maximum size, if it is an array of files then validate their total size.
I want a custom message, actual.
With this code I get an exception.
```ts
"files[]?": type("File | File[] < 6").narrow((data, ctx) => {...
Issue with Default<> in Type as generic.
I'm trying to create a generic function that accepts type returns other type.
```typescript
export const generic = <t = unknown, $ = {}>(filter: Type<t, $>) =>
type({...
Type instantiation is excessively deep and possibly infinitely deep
Hello,
I have some TRPC endpoint definition which contain some complex type
```ts...
Trying to index an array type with .get(...path)
const schema = type('string[]');
console.log(schema.get(0).expression);
const schema = type('string[]');
console.log(schema.get(0).expression);
string[][0] equals string....Reference another schema type as default?
Hello, I'm relatively new to Arktype. I've managed to figure out most of our Zod migration, however I have a couple scenarios where I would like to reference other types as default values -or- compose a 'computed' property.
In this scenario I'd like to use the provided 'createdAt' value as the default 'modifiedAt' value:
```typescript
import { type } from 'arktype';...
string.numeric.parse accepts empty strings and returns a NaN
console.log(type("string.numeric.parse")(""));
console.log(type("string.numeric.parse")(""));
NaN. Is that the expected behavior? What is a nice way to achieve the behavior I'm looking for?...How do I name a morph?
```ts
import { type } from "arktype"
// I have some class that validates or throws. I want to parse an instance of that from a config file.
class ValidatedUserID {...
Passing schemas to functions that are piped
I have a bunch of incoming events that I need to parse and validate. They all have a common structure. I'm wanting to build a more generic system where you can pass what events to "subscribe" to.
This was working great until I had an event that had a
.pipe().
Any ideas how I can get around this? ...Record with specific keys?
I'm trying to do the following:
```ts
import { ScanReportSchema } from "{redacted}"
...
Help with default values
I can't figure out how to make inferred types play nicely with defaults. I've read through a few threads with various approaches, but everything causes a type error (all something like "string is not assignable to [Default<> / (In: in) => Out]". here's a tsplay ([link](https://www.typescriptlang.org/play/#code/JYWwDg9gTgLgBAbzjAnmApnAvnAZlCEOAIgEMoBrVDYgKFvQA9JY4BjCAOwGd5vD0AZTYALdCFJwAvMjToAFAlpw4AeQDSAQQCaALlkZ5xXlGCcA5nAA+cAK6cAJulxn0D4gEoANHGVwAYqqq+tQKxjCmFtZ2js6u7h4AdE64pLYANjBGuBAQAISeXn4...
Redundant match default
Match has a default case
But it is something completely different from .default, which makes sense
However, it can lead to writing the same code 2 times.
In particular, this can be seen in the Fluent API:
```ts...
Inferring generic types
Hi, I'm new to ArkType and have little knowledge about TypeScript generic.
I wish I had something like below:
```ts...
Easy format errors like in Zod?
Hi, I can't find any errors formatting like in zod. https://zod.dev/ERROR_HANDLING?id=formatting-errors.
I'm doing it manually now, maybe I'm missing something?)...
How to set an error message
Hey guys, I am trying to move this zod schema with arktype:
```ts
const userZodSchema = z.object({
name: z...
undeclared keys in nested object
Hello.
I want to use arktype for parsing objects in backend before sending them to client (mainly for removing unwanted keys),
But when i use nested object types the undeclared keys won't get deleted
ex:...
Narrow type based on another property's value
Hey, I've been using ArkType for a few days now - loving it so far. One thing I'd love to be able to do is narrow a type based on the value of another property in the object. eg.
```
const myType = type("'string' | 'Color'")
...
Generic loses literal
```
const nonEmptyStringOrNull = type("<s extends string>", [
"s | null | undefined",
"=>",
(s) => (!s ? null : s),...