arktype•17mo ago•

20 replies

Generic & intersection

JesusTheHun · 2024-10-28T19:59:58.818Z

I'm looking to have a helper `arkWithMetadata`, which basically takes a base type and add `{ metadata: { id: }}` I wanted to write this : ```ts export const arkWithMetadata = type( ' , id extends string>', "{ metadata: { id: 'id' } & doc" ); ``` But it doesn't work. I want to retain both types `doc` and `id`. Is there a way to do that ? I also tried to write a function : ```ts export function arkWithMetadata , const Id extends string, >(doc: Type , id: Type ) { return type(doc as any).and(id as any) as Type ; } ``` But it doesn't work either 🤷♂️ PS: I'm using `v2.0.0-rc.18`

I'm looking to have a helper

arkWithMetadata

arkWithMetadata

, which basically takes a base type and add

{ metadata: { id: <id> }}

{ metadata: { id: <id> }}

I wanted to write this :

export const arkWithMetadata = type(
  '<doc extends Record<string, unknown>, id extends string>',
  "{ metadata: { id: 'id' } & doc"
);

export const arkWithMetadata = type(
  '<doc extends Record<string, unknown>, id extends string>',
  "{ metadata: { id: 'id' } & doc"
);

But it doesn't work.
I want to retain both types

doc

doc

and

id

id

.
Is there a way to do that ?

I also tried to write a function :

export function arkWithMetadata<
  const Doc extends Record<string, unknown>,
  const Id extends string,
>(doc: Type<Doc>, id: Type<Id>) {
  return type(doc as any).and(id as any) as Type<
    Doc & { metadata: { id: Id; cas: string } }
  >;
}

export function arkWithMetadata<
  const Doc extends Record<string, unknown>,
  const Id extends string,
>(doc: Type<Doc>, id: Type<Id>) {
  return type(doc as any).and(id as any) as Type<
    Doc & { metadata: { id: Id; cas: string } }
  >;
}

But it doesn't work either

PS: I'm using

v2.0.0-rc.18

v2.0.0-rc.18

arktype•17mo ago•

20 replies

JesusTheHun

Generic & intersection

I'm looking to have a helper

arkWithMetadata

arkWithMetadata

, which basically takes a base type and add

{ metadata: { id: <id> }}

{ metadata: { id: <id> }}

I wanted to write this :

export const arkWithMetadata = type(
  '<doc extends Record<string, unknown>, id extends string>',
  "{ metadata: { id: 'id' } & doc"
);

export const arkWithMetadata = type(
  '<doc extends Record<string, unknown>, id extends string>',
  "{ metadata: { id: 'id' } & doc"
);

But it doesn't work.
I want to retain both types

doc

doc

and

id

id

.
Is there a way to do that ?

I also tried to write a function :

export function arkWithMetadata<
  const Doc extends Record<string, unknown>,
  const Id extends string,
>(doc: Type<Doc>, id: Type<Id>) {
  return type(doc as any).and(id as any) as Type<
    Doc & { metadata: { id: Id; cas: string } }
  >;
}

export function arkWithMetadata<
  const Doc extends Record<string, unknown>,
  const Id extends string,
>(doc: Type<Doc>, id: Type<Id>) {
  return type(doc as any).and(id as any) as Type<
    Doc & { metadata: { id: Id; cas: string } }
  >;
}

But it doesn't work either

PS: I'm using

v2.0.0-rc.18

v2.0.0-rc.18

Generic & intersection

Similar Threads

Generic & intersection

Similar Threads

Similar Threads

Similar Threads