I want to achieve the same effect as in the code below. ```ts const Props = v.object({ title: v.pipe(v.string(), v.url()) }) satisfies v.GenericSchema<{ title: string }>; ``` P.S. ```ts const Props = type.declare<{ title: string }, { side: 'out' }>().type({ title: 'string' }); ``` This code causes a type error. ```ts Żadne przeciążenie nie jest zgodne z tym wywołaniem. Przeciążenie 1 z 3, „(validate: "unchecked", fn: (data: RemoteFormInput, issue: Record) => MaybePromise): RemoteForm”, zwróciło następujący błąd. Nie można przypisać argumentu typu „Type<(In: { title: string; }) => { title: string; }, {}>” do parametru typu „"unchecked"”. Przeciążenie 2 z 3, „(validate: StandardSchemaV1>, fn: (data: Record, issue: Record) => MaybePromise<...>): RemoteForm<...>”, zwróciło następujący błąd. Nie można przypisać argumentu typu „Type<(In: { title: string; }) => { title: string; }, {}>” do parametru typu „StandardSchemaV1>”. Typy elementu „"~standard".types” są niezgodne między tymi typami. Typu „Types<(In: { title: string; }) => { title: string; }, (In: { title: string; }) => { title: string; }> | undefined” nie można przypisać do typu „Types> | undefined”. Typu „Types<(In: { title: string; }) => { title: string; }, (In: { title: string; }) => { title: string; }>” nie można przypisać do typu „Types>”. Typy właściwości „input” są niezgodne. Typu „(In: { title: string; }) => { title: string; }” nie można przypisać do typu „RemoteFormInput”. Brak sygnatury indeksu dla typu „string” w typie „(In: { title: string; }) => { title: string; }”. ```

arktype Discord Server