@nicolastoulemont/std 0.1.0

package/README.md

@@ -0,0 +1 @@
+# @nicolastoulemont/std

package/dist/adt/index.d.mts

@@ -0,0 +1,2 @@
+import { _ as VariantNames, a as record, c as CodecDef, d as Infer, f as InferInput, g as ValidationError, h as RecordObject, i as data, l as CodecError, m as RecordDef, n as MatchHandlers, o as ADT, p as InferOutput, r as match, s as CodecConstraint, t as createCodecError, u as ExtractSchema, v as VariantOf } from "../index-Dtq3kmln.mjs";
+export { ADT, CodecConstraint, CodecDef, CodecError, ExtractSchema, Infer, InferInput, InferOutput, MatchHandlers, RecordDef, RecordObject, ValidationError, VariantNames, VariantOf, createCodecError, data, match, record };

package/dist/adt/index.mjs

@@ -0,0 +1,3 @@
+import { i as createCodecError, n as data, r as record, t as match } from "../adt-DraJkmij.mjs";
+
+export { createCodecError, data, match, record };

package/dist/adt-DraJkmij.mjs

@@ -0,0 +1,318 @@
+import { i as createHashMethod, n as createADTHashMethod, r as createEqualsMethod, t as createADTEqualsMethod } from "./equality-YMebYwm1.mjs";
+import { t as isPromise } from "./is-promise-BEl3eGZg.mjs";
+import { n as err, r as ok } from "./result-C5tPWR60.mjs";
+
+//#region src/shared/is-plain-object.ts
+/**
+* Check if a value is a plain object.
+* A plain object is an object created with `{}`, `Object.create(null)`, or `new Object()`.
+* Arrays, functions, dates, maps, etc. are not considered plain objects.
+*/
+function isPlainObject(value) {
+	if (value === null || typeof value !== "object") return false;
+	const proto = Object.getPrototypeOf(value);
+	return proto === null || proto === Object.prototype;
+}
+
+//#endregion
+//#region src/adt/adt.utils.ts
+/**
+* Check if a value is a RecordObject created by record().
+* RecordObjects are callable functions with static properties.
+*/
+function isRecord(value) {
+	return typeof value === "function" && "_record" in value && value["_record"] === true;
+}
+/**
+* Wrap Standard Schema validation result into our Result type.
+*/
+function wrapValidationResult(result) {
+	if (result.issues) return err({ issues: result.issues.map((issue) => ({
+		message: issue.message,
+		path: issue.path?.map((segment) => typeof segment === "object" && "key" in segment ? segment.key : segment)
+	})) });
+	return ok(result.value);
+}
+/**
+* Validate data using a Standard Schema, enforcing sync-only validation.
+* Throws if the schema returns a Promise.
+*/
+function validateSync(schema, data$1, __typename) {
+	const result = schema["~standard"].validate(data$1);
+	if (isPromise(result)) throw new Error(`Async validation not supported. Schema for "${__typename}" returned a Promise. Use a synchronous schema or handle async validation separately.`);
+	return wrapValidationResult(result);
+}
+/**
+* Create a type guard function for a specific __typename.
+*/
+function createIsGuard(__typename) {
+	return (value) => {
+		return isPlainObject(value) && "__typename" in value && value["__typename"] === __typename;
+	};
+}
+/**
+* Create a type guard function for multiple __typenames (ADT root guard).
+*/
+function createIsAnyGuard(__typenames) {
+	const __typenameSet = new Set(__typenames);
+	return (value) => {
+		return isPlainObject(value) && "__typename" in value && typeof value["__typename"] === "string" && __typenameSet.has(value["__typename"]);
+	};
+}
+
+//#endregion
+//#region src/adt/adt.codec.ts
+/**
+* Create a CodecError with consistent structure.
+*/
+function createCodecError(kind, message, cause, validationIssues) {
+	if (cause !== void 0 && validationIssues !== void 0) return {
+		kind,
+		message,
+		cause,
+		validationIssues
+	};
+	if (cause !== void 0) return {
+		kind,
+		message,
+		cause
+	};
+	if (validationIssues !== void 0) return {
+		kind,
+		message,
+		validationIssues
+	};
+	return {
+		kind,
+		message
+	};
+}
+/**
+* Built-in JSON codec that works with any schema.
+* Encodes to JSON string and decodes with JSON.parse.
+*/
+function createJsonCodec(__typename) {
+	return {
+		to: (value) => {
+			return JSON.stringify(value);
+		},
+		from: (input) => {
+			try {
+				const parsed = JSON.parse(input);
+				if (typeof parsed === "object" && parsed !== null && "__typename" in parsed) {
+					const { __typename: _, ...rest } = parsed;
+					return rest;
+				}
+				return parsed;
+			} catch {
+				return null;
+			}
+		}
+	};
+}
+/**
+* Create the "to" methods object with JSON codec and custom codecs.
+* All methods return Result<T, CodecError> for consistent error handling.
+*/
+function createToMethods(__typename, schema, customCodecs) {
+	const jsonCodec = createJsonCodec(__typename);
+	const to = { json: (value) => {
+		const result = validateSync(schema, {
+			...value,
+			__typename
+		}, __typename);
+		if (!result.ok) return err(createCodecError("ValidationError", `Cannot encode invalid data: ${result.error.issues.map((i) => i.message).join(", ")}`, void 0, result.error.issues));
+		try {
+			return ok(jsonCodec.to(result.value));
+		} catch (e) {
+			return err(createCodecError("EncodingError", `JSON encoding failed: ${e instanceof Error ? e.message : String(e)}`, e));
+		}
+	} };
+	if (customCodecs) for (const [name, codec] of Object.entries(customCodecs)) to[name] = (value) => {
+		const result = validateSync(schema, {
+			...value,
+			__typename
+		}, __typename);
+		if (!result.ok) return err(createCodecError("ValidationError", `Cannot encode invalid data: ${result.error.issues.map((i) => i.message).join(", ")}`, void 0, result.error.issues));
+		try {
+			return ok(codec.to(result.value));
+		} catch (e) {
+			return err(createCodecError("EncodingError", `Encoding with codec '${name}' failed: ${e instanceof Error ? e.message : String(e)}`, e));
+		}
+	};
+	return to;
+}
+/**
+* Create the "from" methods object with JSON codec and custom codecs.
+* All methods return Result<T, CodecError> for consistent error handling.
+*/
+function createFromMethods(__typename, schema, customCodecs) {
+	const jsonCodec = createJsonCodec(__typename);
+	const from = { json: (input) => {
+		const decoded = jsonCodec.from(input);
+		if (decoded === null) return err(createCodecError("DecodingError", "Invalid JSON format"));
+		const result = validateSync(schema, {
+			...decoded,
+			__typename
+		}, __typename);
+		if (!result.ok) return err(createCodecError("ValidationError", "Decoded data failed schema validation", void 0, result.error.issues));
+		return ok({
+			...result.value,
+			__typename
+		});
+	} };
+	if (customCodecs) for (const [name, codec] of Object.entries(customCodecs)) from[name] = (input) => {
+		let decoded;
+		try {
+			decoded = codec.from(input);
+		} catch (e) {
+			return err(createCodecError("DecodingError", `Decoding with codec '${name}' threw an error`, e));
+		}
+		if (decoded === null) return err(createCodecError("DecodingError", `Codec '${name}' failed to decode input`));
+		const result = validateSync(schema, {
+			...decoded,
+			__typename
+		}, __typename);
+		if (!result.ok) return err(createCodecError("ValidationError", "Decoded data failed schema validation", void 0, result.error.issues));
+		return ok({
+			...result.value,
+			__typename
+		});
+	};
+	return from;
+}
+
+//#endregion
+//#region src/adt/adt.record.ts
+function record(__typename, schema, codecs) {
+	const isGuard = createIsGuard(__typename);
+	const to = createToMethods(__typename, schema, codecs);
+	const from = createFromMethods(__typename, schema, codecs);
+	const equals = createEqualsMethod(__typename);
+	const hash = createHashMethod(__typename);
+	const constructor = (input) => {
+		const result = validateSync(schema, {
+			...input,
+			__typename
+		}, __typename);
+		if (!result.ok) return err(result.error);
+		return ok({
+			...result.value,
+			__typename
+		});
+	};
+	constructor._record = true;
+	constructor.__typename = __typename;
+	constructor.schema = schema;
+	if (codecs) constructor.codecs = codecs;
+	constructor.is = isGuard;
+	constructor.to = to;
+	constructor.from = from;
+	constructor.equals = equals;
+	constructor.hash = hash;
+	return constructor;
+}
+
+//#endregion
+//#region src/adt/adt.data.ts
+/**
+* Compose records or schemas into a discriminated union (ADT).
+*
+* Accepts either:
+* - Pre-built RecordObjects from record() (codecs are preserved)
+* - Raw Standard Schema validators (will be wrapped internally)
+*
+* When using pre-built records, the object key overrides the original __typename.
+*
+* @template R - Record of variant names to RecordObjects or StandardSchema validators
+* @param name - The name of this ADT (for identification)
+* @param records - An object mapping __typename names to RecordObjects or schemas
+* @returns An ADT object with accessors for each variant
+*
+* @see {@link record} for creating individual record types
+* @see {@link match} for exhaustive pattern matching on ADT values
+*
+* @example
+* ```ts
+* // From pre-built records
+* const Circle = record('Circle', CircleSchema)
+* const Square = record('Square', SquareSchema)
+* const Shape = data('Shape', { Circle, Square })
+*
+* // From raw schemas (JSON codec is automatically included)
+* const Shape = data('Shape', {
+*   Circle: CircleSchema,
+*   Square: SquareSchema
+* })
+*
+* // JSON codec works on all variants
+* Shape.Circle.to.json({ radius: 10 })
+* Shape.Circle.from.json(jsonString)
+*
+* // Mixed
+* const Shape = data('Shape', {
+*   Circle,              // Pre-built record
+*   Square: SquareSchema // Raw schema
+* })
+*
+* // Usage
+* Shape.Circle({ radius: 10 })
+* Shape.is(someValue)        // type guard for any variant
+* Shape.Circle.is(someValue) // type guard for Circle
+* ```
+*/
+function data(name, records) {
+	const typenames = Object.keys(records);
+	const variants = {};
+	for (const [__typename, def] of Object.entries(records)) if (isRecord(def)) if (def.__typename === __typename) variants[__typename] = def;
+	else if (def.codecs) variants[__typename] = record(__typename, def.schema, def.codecs);
+	else variants[__typename] = record(__typename, def.schema);
+	else variants[__typename] = record(__typename, def);
+	return {
+		_name: name,
+		is: createIsAnyGuard(typenames),
+		equals: createADTEqualsMethod(typenames),
+		hash: createADTHashMethod(typenames),
+		...variants
+	};
+}
+
+//#endregion
+//#region src/adt/adt.match.ts
+/**
+* Exhaustive pattern matching for discriminated unions.
+*
+* TypeScript will error if any variant is missing from handlers,
+* ensuring exhaustive handling of all cases.
+*
+* @template T - The discriminated union type (must have readonly __typename)
+* @template TResult - The return type of all handlers
+* @template Handlers - The handler object type (inferred)
+* @param value - A discriminated union value with __typename
+* @param handlers - An object with a handler function for each variant
+* @returns The result of calling the matching handler
+*
+* @see {@link data} for creating discriminated unions
+* @see {@link record} for creating individual record types
+*
+* @example
+* ```ts
+* const Shape = data('Shape', { Circle, Square })
+* type Shape = Infer<typeof Shape>
+*
+* function describeShape(shape: Shape): string {
+*   return match(shape, {
+*     Circle: (c) => `Circle with radius ${c.radius}`,
+*     Square: (s) => `Square with size ${s.size}`,
+*   })
+* }
+* ```
+*/
+function match(value, handlers) {
+	const handler = handlers[value.__typename];
+	return handler(value);
+}
+
+//#endregion
+export { createCodecError as i, data as n, record as r, match as t };
+//# sourceMappingURL=adt-DraJkmij.mjs.map

