Effect.TS

deno.json

@@ -26,16 +26,19 @@
     "$fresh/": "https://deno.land/x/fresh@1.6.8/",
     "$gfm": "https://deno.land/x/gfm@0.6.0/mod.ts",
     "$tabler_icons/": "https://deno.land/x/tabler_icons_tsx@0.0.6/tsx/",
+    "@effect/schema": "npm:@effect/schema@^0.75.5",
     "@headlessui/react": "https://esm.sh/v135/*@headlessui/react@2.0.4",
     "@mdx-js/mdx": "npm:@mdx-js/mdx@3.0.1",
     "@preact/signals": "https://esm.sh/v135/*@preact/signals@1.2.3",
     "@preact/signals-core": "https://esm.sh/v135/*@preact/signals-core@1.6.1",
     "@std/assert": "jsr:@std/assert@^0.224.0",
+    "@std/fs": "jsr:@std/fs@^0.224.0",
     "@std/path": "jsr:@std/path@^0.224.0",
     "@tailwindcss/forms": "npm:@tailwindcss/forms@0.5.7",
     "@tailwindcss/typography": "npm:@tailwindcss/typography@0.5.13",
     "@vendor/": "./vendor/",
     "clsx": "npm:clsx@2.1.1",
+    "effect": "npm:effect@3.9.2",
     "idb-keyval": "npm:idb-keyval@6.2.1",
     "openai": "https://deno.land/x/openai@v4.50.0/mod.ts",
     "openai/": "https://deno.land/x/openai@v4.50.0/",
