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),...
How to set a custom message with object type?
Hi guys, I'm new to Arktype, I'm switching from Zod to Arktype with this code:
```ts
export const TestSchema = z.object({
companyName: z...
How to represent arktype's Type types?
```ts
export type ToolDefinition = typeof ToolDefinition.infer;
export const ToolDefinition = type({
'name': 'string',
'displayName?': 'string',...
how to do an union of dynamic literals ?
in valibot I use :
const accessList = ["public", "premium"] as const;
const accessSchema = v.picklist(accessList);
in arktype I have to repeat the values ?...
onfail without importing config in every file?
is this possible? I'm trying to combine ArkType usage with neverthrow (i'm new to both so maybe i'm doing it wrong), but it seems like I'd want to wrap type validation in
fromThrowable and throw the error, otherwise i'll stray from their Result type and will end up with what is basically ArkType version of a result type.
from the docs i see i can config it to throw, but it seems a bit annoying to have to import the config along with type everywhere i use it which is what the docs seem to suggest should be done. any way around this?...Is there an equivalent to Zod's `coerce`?
Hello, I am trying to convert the following Zod schema to ArkType:
```typescript
const Params = z.object({
sort: z
.union([...
Type instantiation is excessively deep and possibly infinite
I have a set of event validators within a scope defined as below.
Once I add enough, I get the error "Type instantiation is excessively deep and possibly infinite".
In the code below, remove "y" from the
event key and the error will go away.
...Password = Comfirm password validator
I may be stupid, but I am just learning arktype and was hoping to implement something like a zod refine.
```ts
const passwordForm = z
.object({...
How to combine multiple configure() calls
I noticed that if I call configure multiple times each next call wipes out the previous metadata.
Here's a test example
```
test("arktype config", () => {...