値をzodのスキーマで検証するAssertion Functionを定義する

// ユーザー定義のtype guards
// 値の検証結果をbooleanで返す
function isString(value: unknown): value is string {
  return typeof value === 'string';
}

// Assertion Functions
function assertString(value: unknown): asserts value is string {
  if (typeof value !== 'string') {
    throw new Error('…');
  }
}

// Node.jsのassertモジュールも
// Assertion Functionsの恩恵を受けれるようになっていた気がする。
import assert from "assert";
const value: unknown = 'hoge';
assert(typeof value === 'string');
value; // string

import { z, ZodType } from "zod";

export function assertZodSchema<T extends ZodType<any, any, any>>(
  schema T,
  value: unknown
): asserts value is z.infer<T> {
  schema.parse(value);
}

import { z } from "zod";
import { assertZodType } from "./asserts";

const hogeSchema = z.string();

const value: unknown = 'hoge';
assertZodSchema(hogeSchema, value);
value; // string

export function assertZodSchema<T extends ZodType<any, any, any>>(
  zodType T,
  value: unknown
): asserts value is z.infer<T> {
  if (process.env.NODE_ENV !== 'production') {
    zodType.parse(value);
  }
}

function assertString(value: unknown): asserts value is string {
  // 何も…
  // 検証していないのである!!!
}

const value: unknown = 1000000;
assertString(value);
value; // 実態はnumberだが、TSの静的解析上はstringになり、実行時のどこかで死ぬかも