package/dist/adt-DraJkmij.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"adt-DraJkmij.mjs","names":["data"],"sources":["../src/shared/is-plain-object.ts","../src/adt/adt.utils.ts","../src/adt/adt.codec.ts","../src/adt/adt.record.ts","../src/adt/adt.data.ts","../src/adt/adt.match.ts"],"sourcesContent":["/**\n * Check if a value is a plain object.\n * A plain object is an object created with `{}`, `Object.create(null)`, or `new Object()`.\n * Arrays, functions, dates, maps, etc. are not considered plain objects.\n */\nexport function isPlainObject(value: unknown): value is Record<PropertyKey, unknown> {\n  if (value === null || typeof value !== \"object\") {\n    return false\n  }\n\n  const proto = Object.getPrototypeOf(value)\n  return proto === null || proto === Object.prototype\n}\n","import { ok, err } from \"../result/result\"\nimport type { Result } from \"../result/result.types\"\nimport { isPlainObject } from \"../shared/is-plain-object\"\nimport { isPromise } from \"../shared/is-promise\"\nimport type { RecordObject, ValidationError } from \"./adt.types\"\nimport type { StandardSchemaV1 } from \"@standard-schema/spec\"\n\n/**\n * Check if a value is a RecordObject created by record().\n * RecordObjects are callable functions with static properties.\n */\nexport function isRecord(value: unknown): value is RecordObject {\n  return typeof value === \"function\" && \"_record\" in value && value[\"_record\"] === true\n}\n\n/**\n * Wrap Standard Schema validation result into our Result type.\n */\nfunction wrapValidationResult<T>(result: StandardSchemaV1.Result<T>): Result<T, ValidationError> {\n  if (result.issues) {\n    return err({\n      issues: result.issues.map((issue) => ({\n        message: issue.message,\n        path: issue.path?.map((segment) => (typeof segment === \"object\" && \"key\" in segment ? segment.key : segment)),\n      })),\n    })\n  }\n  return ok(result.value)\n}\n\n/**\n * Validate data using a Standard Schema, enforcing sync-only validation.\n * Throws if the schema returns a Promise.\n */\nexport function validateSync<T>(\n  schema: StandardSchemaV1<unknown, T>,\n  data: unknown,\n  __typename: string,\n): Result<T, ValidationError> {\n  const result = schema[\"~standard\"].validate(data)\n\n  if (isPromise(result)) {\n    throw new Error(\n      `Async validation not supported. Schema for \"${__typename}\" returned a Promise. ` +\n        `Use a synchronous schema or handle async validation separately.`,\n    )\n  }\n\n  return wrapValidationResult(result)\n}\n\n/**\n * Create a type guard function for a specific __typename.\n */\nexport function createIsGuard<Typename extends string, T>(\n  __typename: Typename,\n): (value: unknown) => value is T & { readonly __typename: Typename } {\n  return (value: unknown): value is T & { readonly __typename: Typename } => {\n    return isPlainObject(value) && \"__typename\" in value && value[\"__typename\"] === __typename\n  }\n}\n\n/**\n * Create a type guard function for multiple __typenames (ADT root guard).\n */\nexport function createIsAnyGuard<T>(__typenames: readonly string[]): (value: unknown) => value is T {\n  const __typenameSet = new Set(__typenames)\n  return (value: unknown): value is T => {\n    return (\n      isPlainObject(value) &&\n      \"__typename\" in value &&\n      typeof value[\"__typename\"] === \"string\" &&\n      __typenameSet.has(value[\"__typename\"])\n    )\n  }\n}\n","import { ok, err } from \"../result/result\"\nimport type { Result } from \"../result/result.types\"\nimport type { Discriminator } from \"../shared/discriminator.types\"\nimport type {\n  CodecConstraint,\n  CodecDef,\n  CodecError,\n  InferInput,\n  InferOutput,\n  ValidationError,\n  ToMethods,\n  FromMethods,\n} from \"./adt.types\"\nimport { validateSync } from \"./adt.utils\"\nimport type { StandardSchemaV1 } from \"@standard-schema/spec\"\n\n/**\n * Create a CodecError with consistent structure.\n */\nexport function createCodecError(\n  kind: CodecError[\"kind\"],\n  message: string,\n  cause?: unknown,\n  validationIssues?: ValidationError[\"issues\"],\n): CodecError {\n  if (cause !== undefined && validationIssues !== undefined) {\n    return { kind, message, cause, validationIssues }\n  }\n  if (cause !== undefined) {\n    return { kind, message, cause }\n  }\n  if (validationIssues !== undefined) {\n    return { kind, message, validationIssues }\n  }\n  return { kind, message }\n}\n\n/**\n * Built-in JSON codec that works with any schema.\n * Encodes to JSON string and decodes with JSON.parse.\n */\nexport function createJsonCodec<Typename extends string, S extends StandardSchemaV1>(\n  __typename: Typename,\n): CodecDef<InferOutput<S> & Discriminator<Typename>, string, InferInput<S>> {\n  return {\n    to: (value) => {\n      // JSON.stringify can throw for circular references, BigInt, etc.\n      // We let it throw and catch it in the wrapper\n      return JSON.stringify(value)\n    },\n    /* oxlint-disable no-unsafe-assignment, no-unsafe-type-assertion, no-unsafe-return -- Required for JSON parsing which returns unknown types */\n    from: (input: string) => {\n      try {\n        const parsed = JSON.parse(input)\n        // Return parsed object without __typename - it will be added during validation\n        if (typeof parsed === \"object\" && parsed !== null && \"__typename\" in parsed) {\n          const { __typename: _, ...rest } = parsed\n          return rest as InferInput<S>\n        }\n        return parsed\n      } catch {\n        return null\n      }\n    },\n    /* oxlint-enable no-unsafe-assignment, no-unsafe-type-assertion, no-unsafe-return */\n  }\n}\n\n/**\n * Create the \"to\" methods object with JSON codec and custom codecs.\n * All methods return Result<T, CodecError> for consistent error handling.\n */\nexport function createToMethods<\n  Typename extends string,\n  S extends StandardSchemaV1,\n  Codecs extends CodecConstraint<Typename, S> | undefined = undefined,\n>(__typename: Typename, schema: S, customCodecs?: Codecs): ToMethods<S, Codecs> {\n  type Output = InferOutput<S> & Discriminator<Typename>\n\n  const jsonCodec = createJsonCodec<Typename, S>(__typename)\n\n  // eslint-disable-next-line @typescript-eslint/no-explicit-any\n  const to: Record<string, (value: InferInput<S>) => Result<any, CodecError>> = {\n    json: (value: InferInput<S>): Result<string, CodecError> => {\n      // First, create a validated record to ensure we're encoding valid data\n      // oxlint-disable-next-line no-unsafe-type-assertion -- Required for spreading generic input into object\n      const taggedInput = { ...(value as object), __typename }\n      const result = validateSync(schema, taggedInput, __typename)\n\n      if (!result.ok) {\n        return err(\n          createCodecError(\n            \"ValidationError\",\n            `Cannot encode invalid data: ${result.error.issues.map((i) => i.message).join(\", \")}`,\n            undefined,\n            result.error.issues,\n          ),\n        )\n      }\n\n      try {\n        // oxlint-disable-next-line no-unsafe-type-assertion -- Required for validated value cast\n        return ok(jsonCodec.to(result.value as Output))\n      } catch (e) {\n        return err(\n          createCodecError(\"EncodingError\", `JSON encoding failed: ${e instanceof Error ? e.message : String(e)}`, e),\n        )\n      }\n    },\n  }\n\n  // Add custom codecs\n  if (customCodecs) {\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    for (const [name, codec] of Object.entries(customCodecs) as Array<[string, CodecDef<Output, any, any>]>) {\n      // eslint-disable-next-line @typescript-eslint/no-explicit-any\n      to[name] = (value: InferInput<S>): Result<any, CodecError> => {\n        // Validate input first\n        // oxlint-disable-next-line no-unsafe-type-assertion -- Required for spreading generic input\n        const taggedInput = { ...(value as object), __typename }\n        const result = validateSync(schema, taggedInput, __typename)\n\n        if (!result.ok) {\n          return err(\n            createCodecError(\n              \"ValidationError\",\n              `Cannot encode invalid data: ${result.error.issues.map((i) => i.message).join(\", \")}`,\n              undefined,\n              result.error.issues,\n            ),\n          )\n        }\n\n        try {\n          // oxlint-disable-next-line no-unsafe-type-assertion -- Required for validated value cast\n          return ok(codec.to(result.value as Output))\n        } catch (e) {\n          return err(\n            createCodecError(\n              \"EncodingError\",\n              `Encoding with codec '${name}' failed: ${e instanceof Error ? e.message : String(e)}`,\n              e,\n            ),\n          )\n        }\n      }\n    }\n  }\n\n  // oxlint-disable-next-line no-unsafe-type-assertion -- Required for generic return type\n  return to as ToMethods<S, Codecs>\n}\n\n/**\n * Create the \"from\" methods object with JSON codec and custom codecs.\n * All methods return Result<T, CodecError> for consistent error handling.\n */\nexport function createFromMethods<\n  Typename extends string,\n  S extends StandardSchemaV1,\n  Codecs extends CodecConstraint<Typename, S> | undefined = undefined,\n>(__typename: Typename, schema: S, customCodecs?: Codecs): FromMethods<Typename, S, Codecs> {\n  type Output = InferOutput<S> & Discriminator<Typename>\n\n  const jsonCodec = createJsonCodec<Typename, S>(__typename)\n\n  // eslint-disable-next-line @typescript-eslint/no-explicit-any\n  const from: Record<string, (input: any) => Result<Output, CodecError>> = {\n    json: (input: string): Result<Output, CodecError> => {\n      // Decode\n      const decoded = jsonCodec.from(input)\n      if (decoded === null) {\n        return err(createCodecError(\"DecodingError\", \"Invalid JSON format\"))\n      }\n\n      // Validate through schema\n      // oxlint-disable-next-line no-unsafe-type-assertion -- Required for spreading decoded value\n      const taggedInput = { ...(decoded as object), __typename }\n      const result = validateSync(schema, taggedInput, __typename)\n\n      if (!result.ok) {\n        return err(\n          createCodecError(\"ValidationError\", \"Decoded data failed schema validation\", undefined, result.error.issues),\n        )\n      }\n\n      // Ensure __typename in output\n      // oxlint-disable-next-line no-unsafe-type-assertion -- Required for output construction\n      const output = { ...(result.value as object), __typename } as Output\n      return ok(output)\n    },\n  }\n\n  // Add custom codecs\n  if (customCodecs) {\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    for (const [name, codec] of Object.entries(customCodecs) as Array<[string, CodecDef<Output, any, any>]>) {\n      from[name] = (input: unknown): Result<Output, CodecError> => {\n        // Decode\n        let decoded: unknown\n        try {\n          decoded = codec.from(input)\n        } catch (e) {\n          return err(createCodecError(\"DecodingError\", `Decoding with codec '${name}' threw an error`, e))\n        }\n\n        if (decoded === null) {\n          return err(createCodecError(\"DecodingError\", `Codec '${name}' failed to decode input`))\n        }\n\n        // Validate through schema\n        // oxlint-disable-next-line no-unsafe-type-assertion -- Required for spreading decoded value\n        const taggedInput = { ...(decoded as object), __typename }\n        const result = validateSync(schema, taggedInput, __typename)\n\n        if (!result.ok) {\n          return err(\n            createCodecError(\n              \"ValidationError\",\n              \"Decoded data failed schema validation\",\n              undefined,\n              result.error.issues,\n            ),\n          )\n        }\n\n        // Ensure __typename in output\n        // oxlint-disable-next-line no-unsafe-type-assertion -- Required for output construction\n        const output = { ...(result.value as object), __typename } as Output\n        return ok(output)\n      }\n    }\n  }\n\n  // oxlint-disable-next-line no-unsafe-type-assertion -- Required for generic return type\n  return from as FromMethods<Typename, S, Codecs>\n}\n","import { createEqualsMethod, createHashMethod } from \"../equality/equality\"\nimport { ok, err } from \"../result/result\"\nimport type { Result } from \"../result/result.types\"\nimport type { Discriminator } from \"../shared/discriminator.types\"\nimport { createToMethods, createFromMethods } from \"./adt.codec\"\nimport type { CodecConstraint, InferInput, InferOutput, RecordObject, ValidationError } from \"./adt.types\"\nimport { createIsGuard, validateSync } from \"./adt.utils\"\nimport type { StandardSchemaV1 } from \"@standard-schema/spec\"\n\n/**\n * Create a standalone tagged record from a Standard Schema with optional codecs.\n *\n * Records can be used independently or composed into an ADT via data().\n * All defaults should be defined at the schema level (e.g., Zod's .default()).\n *\n * @template Typename - The string literal type for the __typename discriminator\n * @template S - The Standard Schema type for validation\n * @template Codecs - Optional codec definitions for custom serialization formats\n * @param __typename - The __typename discriminator value\n * @param schema - A Standard Schema compliant validator\n * @param codecs - Optional codec definitions for custom serialization formats\n * @returns A callable RecordObject with is(), to, and from methods\n *\n * @see {@link data} for composing records into discriminated unions\n * @see {@link tagged} for unvalidated tagged value constructors\n *\n * @example\n * ```ts\n * const CircleSchema = z.object({\n *   radius: z.number().positive(),\n *   color: z.string().default('blue')\n * })\n *\n * // Basic record with JSON codec (always included)\n * const Circle = record('Circle', CircleSchema)\n *\n * const result = Circle({ radius: 10 })\n * // { ok: true, value: { __typename: 'Circle', radius: 10, color: 'blue' } }\n *\n * Circle.is(someValue) // type guard\n *\n * const json = Circle.to.json({ radius: 10 }) // JSON string\n * const result2 = Circle.from.json(json) // Result<Circle, CodecError>\n *\n * // Record with custom codec\n * const Circle2 = record('Circle', CircleSchema, {\n *   graphic: {\n *     to: (circle) => `(${circle.radius})`,\n *     from: (input: string) => {\n *       const match = input.match(/^\\((\\d+)\\)$/)\n *       return match ? { radius: parseInt(match[1]!) } : null\n *     }\n *   }\n * })\n *\n * const graphic = Circle2.to.graphic({ radius: 10 }) // \"(10)\"\n * const result3 = Circle2.from.graphic(\"(10)\") // Result<Circle, CodecError>\n * ```\n */\n// Overload: with codecs\nexport function record<\n  Typename extends string,\n  S extends StandardSchemaV1,\n  Codecs extends CodecConstraint<Typename, S>,\n>(__typename: Typename, schema: S, codecs: Codecs): RecordObject<Typename, S, Codecs>\n\n// Overload: without codecs\nexport function record<Typename extends string, S extends StandardSchemaV1>(\n  __typename: Typename,\n  schema: S,\n): RecordObject<Typename, S>\n\n// Implementation\nexport function record<\n  Typename extends string,\n  S extends StandardSchemaV1,\n  Codecs extends CodecConstraint<Typename, S> | undefined,\n>(__typename: Typename, schema: S, codecs?: Codecs): RecordObject<Typename, S, Codecs> {\n  type Output = InferOutput<S> & Discriminator<Typename>\n\n  const isGuard = createIsGuard<Typename, Output>(__typename)\n  const to = createToMethods(__typename, schema, codecs)\n  const from = createFromMethods(__typename, schema, codecs)\n  const equals = createEqualsMethod<Typename, InferOutput<S>>(__typename)\n  const hash = createHashMethod<Typename, InferOutput<S>>(__typename)\n\n  // Constructor function\n  const constructor = (input: InferInput<S>): Result<Output, ValidationError> => {\n    // Add __typename to the input before validation\n    // oxlint-disable-next-line no-unsafe-type-assertion -- Required for spreading generic input\n    const taggedInput = { ...(input as object), __typename }\n\n    // Validate using the schema\n    const result = validateSync(schema, taggedInput, __typename)\n\n    if (!result.ok) {\n      return err(result.error)\n    }\n\n    // Ensure __typename is in the output (schema might strip unknown keys)\n    // oxlint-disable-next-line no-unsafe-type-assertion -- Required for output construction\n    const output = { ...(result.value as object), __typename } as Output\n    return ok(output)\n  }\n\n  // Attach static properties to constructor function\n  constructor._record = true as const\n  constructor.__typename = __typename\n  constructor.schema = schema\n  if (codecs) {\n    // oxlint-disable-next-line no-unsafe-type-assertion -- Conditional assignment of codecs\n    ;(constructor as { codecs?: Codecs }).codecs = codecs\n  }\n  constructor.is = isGuard\n  constructor.to = to\n  constructor.from = from\n  constructor.equals = equals\n  constructor.hash = hash\n\n  return constructor as RecordObject<Typename, S, Codecs>\n}\n","import { createADTEqualsMethod, createADTHashMethod } from \"../equality/equality\"\nimport { record } from \"./adt.record\"\nimport type { ADT, RecordDef, RecordObject } from \"./adt.types\"\nimport { createIsAnyGuard, isRecord } from \"./adt.utils\"\nimport type { StandardSchemaV1 } from \"@standard-schema/spec\"\n\n/**\n * Compose records or schemas into a discriminated union (ADT).\n *\n * Accepts either:\n * - Pre-built RecordObjects from record() (codecs are preserved)\n * - Raw Standard Schema validators (will be wrapped internally)\n *\n * When using pre-built records, the object key overrides the original __typename.\n *\n * @template R - Record of variant names to RecordObjects or StandardSchema validators\n * @param name - The name of this ADT (for identification)\n * @param records - An object mapping __typename names to RecordObjects or schemas\n * @returns An ADT object with accessors for each variant\n *\n * @see {@link record} for creating individual record types\n * @see {@link match} for exhaustive pattern matching on ADT values\n *\n * @example\n * ```ts\n * // From pre-built records\n * const Circle = record('Circle', CircleSchema)\n * const Square = record('Square', SquareSchema)\n * const Shape = data('Shape', { Circle, Square })\n *\n * // From raw schemas (JSON codec is automatically included)\n * const Shape = data('Shape', {\n *   Circle: CircleSchema,\n *   Square: SquareSchema\n * })\n *\n * // JSON codec works on all variants\n * Shape.Circle.to.json({ radius: 10 })\n * Shape.Circle.from.json(jsonString)\n *\n * // Mixed\n * const Shape = data('Shape', {\n *   Circle,              // Pre-built record\n *   Square: SquareSchema // Raw schema\n * })\n *\n * // Usage\n * Shape.Circle({ radius: 10 })\n * Shape.is(someValue)        // type guard for any variant\n * Shape.Circle.is(someValue) // type guard for Circle\n * ```\n */\nexport function data<R extends Record<string, RecordDef>>(name: string, records: R): ADT<R> {\n  const typenames = Object.keys(records)\n  const variants: Record<string, RecordObject> = {}\n\n  for (const [__typename, def] of Object.entries(records)) {\n    if (isRecord(def)) {\n      // Pre-built RecordObject - key overrides original __typename\n      if (def.__typename === __typename) {\n        // __typename matches key, use as-is (preserves codecs)\n        variants[__typename] = def\n        // oxlint-disable-next-line strict-boolean-expressions -- codecs can be undefined\n      } else if (def.codecs) {\n        // __typename differs from key - create new record with key as __typename\n        // Preserve codecs\n        variants[__typename] = record(__typename, def.schema, def.codecs)\n      } else {\n        // __typename differs from key and no codecs\n        variants[__typename] = record(__typename, def.schema)\n      }\n    } else {\n      // Raw schema - wrap in record\n      // Note: Even without custom codecs, this still gets JSON codec!\n      // oxlint-disable-next-line no-unsafe-type-assertion -- def is a StandardSchemaV1 in this branch\n      variants[__typename] = record(__typename, def as StandardSchemaV1)\n    }\n  }\n\n  // Create the root type guard for any variant\n  const isAnyVariant = createIsAnyGuard(typenames)\n  const equals = createADTEqualsMethod(typenames)\n  const hash = createADTHashMethod(typenames)\n\n  // oxlint-disable-next-line no-unsafe-type-assertion -- Required for generic ADT return type\n  return {\n    _name: name,\n    is: isAnyVariant,\n    equals,\n    hash,\n    ...variants,\n  } as ADT<R>\n}\n","/**\n * Handler functions for each variant in a discriminated union.\n * Each key maps to a function that receives the variant value and returns TResult.\n *\n * @template T - The discriminated union type (must have readonly __typename)\n * @template TResult - The return type of all handlers\n */\nexport type MatchHandlers<T extends { readonly __typename: string }, TResult> = {\n  [K in T[\"__typename\"]]: (value: Extract<T, { readonly __typename: K }>) => TResult\n}\n\n/**\n * Exhaustive pattern matching for discriminated unions.\n *\n * TypeScript will error if any variant is missing from handlers,\n * ensuring exhaustive handling of all cases.\n *\n * @template T - The discriminated union type (must have readonly __typename)\n * @template TResult - The return type of all handlers\n * @template Handlers - The handler object type (inferred)\n * @param value - A discriminated union value with __typename\n * @param handlers - An object with a handler function for each variant\n * @returns The result of calling the matching handler\n *\n * @see {@link data} for creating discriminated unions\n * @see {@link record} for creating individual record types\n *\n * @example\n * ```ts\n * const Shape = data('Shape', { Circle, Square })\n * type Shape = Infer<typeof Shape>\n *\n * function describeShape(shape: Shape): string {\n *   return match(shape, {\n *     Circle: (c) => `Circle with radius ${c.radius}`,\n *     Square: (s) => `Square with size ${s.size}`,\n *   })\n * }\n * ```\n */\nexport function match<\n  T extends { readonly __typename: string },\n  TResult,\n  Handlers extends MatchHandlers<T, TResult> = MatchHandlers<T, TResult>,\n>(value: T, handlers: Handlers): TResult {\n  const typename = value.__typename as keyof Handlers\n  const handler = handlers[typename]\n  // oxlint-disable-next-line no-explicit-any, no-unsafe-argument, no-unsafe-type-assertion -- Required for variant dispatch\n  return handler(value as any)\n}\n"],"mappings":";;;;;;;;;;AAKA,SAAgB,cAAc,OAAuD;AACnF,KAAI,UAAU,QAAQ,OAAO,UAAU,SACrC,QAAO;CAGT,MAAM,QAAQ,OAAO,eAAe,MAAM;AAC1C,QAAO,UAAU,QAAQ,UAAU,OAAO;;;;;;;;;ACA5C,SAAgB,SAAS,OAAuC;AAC9D,QAAO,OAAO,UAAU,cAAc,aAAa,SAAS,MAAM,eAAe;;;;;AAMnF,SAAS,qBAAwB,QAAgE;AAC/F,KAAI,OAAO,OACT,QAAO,IAAI,EACT,QAAQ,OAAO,OAAO,KAAK,WAAW;EACpC,SAAS,MAAM;EACf,MAAM,MAAM,MAAM,KAAK,YAAa,OAAO,YAAY,YAAY,SAAS,UAAU,QAAQ,MAAM,QAAS;EAC9G,EAAE,EACJ,CAAC;AAEJ,QAAO,GAAG,OAAO,MAAM;;;;;;AAOzB,SAAgB,aACd,QACA,QACA,YAC4B;CAC5B,MAAM,SAAS,OAAO,aAAa,SAASA,OAAK;AAEjD,KAAI,UAAU,OAAO,CACnB,OAAM,IAAI,MACR,+CAA+C,WAAW,uFAE3D;AAGH,QAAO,qBAAqB,OAAO;;;;;AAMrC,SAAgB,cACd,YACoE;AACpE,SAAQ,UAAmE;AACzE,SAAO,cAAc,MAAM,IAAI,gBAAgB,SAAS,MAAM,kBAAkB;;;;;;AAOpF,SAAgB,iBAAoB,aAAgE;CAClG,MAAM,gBAAgB,IAAI,IAAI,YAAY;AAC1C,SAAQ,UAA+B;AACrC,SACE,cAAc,MAAM,IACpB,gBAAgB,SAChB,OAAO,MAAM,kBAAkB,YAC/B,cAAc,IAAI,MAAM,cAAc;;;;;;;;;ACrD5C,SAAgB,iBACd,MACA,SACA,OACA,kBACY;AACZ,KAAI,UAAU,UAAa,qBAAqB,OAC9C,QAAO;EAAE;EAAM;EAAS;EAAO;EAAkB;AAEnD,KAAI,UAAU,OACZ,QAAO;EAAE;EAAM;EAAS;EAAO;AAEjC,KAAI,qBAAqB,OACvB,QAAO;EAAE;EAAM;EAAS;EAAkB;AAE5C,QAAO;EAAE;EAAM;EAAS;;;;;;AAO1B,SAAgB,gBACd,YAC2E;AAC3E,QAAO;EACL,KAAK,UAAU;AAGb,UAAO,KAAK,UAAU,MAAM;;EAG9B,OAAO,UAAkB;AACvB,OAAI;IACF,MAAM,SAAS,KAAK,MAAM,MAAM;AAEhC,QAAI,OAAO,WAAW,YAAY,WAAW,QAAQ,gBAAgB,QAAQ;KAC3E,MAAM,EAAE,YAAY,GAAG,GAAG,SAAS;AACnC,YAAO;;AAET,WAAO;WACD;AACN,WAAO;;;EAIZ;;;;;;AAOH,SAAgB,gBAId,YAAsB,QAAW,cAA6C;CAG9E,MAAM,YAAY,gBAA6B,WAAW;CAG1D,MAAM,KAAwE,EAC5E,OAAO,UAAqD;EAI1D,MAAM,SAAS,aAAa,QADR;GAAE,GAAI;GAAkB;GAAY,EACP,WAAW;AAE5D,MAAI,CAAC,OAAO,GACV,QAAO,IACL,iBACE,mBACA,+BAA+B,OAAO,MAAM,OAAO,KAAK,MAAM,EAAE,QAAQ,CAAC,KAAK,KAAK,IACnF,QACA,OAAO,MAAM,OACd,CACF;AAGH,MAAI;AAEF,UAAO,GAAG,UAAU,GAAG,OAAO,MAAgB,CAAC;WACxC,GAAG;AACV,UAAO,IACL,iBAAiB,iBAAiB,yBAAyB,aAAa,QAAQ,EAAE,UAAU,OAAO,EAAE,IAAI,EAAE,CAC5G;;IAGN;AAGD,KAAI,aAEF,MAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,aAAa,CAEtD,IAAG,SAAS,UAAkD;EAI5D,MAAM,SAAS,aAAa,QADR;GAAE,GAAI;GAAkB;GAAY,EACP,WAAW;AAE5D,MAAI,CAAC,OAAO,GACV,QAAO,IACL,iBACE,mBACA,+BAA+B,OAAO,MAAM,OAAO,KAAK,MAAM,EAAE,QAAQ,CAAC,KAAK,KAAK,IACnF,QACA,OAAO,MAAM,OACd,CACF;AAGH,MAAI;AAEF,UAAO,GAAG,MAAM,GAAG,OAAO,MAAgB,CAAC;WACpC,GAAG;AACV,UAAO,IACL,iBACE,iBACA,wBAAwB,KAAK,YAAY,aAAa,QAAQ,EAAE,UAAU,OAAO,EAAE,IACnF,EACD,CACF;;;AAOT,QAAO;;;;;;AAOT,SAAgB,kBAId,YAAsB,QAAW,cAAyD;CAG1F,MAAM,YAAY,gBAA6B,WAAW;CAG1D,MAAM,OAAmE,EACvE,OAAO,UAA8C;EAEnD,MAAM,UAAU,UAAU,KAAK,MAAM;AACrC,MAAI,YAAY,KACd,QAAO,IAAI,iBAAiB,iBAAiB,sBAAsB,CAAC;EAMtE,MAAM,SAAS,aAAa,QADR;GAAE,GAAI;GAAoB;GAAY,EACT,WAAW;AAE5D,MAAI,CAAC,OAAO,GACV,QAAO,IACL,iBAAiB,mBAAmB,yCAAyC,QAAW,OAAO,MAAM,OAAO,CAC7G;AAMH,SAAO,GADQ;GAAE,GAAI,OAAO;GAAkB;GAAY,CACzC;IAEpB;AAGD,KAAI,aAEF,MAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,aAAa,CACtD,MAAK,SAAS,UAA+C;EAE3D,IAAI;AACJ,MAAI;AACF,aAAU,MAAM,KAAK,MAAM;WACpB,GAAG;AACV,UAAO,IAAI,iBAAiB,iBAAiB,wBAAwB,KAAK,mBAAmB,EAAE,CAAC;;AAGlG,MAAI,YAAY,KACd,QAAO,IAAI,iBAAiB,iBAAiB,UAAU,KAAK,0BAA0B,CAAC;EAMzF,MAAM,SAAS,aAAa,QADR;GAAE,GAAI;GAAoB;GAAY,EACT,WAAW;AAE5D,MAAI,CAAC,OAAO,GACV,QAAO,IACL,iBACE,mBACA,yCACA,QACA,OAAO,MAAM,OACd,CACF;AAMH,SAAO,GADQ;GAAE,GAAI,OAAO;GAAkB;GAAY,CACzC;;AAMvB,QAAO;;;;;AClKT,SAAgB,OAId,YAAsB,QAAW,QAAoD;CAGrF,MAAM,UAAU,cAAgC,WAAW;CAC3D,MAAM,KAAK,gBAAgB,YAAY,QAAQ,OAAO;CACtD,MAAM,OAAO,kBAAkB,YAAY,QAAQ,OAAO;CAC1D,MAAM,SAAS,mBAA6C,WAAW;CACvE,MAAM,OAAO,iBAA2C,WAAW;CAGnE,MAAM,eAAe,UAA0D;EAM7E,MAAM,SAAS,aAAa,QAHR;GAAE,GAAI;GAAkB;GAAY,EAGP,WAAW;AAE5D,MAAI,CAAC,OAAO,GACV,QAAO,IAAI,OAAO,MAAM;AAM1B,SAAO,GADQ;GAAE,GAAI,OAAO;GAAkB;GAAY,CACzC;;AAInB,aAAY,UAAU;AACtB,aAAY,aAAa;AACzB,aAAY,SAAS;AACrB,KAAI,OAED,CAAC,YAAoC,SAAS;AAEjD,aAAY,KAAK;AACjB,aAAY,KAAK;AACjB,aAAY,OAAO;AACnB,aAAY,SAAS;AACrB,aAAY,OAAO;AAEnB,QAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ACnET,SAAgB,KAA0C,MAAc,SAAoB;CAC1F,MAAM,YAAY,OAAO,KAAK,QAAQ;CACtC,MAAM,WAAyC,EAAE;AAEjD,MAAK,MAAM,CAAC,YAAY,QAAQ,OAAO,QAAQ,QAAQ,CACrD,KAAI,SAAS,IAAI,CAEf,KAAI,IAAI,eAAe,WAErB,UAAS,cAAc;UAEd,IAAI,OAGb,UAAS,cAAc,OAAO,YAAY,IAAI,QAAQ,IAAI,OAAO;KAGjE,UAAS,cAAc,OAAO,YAAY,IAAI,OAAO;KAMvD,UAAS,cAAc,OAAO,YAAY,IAAwB;AAUtE,QAAO;EACL,OAAO;EACP,IAPmB,iBAAiB,UAAU;EAQ9C,QAPa,sBAAsB,UAAU;EAQ7C,MAPW,oBAAoB,UAAU;EAQzC,GAAG;EACJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ACnDH,SAAgB,MAId,OAAU,UAA6B;CAEvC,MAAM,UAAU,SADC,MAAM;AAGvB,QAAO,QAAQ,MAAa"}

