[benc/tstyche] Migrate remaining tests

Author: benchristel

packages/perseus-core/src/parse-perseus-json/general-purpose-parsers/test-helpers.ts

@@ -27,11 +27,3 @@ export function parseFailureWith(
 export function summon<T>(): T {
     return "fake summoned value" as any;
 }
-
-export type RecursiveRequired<T> = T extends object
-    ? RecursiveRequiredObject<T>
-    : T;
-
-type RecursiveRequiredObject<T extends object> = {
-    [K in keyof T]-?: RecursiveRequired<T[K]>;
-};

packages/perseus-core/src/parse-perseus-json/perseus-parsers/hint.typetest.ts

@@ -1,18 +1,14 @@
-// FIXME: update these tests to use tstyche. Follow the example of other tests
-// in this directory that import tstyche.
+import {describe, it, expect} from "tstyche";
 
-import {summon} from "../general-purpose-parsers/test-helpers";
+import {ctx} from "../general-purpose-parsers/test-helpers";
 
-import type {parseHint} from "./hint";
-import type {Hint} from "../../data-schema";
-import type {RecursiveRequired} from "../general-purpose-parsers/test-helpers";
-import type {ParsedValue} from "../parser-types";
-
-type Parsed = ParsedValue<typeof parseHint>;
+import {parseHint} from "./hint";
 
-summon<Parsed>() satisfies Hint;
-summon<Hint>() satisfies Parsed;
+import type {Hint} from "../../data-schema";
+import type {ParseResult} from "../parser-types";
 
-// The `RecursiveRequired` test ensures that any new optional properties added
-// to the types in data-schema.ts are also added to the parser.
-summon<RecursiveRequired<Parsed>>() satisfies RecursiveRequired<Hint>;
+describe("the Hint parser", () => {
+    it("should return the type defined in data-schema.ts", () => {
+        expect(parseHint({}, ctx())).type.toBe<ParseResult<Hint>>();
+    });
+});

packages/perseus-core/src/parse-perseus-json/perseus-parsers/legacy-button-sets.typetest.ts

@@ -1,20 +1,16 @@
-// FIXME: update these tests to use tstyche. Follow the example of other tests
-// in this directory that import tstyche.
+import {describe, it, expect} from "tstyche";
 
-import {summon} from "../general-purpose-parsers/test-helpers";
+import {ctx} from "../general-purpose-parsers/test-helpers";
 
-import type {parseLegacyButtonSets} from "./legacy-button-sets";
-import type {LegacyButtonSets} from "../../data-schema";
-import type {RecursiveRequired} from "../general-purpose-parsers/test-helpers";
-import type {ParsedValue} from "../parser-types";
-
-type Parsed = ParsedValue<typeof parseLegacyButtonSets>;
+import {parseLegacyButtonSets} from "./legacy-button-sets";
 
-summon<Parsed>() satisfies LegacyButtonSets;
-summon<LegacyButtonSets>() satisfies Parsed;
+import type {LegacyButtonSets} from "../../data-schema";
+import type {ParseResult} from "../parser-types";
 
-// The `RecursiveRequired` test ensures that any new optional properties added
-// to the types in data-schema.ts are also added to the parser.
-summon<
-    RecursiveRequired<Parsed>
->() satisfies RecursiveRequired<LegacyButtonSets>;
+describe("the LegacyButtonSets parser", () => {
+    it("should return the type defined in data-schema.ts", () => {
+        expect(parseLegacyButtonSets({}, ctx())).type.toBe<
+            ParseResult<LegacyButtonSets>
+        >();
+    });
+});

packages/perseus-core/src/parse-perseus-json/perseus-parsers/perseus-answer-area.typetest.ts

@@ -1,20 +1,16 @@
-// FIXME: update these tests to use tstyche. Follow the example of other tests
-// in this directory that import tstyche.
+import {describe, it, expect} from "tstyche";
 
-import {summon} from "../general-purpose-parsers/test-helpers";
+import {ctx} from "../general-purpose-parsers/test-helpers";
 
-import type {parsePerseusAnswerArea} from "./perseus-answer-area";
-import type {PerseusAnswerArea} from "../../data-schema";
-import type {RecursiveRequired} from "../general-purpose-parsers/test-helpers";
-import type {ParsedValue} from "../parser-types";
-
-type Parsed = ParsedValue<typeof parsePerseusAnswerArea>;
+import {parsePerseusAnswerArea} from "./perseus-answer-area";
 
-summon<Parsed>() satisfies PerseusAnswerArea;
-summon<PerseusAnswerArea>() satisfies Parsed;
+import type {PerseusAnswerArea} from "../../data-schema";
+import type {ParseResult} from "../parser-types";
 
-// The `RecursiveRequired` test ensures that any new optional properties added
-// to the types in data-schema.ts are also added to the parser.
-summon<
-    RecursiveRequired<Parsed>
->() satisfies RecursiveRequired<PerseusAnswerArea>;
+describe("the PerseusAnswerArea parser", () => {
+    it("should return the type defined in data-schema.ts", () => {
+        expect(parsePerseusAnswerArea({}, ctx())).type.toBe<
+            ParseResult<PerseusAnswerArea>
+        >();
+    });
+});

packages/perseus-core/src/parse-perseus-json/perseus-parsers/perseus-image-background.typetest.ts

@@ -1,20 +1,16 @@
-// FIXME: update these tests to use tstyche. Follow the example of other tests
-// in this directory that import tstyche.
+import {describe, it, expect} from "tstyche";
 
-import {summon} from "../general-purpose-parsers/test-helpers";
+import {ctx} from "../general-purpose-parsers/test-helpers";
 
-import type {parsePerseusImageBackground} from "./perseus-image-background";
-import type {PerseusImageBackground} from "../../data-schema";
-import type {RecursiveRequired} from "../general-purpose-parsers/test-helpers";
-import type {ParsedValue} from "../parser-types";
-
-type Parsed = ParsedValue<typeof parsePerseusImageBackground>;
+import {parsePerseusImageBackground} from "./perseus-image-background";
 
-summon<Parsed>() satisfies PerseusImageBackground;
-summon<PerseusImageBackground>() satisfies Parsed;
+import type {PerseusImageBackground} from "../../data-schema";
+import type {ParseResult} from "../parser-types";
 
-// The `RecursiveRequired` test ensures that any new optional properties added
-// to the types in data-schema.ts are also added to the parser.
-summon<
-    RecursiveRequired<Parsed>
->() satisfies RecursiveRequired<PerseusImageBackground>;
+describe("the PerseusImageBackground parser", () => {
+    it("should return the type defined in data-schema.ts", () => {
+        expect(parsePerseusImageBackground({}, ctx())).type.toBe<
+            ParseResult<PerseusImageBackground>
+        >();
+    });
+});

packages/perseus-core/src/parse-perseus-json/perseus-parsers/perseus-image-detail.typetest.ts

@@ -1,20 +1,16 @@
-// FIXME: update these tests to use tstyche. Follow the example of other tests
-// in this directory that import tstyche.
+import {describe, it, expect} from "tstyche";
 
-import {summon} from "../general-purpose-parsers/test-helpers";
+import {ctx} from "../general-purpose-parsers/test-helpers";
 
-import type {parsePerseusImageDetail} from "./perseus-image-detail";
-import type {PerseusImageDetail} from "../../data-schema";
-import type {RecursiveRequired} from "../general-purpose-parsers/test-helpers";
-import type {ParsedValue} from "../parser-types";
-
-type Parsed = ParsedValue<typeof parsePerseusImageDetail>;
+import {parsePerseusImageDetail} from "./perseus-image-detail";
 
-summon<Parsed>() satisfies PerseusImageDetail;
-summon<PerseusImageDetail>() satisfies Parsed;
+import type {PerseusImageDetail} from "../../data-schema";
+import type {ParseResult} from "../parser-types";
 
-// The `RecursiveRequired` test ensures that any new optional properties added
-// to the types in data-schema.ts are also added to the parser.
-summon<
-    RecursiveRequired<Parsed>
->() satisfies RecursiveRequired<PerseusImageDetail>;
+describe("the PerseusImageDetail parser", () => {
+    it("should return the type defined in data-schema.ts", () => {
+        expect(parsePerseusImageDetail({}, ctx())).type.toBe<
+            ParseResult<PerseusImageDetail>
+        >();
+    });
+});