@livon/schema 0.27.0-rc.2 → 0.27.0-rc.5

package/LICENCE.md

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 LIVON contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,13 +1,158 @@
-# @livon/schema Redirect
+# @livon/schema
 
-Canonical sources moved to Docusaurus:
+## Install
 
-- `/docs/packages/schema`
-- `/docs/schema`
+```sh
+pnpm add @livon/schema
+```
 
-File sources:
+## Purpose
 
-- `website/docs/packages/schema.md`
-- `website/docs/schema/index.md`
+[@livon/schema](https://live-input-vector-output-node.github.io/livon-ts/docs/packages/schema) defines:
 
-This file is a compatibility redirect only.
+- [value schemas](https://live-input-vector-output-node.github.io/livon-ts/docs/schema) (`string`, `number`, `object`, `array`, `or`, `union`, ...)
+- operation schemas
+- subscription schemas
+- [schema runtime module](https://live-input-vector-output-node.github.io/livon-ts/docs/technical/runtime-design) (`schemaModule`)
+
+## Schema API docs
+
+Each schema/combinator has its own usage page:
+
+- [Schema APIs overview](https://live-input-vector-output-node.github.io/livon-ts/docs/schema)
+- [Schema Type Safety](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/type-safety)
+- [Schema Context](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/context)
+- [string](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/string)
+- [number](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/number)
+- [boolean](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/boolean)
+- [date](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/date)
+- [enumeration](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/enumeration)
+- [object](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/object)
+- [array](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/array)
+- [tuple](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/tuple)
+- [literal](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/literal)
+- [union](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/union)
+- [or](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/or)
+- [binary](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/binary)
+- [before](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/before)
+- [after](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/after)
+- [and](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/and)
+- [api](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/api)
+- [operation](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/operation)
+- [subscription](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/subscription)
+- [fieldResolver](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/field-resolver)
+- [schemaFactory](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/schema-factory)
+- [typeGuards](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/type-guards)
+
+## Type safety model
+
+LIVON [schemas](https://live-input-vector-output-node.github.io/livon-ts/docs/schema) are both runtime validators and type sources.
+Primitive schema names are optional, so `string()` and `number()` are valid defaults.
+
+1. Define payload shape once in [schema](https://live-input-vector-output-node.github.io/livon-ts/docs/schema).
+2. Validate unknown input with `parse()`.
+3. Reuse schema entrypoint with `typed()`.
+4. Derive types with `Infer` instead of hand-written payload interfaces.
+
+```ts
+import {object, string, number, type Infer} from '@livon/schema';
+
+const User = object({
+  name: 'User',
+  shape: {
+    id: string(),
+    age: number().int().min(0),
+  },
+});
+
+type UserType = Infer<typeof User>;
+
+const input: unknown = JSON.parse(raw);
+const parsed = User.parse(input);
+const typedInput: UserType = {id: 'u-1', age: 21};
+const typed = User.typed(typedInput);
+```
+
+### Parameters in this example
+
+`object({...})`:
+
+- `name` (`string`): schema node name.
+- `shape` (`Record<string, Schema>`): field schema map.
+
+`number().int().min(0)`:
+
+- `min` (`number`): minimum allowed numeric value.
+
+`User.parse(input)`:
+
+- `input` (`unknown`): runtime value to validate/parse.
+
+`User.typed(typedInput)`:
+
+- `typedInput` (`UserType`): pretyped value using same schema entrypoint.
+
+## Compose API schema
+
+```ts
+import {api} from '@livon/schema';
+
+const apiSchema = api({
+  type: User,
+  operations: {
+    sendMessage,
+  },
+  subscriptions: {
+    onMessage,
+  },
+  fieldOperations: {
+    greeting: userGreetingResolver,
+  },
+});
+
+export const serverSchema = apiSchema;
+```
+
+### Parameters in this example
+
+`api({...})`:
+
+- `type` (`Schema`, optional): entity schema for field operations.
+- `operations` (`Record<string, Operation>`, optional): request/response operations.
+- `subscriptions` (`Record<string, Subscription | Schema>`, optional): publish topic schemas.
+- `fieldOperations` (`Record<string, FieldOperation>`, optional): field-level resolvers.
+
+For focused usage patterns:
+
+- [api](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/api)
+- [operation](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/operation)
+- [subscription](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/subscription)
+- [fieldResolver](https://live-input-vector-output-node.github.io/livon-ts/docs/schema/field-resolver)
+
+## Mount schema module into runtime
+
+```ts
+import {runtime} from '@livon/runtime';
+import {schemaModule} from '@livon/schema';
+
+runtime(schemaModule(serverSchema, {explain: true}));
+```
+
+### Parameters in this example
+
+`schemaModule(serverSchema, options?)`:
+
+- `serverSchema` (`Api | ComposedApi`): fully composed schema from `api(...)` or `composeApi(...)`.
+- `options.explain` (`boolean`, optional): enables `$explain` endpoint for AST/checksum metadata.
+
+## Explain endpoint
+
+If `explain: true`, [schema module](https://live-input-vector-output-node.github.io/livon-ts/docs/technical/runtime-design) responds to `$explain` with AST/checksum metadata.
+
+## Related pages
+
+- [Validated by Default](https://live-input-vector-output-node.github.io/livon-ts/docs/core/validated-by-default)
+- [parse vs typed](https://live-input-vector-output-node.github.io/livon-ts/docs/core/parse-vs-typed)
+- [Schema APIs overview](https://live-input-vector-output-node.github.io/livon-ts/docs/schema)
+- [Runtime Design](https://live-input-vector-output-node.github.io/livon-ts/docs/technical/runtime-design)
+- [Architecture](https://live-input-vector-output-node.github.io/livon-ts/docs/technical/architecture)

package/dist/SchemaValidationError.cjs

@@ -1 +1,64 @@
-"use strict";const __rslib_import_meta_url__="u"<typeof document?new(require("url".replace("",""))).URL("file:"+__filename).href:document.currentScript&&document.currentScript.src||new URL("main.js",document.baseURI).href;var __webpack_require__={};__webpack_require__.d=(e,r)=>{for(var _ in r)__webpack_require__.o(r,_)&&!__webpack_require__.o(e,_)&&Object.defineProperty(e,_,{enumerable:!0,get:r[_]})},__webpack_require__.o=(e,r)=>Object.prototype.hasOwnProperty.call(e,r),__webpack_require__.r=e=>{"u">typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})};var __webpack_exports__={};__webpack_require__.r(__webpack_exports__),__webpack_require__.d(__webpack_exports__,{createSchemaValidationError:()=>createSchemaValidationError});const createSchemaValidationError=({issues:e,meta:r})=>{let _=Error("Schema validation failed");return _.issues=e,_.meta=r,_};for(var __rspack_i in exports.createSchemaValidationError=__webpack_exports__.createSchemaValidationError,__webpack_exports__)-1===["createSchemaValidationError"].indexOf(__rspack_i)&&(exports[__rspack_i]=__webpack_exports__[__rspack_i]);Object.defineProperty(exports,"__esModule",{value:!0});
+"use strict";
+const __rslib_import_meta_url__ = /*#__PURE__*/ (function () {
+  return typeof document === 'undefined'
+    ? new (require('url'.replace('', '')).URL)('file:' + __filename).href
+    : (document.currentScript && document.currentScript.src) ||
+      new URL('main.js', document.baseURI).href;
+})();
+;
+// The require scope
+var __webpack_require__ = {};
+
+// webpack/runtime/define_property_getters
+(() => {
+__webpack_require__.d = (exports, definition) => {
+	for(var key in definition) {
+        if(__webpack_require__.o(definition, key) && !__webpack_require__.o(exports, key)) {
+            Object.defineProperty(exports, key, { enumerable: true, get: definition[key] });
+        }
+    }
+};
+})();
+// webpack/runtime/has_own_property
+(() => {
+__webpack_require__.o = (obj, prop) => (Object.prototype.hasOwnProperty.call(obj, prop))
+})();
+// webpack/runtime/make_namespace_object
+(() => {
+// define __esModule on exports
+__webpack_require__.r = (exports) => {
+	if(typeof Symbol !== 'undefined' && Symbol.toStringTag) {
+		Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
+	}
+	Object.defineProperty(exports, '__esModule', { value: true });
+};
+})();
+var __webpack_exports__ = {};
+__webpack_require__.r(__webpack_exports__);
+__webpack_require__.d(__webpack_exports__, {
+  createSchemaValidationError: () => (createSchemaValidationError)
+});
+/**
+ * createSchemaValidationError is part of the public LIVON API.
+ *
+ * @remarks
+ * Parameter and return types are defined in the TypeScript signature.
+ *
+ * @see https://live-input-vector-output-node.github.io/livon-ts/docs/schema/type-safety
+ *
+ * @example
+ * const result = createSchemaValidationError(undefined as never);
+ */ const createSchemaValidationError = ({ issues, meta })=>{
+    const error = new Error('Schema validation failed');
+    error.issues = issues;
+    error.meta = meta;
+    return error;
+};
+
+exports.createSchemaValidationError = __webpack_exports__.createSchemaValidationError;
+for(var __rspack_i in __webpack_exports__) {
+  if(["createSchemaValidationError"].indexOf(__rspack_i) === -1) {
+    exports[__rspack_i] = __webpack_exports__[__rspack_i];
+  }
+}
+Object.defineProperty(exports, '__esModule', { value: true });

package/dist/SchemaValidationError.js

@@ -1 +1,20 @@
-let e=({issues:e,meta:r})=>{let a=Error("Schema validation failed");return a.issues=e,a.meta=r,a};export{e as createSchemaValidationError};
+
+;// CONCATENATED MODULE: ./src/SchemaValidationError.ts
+/**
+ * createSchemaValidationError is part of the public LIVON API.
+ *
+ * @remarks
+ * Parameter and return types are defined in the TypeScript signature.
+ *
+ * @see https://live-input-vector-output-node.github.io/livon-ts/docs/schema/type-safety
+ *
+ * @example
+ * const result = createSchemaValidationError(undefined as never);
+ */ const createSchemaValidationError = ({ issues, meta })=>{
+    const error = new Error('Schema validation failed');
+    error.issues = issues;
+    error.meta = meta;
+    return error;
+};
+
+export { createSchemaValidationError };

package/dist/after.cjs

@@ -1 +1,72 @@
-"use strict";const __rslib_import_meta_url__="u"<typeof document?new(require("url".replace("",""))).URL("file:"+__filename).href:document.currentScript&&document.currentScript.src||new URL("main.js",document.baseURI).href;var __webpack_require__={};__webpack_require__.d=(e,_)=>{for(var r in _)__webpack_require__.o(_,r)&&!__webpack_require__.o(e,r)&&Object.defineProperty(e,r,{enumerable:!0,get:_[r]})},__webpack_require__.o=(e,_)=>Object.prototype.hasOwnProperty.call(e,_),__webpack_require__.r=e=>{"u">typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})};var __webpack_exports__={};__webpack_require__.r(__webpack_exports__),__webpack_require__.d(__webpack_exports__,{after:()=>after});const after=({schema:e,hook:_})=>e.after(_);for(var __rspack_i in exports.after=__webpack_exports__.after,__webpack_exports__)-1===["after"].indexOf(__rspack_i)&&(exports[__rspack_i]=__webpack_exports__[__rspack_i]);Object.defineProperty(exports,"__esModule",{value:!0});
+"use strict";
+const __rslib_import_meta_url__ = /*#__PURE__*/ (function () {
+  return typeof document === 'undefined'
+    ? new (require('url'.replace('', '')).URL)('file:' + __filename).href
+    : (document.currentScript && document.currentScript.src) ||
+      new URL('main.js', document.baseURI).href;
+})();
+;
+// The require scope
+var __webpack_require__ = {};
+
+// webpack/runtime/define_property_getters
+(() => {
+__webpack_require__.d = (exports, definition) => {
+	for(var key in definition) {
+        if(__webpack_require__.o(definition, key) && !__webpack_require__.o(exports, key)) {
+            Object.defineProperty(exports, key, { enumerable: true, get: definition[key] });
+        }
+    }
+};
+})();
+// webpack/runtime/has_own_property
+(() => {
+__webpack_require__.o = (obj, prop) => (Object.prototype.hasOwnProperty.call(obj, prop))
+})();
+// webpack/runtime/make_namespace_object
+(() => {
+// define __esModule on exports
+__webpack_require__.r = (exports) => {
+	if(typeof Symbol !== 'undefined' && Symbol.toStringTag) {
+		Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
+	}
+	Object.defineProperty(exports, '__esModule', { value: true });
+};
+})();
+var __webpack_exports__ = {};
+__webpack_require__.r(__webpack_exports__);
+__webpack_require__.d(__webpack_exports__, {
+  after: () => (after)
+});
+/**
+ * after is part of the public LIVON API.
+ *
+ * @remarks
+ * Parameter and return types are defined in the TypeScript signature.
+ *
+ * @see https://live-input-vector-output-node.github.io/livon-ts/docs/schema/after
+ *
+ * @example
+ * // Postprocesses validated string output by converting it to uppercase.
+ * const UppercaseName = after({
+ *   schema: string(),
+ *   hook: (value: string) => value.toUpperCase(),
+ * });
+ * UppercaseName.parse('alice');
+ *
+ * @example
+ * // Extends the postprocessed schema to also allow undefined.
+ * const MaybeUppercaseName = after({
+ *   schema: string(),
+ *   hook: (value: string) => value.toUpperCase(),
+ * }).optional();
+ * MaybeUppercaseName.parse(undefined);
+ */ const after = ({ schema, hook })=>schema.after(hook);
+
+exports.after = __webpack_exports__.after;
+for(var __rspack_i in __webpack_exports__) {
+  if(["after"].indexOf(__rspack_i) === -1) {
+    exports[__rspack_i] = __webpack_exports__[__rspack_i];
+  }
+}
+Object.defineProperty(exports, '__esModule', { value: true });

package/dist/after.js

@@ -1 +1,28 @@
-let e=({schema:e,hook:t})=>e.after(t);export{e as after};
+
+;// CONCATENATED MODULE: ./src/after.ts
+/**
+ * after is part of the public LIVON API.
+ *
+ * @remarks
+ * Parameter and return types are defined in the TypeScript signature.
+ *
+ * @see https://live-input-vector-output-node.github.io/livon-ts/docs/schema/after
+ *
+ * @example
+ * // Postprocesses validated string output by converting it to uppercase.
+ * const UppercaseName = after({
+ *   schema: string(),
+ *   hook: (value: string) => value.toUpperCase(),
+ * });
+ * UppercaseName.parse('alice');
+ *
+ * @example
+ * // Extends the postprocessed schema to also allow undefined.
+ * const MaybeUppercaseName = after({
+ *   schema: string(),
+ *   hook: (value: string) => value.toUpperCase(),
+ * }).optional();
+ * MaybeUppercaseName.parse(undefined);
+ */ const after = ({ schema, hook })=>schema.after(hook);
+
+export { after };

package/dist/and.cjs

@@ -1 +1,80 @@
-"use strict";const __rslib_import_meta_url__="u"<typeof document?new(require("url".replace("",""))).URL("file:"+__filename).href:document.currentScript&&document.currentScript.src||new URL("main.js",document.baseURI).href;var __webpack_require__={};__webpack_require__.d=(_,e)=>{for(var r in e)__webpack_require__.o(e,r)&&!__webpack_require__.o(_,r)&&Object.defineProperty(_,r,{enumerable:!0,get:e[r]})},__webpack_require__.o=(_,e)=>Object.prototype.hasOwnProperty.call(_,e),__webpack_require__.r=_=>{"u">typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(_,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(_,"__esModule",{value:!0})};var __webpack_exports__={};__webpack_require__.r(__webpack_exports__),__webpack_require__.d(__webpack_exports__,{and:()=>and});const and=({left:_,right:e})=>_.and(e);for(var __rspack_i in exports.and=__webpack_exports__.and,__webpack_exports__)-1===["and"].indexOf(__rspack_i)&&(exports[__rspack_i]=__webpack_exports__[__rspack_i]);Object.defineProperty(exports,"__esModule",{value:!0});
+"use strict";
+const __rslib_import_meta_url__ = /*#__PURE__*/ (function () {
+  return typeof document === 'undefined'
+    ? new (require('url'.replace('', '')).URL)('file:' + __filename).href
+    : (document.currentScript && document.currentScript.src) ||
+      new URL('main.js', document.baseURI).href;
+})();
+;
+// The require scope
+var __webpack_require__ = {};
+
+// webpack/runtime/define_property_getters
+(() => {
+__webpack_require__.d = (exports, definition) => {
+	for(var key in definition) {
+        if(__webpack_require__.o(definition, key) && !__webpack_require__.o(exports, key)) {
+            Object.defineProperty(exports, key, { enumerable: true, get: definition[key] });
+        }
+    }
+};
+})();
+// webpack/runtime/has_own_property
+(() => {
+__webpack_require__.o = (obj, prop) => (Object.prototype.hasOwnProperty.call(obj, prop))
+})();
+// webpack/runtime/make_namespace_object
+(() => {
+// define __esModule on exports
+__webpack_require__.r = (exports) => {
+	if(typeof Symbol !== 'undefined' && Symbol.toStringTag) {
+		Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
+	}
+	Object.defineProperty(exports, '__esModule', { value: true });
+};
+})();
+var __webpack_exports__ = {};
+__webpack_require__.r(__webpack_exports__);
+__webpack_require__.d(__webpack_exports__, {
+  and: () => (and)
+});
+/**
+ * and is part of the public LIVON API.
+ *
+ * @remarks
+ * Parameter and return types are defined in the TypeScript signature.
+ *
+ * @see https://live-input-vector-output-node.github.io/livon-ts/docs/schema/and
+ *
+ * @example
+ * // Extends a base message input schema with an id field.
+ * const messageInput = object({
+ *   name: 'MessageInput',
+ *   shape: { text: string() },
+ * });
+ * const withId = object({
+ *   name: 'WithId',
+ *   shape: { id: string() },
+ * });
+ * const MessageWithId = and({ left: messageInput, right: withId });
+ * MessageWithId.parse({ text: 'Hello', id: 'm-1' });
+ *
+ * @example
+ * // Uses explicit naming for generated type surfaces.
+ * const MessageWithId = and({
+ *   left: messageInput,
+ *   right: withId,
+ *   name: 'MessageWithId',
+ * });
+ * MessageWithId.parse({ text: 'Hello', id: 'm-1' });
+ */ const and = ({ left, right, name })=>name === undefined ? left.and(right) : left.and(right, {
+        name
+    });
+
+exports.and = __webpack_exports__.and;
+for(var __rspack_i in __webpack_exports__) {
+  if(["and"].indexOf(__rspack_i) === -1) {
+    exports[__rspack_i] = __webpack_exports__[__rspack_i];
+  }
+}
+Object.defineProperty(exports, '__esModule', { value: true });

package/dist/and.d.ts

@@ -2,6 +2,7 @@ import { Schema } from './types.js';
 export interface AndInput<T, U> {
     left: Schema<T>;
     right: Schema<U>;
+    name?: string;
 }
 /**
  * and is part of the public LIVON API.
@@ -12,15 +13,25 @@ export interface AndInput<T, U> {
  * @see https://live-input-vector-output-node.github.io/livon-ts/docs/schema/and
  *
  * @example
- * // Combines two object schemas into one schema that requires both shapes.
- * const WithId = object({ name: 'withId', shape: { id: string() } });
- * const WithAge = object({ name: 'withAge', shape: { age: number() } });
- * const User = and({ left: WithId, right: WithAge });
- * User.parse({ id: 'u1', age: 21 });
+ * // Extends a base message input schema with an id field.
+ * const messageInput = object({
+ *   name: 'MessageInput',
+ *   shape: { text: string() },
+ * });
+ * const withId = object({
+ *   name: 'WithId',
+ *   shape: { id: string() },
+ * });
+ * const MessageWithId = and({ left: messageInput, right: withId });
+ * MessageWithId.parse({ text: 'Hello', id: 'm-1' });
  *
  * @example
- * // Extends the combined schema to also allow undefined.
- * const OptionalUser = and({ left: WithId, right: WithAge }).optional();
- * OptionalUser.parse(undefined);
+ * // Uses explicit naming for generated type surfaces.
+ * const MessageWithId = and({
+ *   left: messageInput,
+ *   right: withId,
+ *   name: 'MessageWithId',
+ * });
+ * MessageWithId.parse({ text: 'Hello', id: 'm-1' });
  */
-export declare const and: <T, U>({ left, right }: AndInput<T, U>) => Schema<T & U>;
+export declare const and: <T, U>({ left, right, name }: AndInput<T, U>) => Schema<T & U>;

package/dist/and.js

@@ -1 +1,36 @@
-let a=({left:a,right:d})=>a.and(d);export{a as and};
+
+;// CONCATENATED MODULE: ./src/and.ts
+/**
+ * and is part of the public LIVON API.
+ *
+ * @remarks
+ * Parameter and return types are defined in the TypeScript signature.
+ *
+ * @see https://live-input-vector-output-node.github.io/livon-ts/docs/schema/and
+ *
+ * @example
+ * // Extends a base message input schema with an id field.
+ * const messageInput = object({
+ *   name: 'MessageInput',
+ *   shape: { text: string() },
+ * });
+ * const withId = object({
+ *   name: 'WithId',
+ *   shape: { id: string() },
+ * });
+ * const MessageWithId = and({ left: messageInput, right: withId });
+ * MessageWithId.parse({ text: 'Hello', id: 'm-1' });
+ *
+ * @example
+ * // Uses explicit naming for generated type surfaces.
+ * const MessageWithId = and({
+ *   left: messageInput,
+ *   right: withId,
+ *   name: 'MessageWithId',
+ * });
+ * MessageWithId.parse({ text: 'Hello', id: 'm-1' });
+ */ const and = ({ left, right, name })=>name === undefined ? left.and(right) : left.and(right, {
+        name
+    });
+
+export { and };