package/dist/apply-fn.types-CXDoeA7D.d.mts

@@ -0,0 +1,8 @@
+//#region src/shared/lambda.types.d.ts
+type λ<TA extends any[] = any[], TR = any> = (...args: TA) => TR;
+//#endregion
+//#region src/shared/apply-fn.types.d.ts
+type ApplyFn<F extends λ, Arg> = F extends ((arg: Arg) => infer R) ? R : F extends ((arg: any) => infer R) ? R : never;
+//#endregion
+export { λ as n, ApplyFn as t };
+//# sourceMappingURL=apply-fn.types-CXDoeA7D.d.mts.map

package/dist/apply-fn.types-CXDoeA7D.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-fn.types-CXDoeA7D.d.mts","names":[],"sources":["../src/shared/lambda.types.ts","../src/shared/apply-fn.types.ts"],"sourcesContent":[],"mappings":";KACY,kDAAkD,OAAO;;;ACMzD,KAAA,OAAO,CAAA,UAAW,CAAX,EAAA,GAAA,CAAA,GAAqB,CAArB,UAAA,CAAA,GAAA,EAAqC,GAArC,EAAA,GAAA,KAAA,EAAA,IAAA,CAAA,GAEf,CAFe,UAAA,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,KAAA,EAAA,IAAA,CAAA,GAAA,KAAA"}

