Dimava
Dimava
PostsComments
Aarktype
Created by jacksteamdev on 3/28/2025 in #questions
Zod Interop?
AI needs toJsonSchema because it needs that for schema-aware generation Do yall plan to add it to standard schema?
6 replies
Aarktype
Created by Enet on 4/2/2025 in #questions
Type script Error
Or Google's one, or Copilot
7 replies
Aarktype
Created by Enet on 4/2/2025 in #questions
Type script Error
I don't think we can because it's not related to ArkType Please install https://marketplace.visualstudio.com/items?itemName=augment.vscode-augment and ask it how to fix it
7 replies
Aarktype
Created by Enet on 4/2/2025 in #questions
Type script Error
Screenshot?
7 replies
Aarktype
Created by guersam on 3/19/2025 in #questions
Inferring generic types
It is a language enough to run Doom in it
36 replies
Aarktype
Created by guersam on 3/19/2025 in #questions
Inferring generic types
Hmm wait you need the types Lemme think
36 replies
Aarktype
Created by guersam on 3/19/2025 in #questions
Inferring generic types
RTFM HKT Generics https://arktype.io/docs/generics#hkt Its advanced TS stuff so if you have any more questions you are welcome to ask
36 replies
Aarktype
Created by Schmime on 3/16/2025 in #questions
Generic loses literal
import { generic, Hkt } from "arktype"

const NonEmptyStringOrNull = generic(["T", "string"])(
    args => type(args.T, '|', 'null | undefined').pipe(s => !s ? null : s),
    class NonEmptyStringOrNullHkt extends Hkt<[string]> {
        declare body: (In: this[0] | null | undefined) => this[0] | null
    }
)
import { generic, Hkt } from "arktype"

const NonEmptyStringOrNull = generic(["T", "string"])(
    args => type(args.T, '|', 'null | undefined').pipe(s => !s ? null : s),
    class NonEmptyStringOrNullHkt extends Hkt<[string]> {
        declare body: (In: this[0] | null | undefined) => this[0] | null
    }
)
3 replies
Aarktype
Created by L0xus on 3/16/2025 in #questions
Narrow type based on another property's value
Generic is also possible you just need the hkt one
10 replies
Aarktype
Created by L0xus on 3/16/2025 in #questions
Narrow type based on another property's value
type({
  type: "'string'",
  value: '"string"
}).or({
  type: "'Color'",
  value: "string.hex"
})
type({
  type: "'string'",
  value: '"string"
}).or({
  type: "'Color'",
  value: "string.hex"
})
10 replies
Aarktype
Created by Tom on 2/13/2025 in #questions
can `optional()` be used with a thunk?
You may use generics
6 replies
Aarktype
Created by DiamondDragon on 1/18/2025 in #questions
exact length "string = 2"
no ==
10 replies
Aarktype
Created by DiamondDragon on 1/18/2025 in #questions
exact length "string = 2"
import { type } from 'arktype'

type("string == 123")
import { type } from 'arktype'

type("string == 123")
10 replies
Aarktype
Created by DiamondDragon on 1/18/2025 in #questions
exact length "string = 2"
So It was there all the time
10 replies
Aarktype
Created by DiamondDragon on 1/18/2025 in #questions
exact length "string = 2"
Maybe it's there and we've just not tried it lol
10 replies
Aarktype
Created by Nicolas on 1/19/2025 in #questions
Extract schema inside an array
.json iirc
11 replies
Aarktype
Created by Nicolas on 1/19/2025 in #questions
Extract schema inside an array
Not toJsonSchema toJsonInternalRepresentation
11 replies
Aarktype
Created by Nicolas on 1/19/2025 in #questions
Extract schema inside an array
Re: OpenAPI 1. There is .json() that returns sorta schema you may want it 2. Lurk this server you're not the first to openapi
11 replies
Aarktype
Created by Nicolas on 1/19/2025 in #questions
Extract schema inside an array
I just remember David talking about it some time
11 replies
Aarktype
Created by Nicolas on 1/19/2025 in #questions
Extract schema inside an array
Idk how it's called check the sauce or runtime
11 replies