@@ -115,7 +118,6 @@
       ],
       "include": [
         "ban-untagged-todo",
-        "explicit-function-return-type",
         "explicit-module-boundary-types",
         "guard-for-in",
         "no-await-in-loop",

src/utils/solutions.test.ts

@@ -1,6 +1,7 @@
+import { Schema } from "@effect/schema";
 import { assertEquals, assertThrows } from "@std/assert";
 import { ZodError } from "zod";
-import { solutionPagesSchema } from "./solutions.ts";
+import { SolutionPagesSchema } from "./solutions.ts";
 
 /**
  * Test the solution pages schema.
@@ -21,28 +22,25 @@ Deno.test("Solution pages schema.", async (t: Deno.TestContext): Promise<void> =
       },
     ];
 
-    const actual = solutionPagesSchema.parse(value);
+    const actual = Schema.decodeUnknownSync(SolutionPagesSchema)(value);
     assertEquals(actual, value);
   });
 
   await t.step("Invalid data", async (t): Promise<void> => {
     await t.step("Empty", (): void => {
-      const actual = (): void => {
-        solutionPagesSchema.parse([{}]);
-      };
+      const actual = () => Schema.decodeUnknownSync(SolutionPagesSchema)([{}]);
       assertThrows(actual, Error, "Required");
     });
     await t.step("Missing category", (): void => {
-      const actual = (): void => {
-        solutionPagesSchema.parse([
+      const actual = () =>
+        Schema.decodeUnknownSync(SolutionPagesSchema)([
           {
             data: {
               title: "title",
               description: "description",
             },
           },
         ]);
-      };
       assertThrows(actual, ZodError, "Required");
     });
   });

src/utils/solutions.ts

@@ -1,18 +1,16 @@
-import { z } from "zod";
+import { Schema } from "@effect/schema";
 
 /**
  * The metadata for a solution.
  */
-export type SolutionData = z.infer<typeof solutionDataSchema>;
+export type SolutionData = typeof SolutionDataSchema.Type;
 
 /**
  * The set of solution pages with their metadata.
  */
-export type SolutionPages = z.infer<typeof solutionPagesSchema>;
+export type SolutionPages = typeof SolutionPagesSchema.Type;
 
-export type SolutionPage = z.infer<typeof solutionPageSchema>;
-
-const solutionDataSchemaDescription = "Metadata for the solution." as const;
+export type SolutionPage = typeof SolutionPageSchema.Type;
 
 /**
  * A list of categories, in order.
@@ -24,45 +22,52 @@ export const titleList = ["what", "environment", "cost", "worth-it"];
 /**
  * Represent the data for the solution pages.
  */
-export const solutionDataSchema = z
-  .object({
-    title: z.string().describe("The title of the solution."),
-    description: z
-      .string()
-      .refine((value) => !value.endsWith("."))
-      .describe("The description of the solution."),
-    category: z.string().describe("The category of the solution."),
-    sectionHeader: z
-      .string()
-      .describe("The section header for the category index page."),
-    heroImage: z
-      .string()
-      .refine((value) => value.match(avifImageRegex))
-      .describe("The image to use for the hero."),
-    icon: z
-      .string()
-      .describe("The url of a Tabler icon. Resolves with the import map"),
-  })
-  .passthrough()
-  .readonly()
-  .describe(solutionDataSchemaDescription);
+export const SolutionDataSchema = Schema.Struct({
+  title: Schema.String.annotations({
+    description: "The title of the solution.",
+  }),
+  description: Schema.String.pipe(
+    Schema.filter((value) => !value.endsWith(".")),
+  ).annotations({
+    description: "The description of the solution.",
+  }),
+  category: Schema.String.annotations({
+    description: "The category of the solution.",
+  }),
+  sectionHeader: Schema.String.annotations({
+    description: "The section header for the category index page.",
+  }),
+  heroImage: Schema.String.pipe(
+    Schema.filter((value) => avifImageRegex.test(value)),
+  ).annotations({
+    description: "The image to use for the hero.",
+  }),
+  icon: Schema.String.annotations({
+    description: "The url of a Tabler icon. Resolves with the import map",
+  }),
+}).annotations({
+  description: "Metadata for the solution.",
+  parseOptions: {
+    onExcessProperty: "preserve",
+  },
+});
 
 const avifImageRegex = /images\/.+.avif$/;
 
 /**
  * Represent a set of solution pages.
  */
-export const solutionPageSchema = z
-  .object({
-    slug: z
-      .string()
-      .optional()
-      .describe("The slug of the solution without a trailing slash."),
-    data: solutionDataSchema,
-  })
-  .strict()
-  .readonly()
-  .describe("A solution page.");
+export const SolutionPageSchema = Schema.Struct({
+  slug: Schema.String.pipe(Schema.optional).annotations({
+    description: "The slug of the solution without a trailing slash.",
+  }),
+  data: SolutionDataSchema,
+}).annotations({
+  description: "A solution page.",
+  parseOptions: {
+    onExcessProperty: "error",
+  },
+});
 
 /**
  * Represent a set of possible solution pages.
@@ -72,14 +77,14 @@ export const solutionPageSchema = z
  *
  * Just for typechecking.
  */
-const solutionPageNullableSchema = solutionPageSchema.optional();
+const SolutionPageNullableSchema = SolutionPageSchema.pipe(Schema.partial);
 
 /**
  * Represent a set of possible solution pages.
  */
-const solutionPagesNullableSchema = solutionPageNullableSchema
-  .array()
-  .readonly();
+const SolutionPagesNullableSchema = SolutionPageNullableSchema.pipe(
+  Schema.Array,
+);
 
 /**
  * Represent the data for the solution pages.
@@ -92,13 +97,12 @@ const solutionPagesNullableSchema = solutionPageNullableSchema
  * This is used to verify that the MDX frontmatter is correct when the category code is generated.
  * This also generates types so that TypeScript can typecheck solutions at compile time.
  */
-export const solutionPagesSchema = solutionPagesNullableSchema.transform(
-  (
-    val: z.infer<typeof solutionPagesNullableSchema>,
-  ): readonly z.infer<typeof solutionPageSchema>[] =>
-    val.filter(
-      (
-        val: z.infer<typeof solutionPageNullableSchema>,
-      ): val is z.infer<typeof solutionPageSchema> => val !== undefined,
-    ),
+export const SolutionPagesSchema = Schema.transform(
+  SolutionPagesNullableSchema,
+  Schema.typeSchema(SolutionPageSchema).pipe(Schema.Array),
+  {
+    strict: true,
+    decode: (val) => val.filter((val) => Schema.is(SolutionPageSchema)(val)),
+    encode: (val) => val.filter((val) => val.data !== undefined),
+  },
 );