package/dist/brand/index.d.mts

@@ -0,0 +1,2 @@
+import { a as Branded, i as BrandKey, n as Brand$1, o as Unbrand, r as BrandError, t as Brand } from "../index-CtJ8Ks9X.mjs";
+export { Brand, BrandError, BrandKey, Brand$1 as BrandType, Branded, Unbrand };

package/dist/brand/index.mjs

@@ -0,0 +1,3 @@
+import { t as Brand } from "../brand-CTaxGuU9.mjs";
+
+export { Brand };

package/dist/brand-CTaxGuU9.mjs

@@ -0,0 +1,165 @@
+import { t as Result } from "./result-C5tPWR60.mjs";
+
+//#region src/brand/brand.ts
+/**
+* Create a branded value without validation.
+* This is a type-level cast with zero runtime cost.
+*
+* Use this when you trust the value source (e.g., from a database)
+* or when validation happens elsewhere.
+*
+* @template B - The branded type
+* @param value - The value to brand
+* @returns The value as a branded type
+*
+* @example
+* ```ts
+* type UserId = Branded<string, "UserId">
+*
+* // Trust the value from database
+* const userId = Brand.make<UserId>(row.id)
+*
+* // Or use in a validated factory
+* function createUserId(input: string): UserId {
+*   if (!input.startsWith("user_")) throw new Error("Invalid")
+*   return Brand.make<UserId>(input)
+* }
+* ```
+*/
+const make = (value) => {
+	return value;
+};
+/**
+* Alias for make() - explicitly indicates no validation occurs.
+* Prefer this when readability about the lack of validation is important.
+*
+* @template B - The branded type
+* @param value - The value to brand (unchecked)
+* @returns The value as a branded type
+*
+* @example
+* ```ts
+* type PositiveNumber = Branded<number, "PositiveNumber">
+*
+* // Explicitly unsafe - reader knows no validation
+* const n = Brand.unsafeMake<PositiveNumber>(-5) // No error, but logically wrong
+* ```
+*/
+const unsafeMake = (value) => {
+	return value;
+};
+/**
+* Create a type guard with validation for a branded type.
+* Returns a refinement predicate that narrows to the branded type.
+*
+* @template T - The base type
+* @template K - The brand key (string literal)
+* @param validator - A function that validates the base value
+* @returns A type guard that returns true if validation passes
+*
+* @example
+* ```ts
+* type PositiveNumber = Branded<number, "PositiveNumber">
+*
+* const isPositive = Brand.is<number, "PositiveNumber">(n => n > 0)
+*
+* const value: number = 42
+* if (isPositive(value)) {
+*   // value is now PositiveNumber
+*   acceptPositive(value) // OK
+* }
+* ```
+*/
+const is = (validator) => {
+	return (value) => validator(value);
+};
+/**
+* Create a validated branded value wrapped in a Result.
+* Returns `Result.ok(brandedValue)` on success, `Result.err(BrandError)` on failure.
+*
+* The returned Result is yieldable in Do computations via `yield*`.
+*
+* @template B - The branded type
+* @param validator - A function that validates the base value
+* @param errorMessage - Optional custom error message (or function)
+* @returns A function that takes a value and returns a Result
+*
+* @example
+* ```ts
+* type Email = Branded<string, "Email">
+*
+* const parseEmail = Brand.refine<Email>(
+*   s => s.includes("@"),
+*   (v) => `Invalid email: ${v}`
+* )
+*
+* // Basic usage
+* const result = parseEmail("user@example.com")
+* // { ok: true, value: "user@example.com" }
+*
+* const bad = parseEmail("not-an-email")
+* // { ok: false, error: { __typename: "BrandError", value: "not-an-email", message: "..." } }
+*
+* // With Do computation
+* const computation = gen(function* () {
+*   const email = yield* parseEmail(input)
+*   return email
+* })
+*
+* // With pipe
+* pipe(
+*   userInput,
+*   parseEmail,
+*   Result.map(email => sendTo(email)),
+*   Result.unwrapOr(defaultEmail)
+* )
+* ```
+*/
+const refine = (validator, errorMessage) => {
+	return (value) => {
+		if (!validator(value)) {
+			const msg = typeof errorMessage === "function" ? errorMessage(value) : errorMessage ?? "Brand validation failed";
+			return Result.err({
+				__typename: "BrandError",
+				value,
+				message: msg
+			});
+		}
+		return Result.ok(value);
+	};
+};
+/**
+* Brand namespace containing utilities for nominal typing in TypeScript.
+*
+* Brand types add type-level distinctiveness to primitive types without
+* any runtime overhead. This prevents accidental mixing of semantically
+* different values that share the same structural type.
+*
+* @example
+* ```ts
+* import { Brand } from "@repo/std"
+* import type { Branded } from "@repo/std"
+*
+* // Define branded types
+* type UserId = Branded<string, "UserId">
+* type Email = Branded<string, "Email">
+*
+* // Create values
+* const userId = Brand.make<UserId>("user-123")
+* const isValidEmail = Brand.is<Email>(s => s.includes("@"))
+*
+* // Type safety
+* function sendEmail(email: Email) { ... }
+* sendEmail(userId) // Type error! UserId is not Email
+* ```
+*/
+const Brand = {
+	make,
+	unsafeMake,
+	is,
+	refine
+};
+
+//#endregion
+export { Brand as t };
+//# sourceMappingURL=brand-CTaxGuU9.mjs.map

