fix(object): reference named object

src/array/index.ts

@@ -29,7 +29,7 @@ interface ArrayType<
   },
   NonEmpty extends boolean
 > extends SanityType<
-    ArrayFieldDef<never, never>,
+    ArrayFieldDef<any, any>,
     z.ZodArray<
       "00" extends Positions
         ? z.ZodUnion<
@@ -62,7 +62,7 @@ interface ArrayType<
 }
 
 type ArrayDef<NonEmpty extends boolean> = Omit<
-  ArrayFieldDef<never, never>,
+  ArrayFieldDef<any, any>,
   "description" | "of" | "type"
 > & {
   length?: number;

src/block/index.ts

@@ -6,12 +6,9 @@ import type { Faker } from "@faker-js/faker";
 import type { PortableTextBlock } from "@portabletext/types";
 
 interface BlockType
-  extends SanityType<
-    BlockFieldDef<never, never>,
-    z.ZodType<PortableTextBlock>
-  > {}
+  extends SanityType<BlockFieldDef<any, any>, z.ZodType<PortableTextBlock>> {}
 
-type BlockDef = Omit<BlockFieldDef<never, never>, "description" | "type">;
+type BlockDef = Omit<BlockFieldDef<any, any>, "description" | "type">;
 
 export const block = (
   def: BlockDef & {

src/document/index.ts

@@ -34,7 +34,7 @@ export interface DocumentType<
   DocumentName extends string,
   Fields extends FieldsType<any, any>
 > extends SanityType<
-    DocumentDef<DocumentName, never, InferFieldNames<Fields>, never, never>,
+    DocumentDef<DocumentName, any, InferFieldNames<Fields>, any, any>,
     ZodDocument<DocumentName, Fields>
   > {
   name: DocumentName;
@@ -45,7 +45,7 @@ export const document = <
   Fields extends FieldsType<any, any>
 >(
   def: Omit<
-    DocumentDef<DocumentName, never, InferFieldNames<Fields>, never, never>,
+    DocumentDef<DocumentName, any, InferFieldNames<Fields>, any, any>,
     "fields" | "preview" | "type"
   > & {
     fields: Fields;

src/fields/index.ts

@@ -16,7 +16,7 @@ interface FieldOptions<
   name: Name;
   optional?: Optional;
   title?: string;
-  type: SanityType<FieldTypeFields<never, never, Name>, Zod>;
+  type: SanityType<FieldTypeFields<any, any, Name>, Zod>;
 }
 
 type InferName<T extends FieldOptions<any, any, any>> = T extends FieldOptions<
@@ -44,7 +44,7 @@ export interface FieldsType<
     [field in FieldNames]: FieldOptions<field, any, any>;
   }
 > extends SanityType<
-    ObjectFieldDef<never, never, FieldNames, never>["fields"],
+    ObjectFieldDef<any, any, FieldNames, any>["fields"],
     z.ZodObject<
       {
         [field in FieldNames]: InferOptional<Fields[field]> extends true
@@ -196,7 +196,7 @@ export type Preview<Value> = ((object: Value) => Selection) | Selection;
 
 export const preview = <Value, FieldNames extends string>(
   preview: Preview<Value> | undefined,
-  fields: ObjectFieldDef<never, never, FieldNames, never>["fields"]
+  fields: ObjectFieldDef<any, any, FieldNames, any>["fields"]
 ) =>
   !preview
     ? undefined

src/file/index.ts

@@ -21,15 +21,15 @@ type ZodFile<Fields extends FieldsType<any, any>> = z.ZodIntersection<
 
 interface FileType<Fields extends FieldsType<any, any>>
   extends SanityType<
-    FileFieldDef<never, never, InferFieldNames<Fields>>,
+    FileFieldDef<any, any, InferFieldNames<Fields>>,
     ZodFile<Fields>
   > {}
 
 export const file = <
   Fields extends FieldsType<any, any> = FieldsType<never, Record<never, never>>
 >(
   def: Omit<
-    FileFieldDef<never, never, InferFieldNames<Fields>>,
+    FileFieldDef<any, any, InferFieldNames<Fields>>,
     "description" | "fields" | "preview" | "type"
   > & {
     fields?: Fields;

src/image/index.ts

@@ -46,7 +46,7 @@ interface ImageType<
   Hotspot extends boolean,
   Fields extends FieldsType<any, any>
 > extends SanityType<
-    ImageFieldDef<never, never, InferFieldNames<Fields>>,
+    ImageFieldDef<any, any, InferFieldNames<Fields>>,
     ZodImage<Hotspot, Fields>
   > {}
 
@@ -55,7 +55,7 @@ export const image = <
   Fields extends FieldsType<any, any> = FieldsType<never, Record<never, never>>
 >(
   def: Omit<
-    ImageFieldDef<never, never, InferFieldNames<Fields>>,
+    ImageFieldDef<any, any, InferFieldNames<Fields>>,
     "description" | "fields" | "preview" | "type"
   > & {
     fields?: Fields;

src/object/index.ts

@@ -14,13 +14,13 @@ import type { z } from "zod";
 
 interface ObjectType<Fields extends FieldsType<any, any>>
   extends SanityType<
-    ObjectFieldDef<never, never, InferFieldNames<Fields>, never>,
+    ObjectFieldDef<any, any, InferFieldNames<Fields>, any>,
     InferFieldsZod<Fields>
   > {}
 
 export const object = <Fields extends FieldsType<any, any>>(
   def: Omit<
-    ObjectFieldDef<never, never, InferFieldNames<Fields>, never>,
+    ObjectFieldDef<any, any, InferFieldNames<Fields>, any>,
     "description" | "fields" | "preview" | "type"
   > & {
     fields: Fields;

src/objectNamed/index.spec.ts

@@ -36,6 +36,29 @@ describe("object", () => {
     expect(parsedValue).toEqual(value);
   });
 
+  it("makes a reference", () => {
+    const type = objectNamed({ name: "foo", fields: fields() });
+
+    const type2 = objectNamed({
+      name: "bar",
+      fields: fields().field({ name: "foo", type: type.ref() }),
+    });
+
+    const value: ValidateShape<
+      InferInput<typeof type2>,
+      { _type: "bar"; foo: { _type: "foo" } }
+    > = {
+      _type: "bar",
+      foo: { _type: "foo" },
+    };
+    const parsedValue: ValidateShape<
+      InferOutput<typeof type2>,
+      { _type: "bar"; foo: { _type: "foo" } }
+    > = type2.parse(value);
+
+    expect(parsedValue).toEqual(value);
+  });
+
   it("adds fields", () => {
     const type = objectNamed({
       name: "foo",

src/objectNamed/index.ts

@@ -27,16 +27,21 @@ interface ObjectNamedType<
   ObjectNames extends string,
   Fields extends FieldsType<any, any>
 > extends SanityType<
-    ObjectDef<ObjectNames, never, InferFieldNames<Fields>, never>,
+    ObjectDef<ObjectNames, any, InferFieldNames<Fields>, any>,
     ZodObjectNamed<ObjectNames, Fields>
-  > {}
+  > {
+  ref: () => SanityType<
+    FieldDef<any, any> & { type: ObjectNames },
+    z.ZodObject<{ _type: z.ZodLiteral<ObjectNames> }>
+  >;
+}
 
 export const objectNamed = <
   ObjectNames extends string,
   Fields extends FieldsType<any, any>
 >(
   def: Omit<
-    ObjectDef<ObjectNames, never, InferFieldNames<Fields>, never>,
+    ObjectDef<ObjectNames, any, InferFieldNames<Fields>, any>,
     "description" | "fields" | "preview" | "type"
   > & {
     fields: Fields;
@@ -75,5 +80,15 @@ export const objectNamed = <
         preview: preview(previewDef, schemaForFields),
       };
     },
+    ref: () => {
+      const zod = z.object({ _type: z.literal(name) });
+
+      return {
+        zod,
+        parse: zod.parse.bind(zod),
+        mock: () => ({ _type: name }),
+        schema: () => ({ type: name }),
+      };
+    },
   };
 };

src/types.ts

@@ -1,12 +1,6 @@
 import type { z } from "zod";
 
-export interface SanityType<
-  // TODO Does this need to be strongly typed like this? Can it just be not typed?
-  Definition extends
-    | FieldDef<any, any>
-    | ObjectFieldDef<never, never, string, never>["fields"],
-  Zod extends z.ZodType<any, any, any>
-> {
+export interface SanityType<Definition, Zod extends z.ZodType<any, any, any>> {
   mock: () => z.input<Zod>;
   parse: (data: unknown) => z.infer<Zod>;
   schema: () => Definition;