package/dist/brand-CTaxGuU9.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"brand-CTaxGuU9.mjs","names":[],"sources":["../src/brand/brand.ts"],"sourcesContent":["import { Result } from \"../result\"\nimport type { Result as ResultType } from \"../result/result.types\"\nimport type { BrandError, Branded, Unbrand, Validator } from \"./brand.types\"\n\n/**\n * Create a branded value without validation.\n * This is a type-level cast with zero runtime cost.\n *\n * Use this when you trust the value source (e.g., from a database)\n * or when validation happens elsewhere.\n *\n * @template B - The branded type\n * @param value - The value to brand\n * @returns The value as a branded type\n *\n * @example\n * ```ts\n * type UserId = Branded<string, \"UserId\">\n *\n * // Trust the value from database\n * const userId = Brand.make<UserId>(row.id)\n *\n * // Or use in a validated factory\n * function createUserId(input: string): UserId {\n *   if (!input.startsWith(\"user_\")) throw new Error(\"Invalid\")\n *   return Brand.make<UserId>(input)\n * }\n * ```\n */\nexport const make = <B extends Branded<unknown, string>>(value: Unbrand<B>): B => {\n  return value as B\n}\n\n/**\n * Alias for make() - explicitly indicates no validation occurs.\n * Prefer this when readability about the lack of validation is important.\n *\n * @template B - The branded type\n * @param value - The value to brand (unchecked)\n * @returns The value as a branded type\n *\n * @example\n * ```ts\n * type PositiveNumber = Branded<number, \"PositiveNumber\">\n *\n * // Explicitly unsafe - reader knows no validation\n * const n = Brand.unsafeMake<PositiveNumber>(-5) // No error, but logically wrong\n * ```\n */\nexport const unsafeMake = <B extends Branded<unknown, string>>(value: Unbrand<B>): B => {\n  return value as B\n}\n\n/**\n * Create a type guard with validation for a branded type.\n * Returns a refinement predicate that narrows to the branded type.\n *\n * @template T - The base type\n * @template K - The brand key (string literal)\n * @param validator - A function that validates the base value\n * @returns A type guard that returns true if validation passes\n *\n * @example\n * ```ts\n * type PositiveNumber = Branded<number, \"PositiveNumber\">\n *\n * const isPositive = Brand.is<number, \"PositiveNumber\">(n => n > 0)\n *\n * const value: number = 42\n * if (isPositive(value)) {\n *   // value is now PositiveNumber\n *   acceptPositive(value) // OK\n * }\n * ```\n */\nexport const is = <T, K extends string>(validator: Validator<T>): ((value: T) => value is Branded<T, K>) => {\n  return (value: T): value is Branded<T, K> => validator(value)\n}\n\n/**\n * Create a validated branded value wrapped in a Result.\n * Returns `Result.ok(brandedValue)` on success, `Result.err(BrandError)` on failure.\n *\n * The returned Result is yieldable in Do computations via `yield*`.\n *\n * @template B - The branded type\n * @param validator - A function that validates the base value\n * @param errorMessage - Optional custom error message (or function)\n * @returns A function that takes a value and returns a Result\n *\n * @example\n * ```ts\n * type Email = Branded<string, \"Email\">\n *\n * const parseEmail = Brand.refine<Email>(\n *   s => s.includes(\"@\"),\n *   (v) => `Invalid email: ${v}`\n * )\n *\n * // Basic usage\n * const result = parseEmail(\"user@example.com\")\n * // { ok: true, value: \"user@example.com\" }\n *\n * const bad = parseEmail(\"not-an-email\")\n * // { ok: false, error: { __typename: \"BrandError\", value: \"not-an-email\", message: \"...\" } }\n *\n * // With Do computation\n * const computation = gen(function* () {\n *   const email = yield* parseEmail(input)\n *   return email\n * })\n *\n * // With pipe\n * pipe(\n *   userInput,\n *   parseEmail,\n *   Result.map(email => sendTo(email)),\n *   Result.unwrapOr(defaultEmail)\n * )\n * ```\n */\nexport const refine = <B extends Branded<unknown, string>>(\n  validator: Validator<Unbrand<B>>,\n  errorMessage?: string | ((value: Unbrand<B>) => string),\n): ((value: Unbrand<B>) => ResultType<B, BrandError<Unbrand<B>>>) => {\n  return (value: Unbrand<B>) => {\n    if (!validator(value)) {\n      const msg = typeof errorMessage === \"function\" ? errorMessage(value) : (errorMessage ?? \"Brand validation failed\")\n      return Result.err({ __typename: \"BrandError\" as const, value, message: msg })\n    }\n    return Result.ok(value as B)\n  }\n}\n\n/**\n * Brand namespace containing utilities for nominal typing in TypeScript.\n *\n * Brand types add type-level distinctiveness to primitive types without\n * any runtime overhead. This prevents accidental mixing of semantically\n * different values that share the same structural type.\n *\n * @example\n * ```ts\n * import { Brand } from \"@repo/std\"\n * import type { Branded } from \"@repo/std\"\n *\n * // Define branded types\n * type UserId = Branded<string, \"UserId\">\n * type Email = Branded<string, \"Email\">\n *\n * // Create values\n * const userId = Brand.make<UserId>(\"user-123\")\n * const isValidEmail = Brand.is<Email>(s => s.includes(\"@\"))\n *\n * // Type safety\n * function sendEmail(email: Email) { ... }\n * sendEmail(userId) // Type error! UserId is not Email\n * ```\n */\nexport const Brand = {\n  make,\n  unsafeMake,\n  is,\n  refine,\n} as const\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BA,MAAa,QAA4C,UAAyB;AAChF,QAAO;;;;;;;;;;;;;;;;;;AAmBT,MAAa,cAAkD,UAAyB;AACtF,QAAO;;;;;;;;;;;;;;;;;;;;;;;;AAyBT,MAAa,MAA2B,cAAoE;AAC1G,SAAQ,UAAqC,UAAU,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6C/D,MAAa,UACX,WACA,iBACmE;AACnE,SAAQ,UAAsB;AAC5B,MAAI,CAAC,UAAU,MAAM,EAAE;GACrB,MAAM,MAAM,OAAO,iBAAiB,aAAa,aAAa,MAAM,GAAI,gBAAgB;AACxF,UAAO,OAAO,IAAI;IAAE,YAAY;IAAuB;IAAO,SAAS;IAAK,CAAC;;AAE/E,SAAO,OAAO,GAAG,MAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BhC,MAAa,QAAQ;CACnB;CACA;CACA;CACA;CACD"}

package/dist/data/index.d.mts

@@ -0,0 +1,2 @@
+import { a as ArrayValue, c as TaggedValue, i as tagged, l as TupleValue, n as tuple, o as StructValue, r as struct, s as TaggedConstructor, t as array } from "../index-BCrD3pEs.mjs";
+export { ArrayValue, StructValue, TaggedConstructor, TaggedValue, TupleValue, array, struct, tagged, tuple };

package/dist/data/index.mjs

@@ -0,0 +1,3 @@
+import { i as tagged, n as tuple, r as struct, t as array } from "../data-DgzWI4R_.mjs";
+
+export { array, struct, tagged, tuple };