schemair 0.1.0 → 0.2.0

package/dist/index-CEzHfht2.d.ts

@@ -1,269 +0,0 @@
-//#region src/spec/schema.d.ts
-/** JSON values allowed in opaque constraint arguments. */
-type JsonValue = null | boolean | number | string | JsonValue[] | {
-  [key: string]: JsonValue;
-};
-type PrimitiveName = 'string' | 'number' | 'boolean' | 'null';
-type LiteralValue = string | number | boolean;
-interface SchemaConstraint {
-  constraintPath: string[];
-  args?: JsonValue;
-}
-interface SchemaStringNode {
-  kind: 'primitive';
-  name: 'string';
-  semanticPath?: string[];
-  constraints?: SchemaConstraint[];
-}
-interface SchemaNumberNode {
-  kind: 'primitive';
-  name: 'number';
-  semanticPath?: string[];
-  constraints?: SchemaConstraint[];
-}
-interface SchemaBooleanNode {
-  kind: 'primitive';
-  name: 'boolean';
-}
-interface SchemaNullNode {
-  kind: 'primitive';
-  name: 'null';
-}
-type SchemaPrimitiveNode = SchemaStringNode | SchemaNumberNode | SchemaBooleanNode | SchemaNullNode;
-interface SchemaLiteralNode {
-  kind: 'literal';
-  literal: LiteralValue;
-}
-interface SchemaRecordField {
-  key: string;
-  schema: SchemaNode;
-  required?: boolean;
-  description?: string;
-}
-interface SchemaRecordNode {
-  kind: 'record';
-  fields: SchemaRecordField[];
-  additionalFields?: true | SchemaNode;
-  constraints?: SchemaConstraint[];
-}
-interface SchemaArrayNode {
-  kind: 'array';
-  elementSchema: SchemaNode;
-  constraints?: SchemaConstraint[];
-}
-interface SchemaTupleNode {
-  kind: 'tuple';
-  elementSchemas: SchemaNode[];
-}
-interface SchemaLiteralUnionNode {
-  kind: 'literalUnion';
-  values: [LiteralValue, LiteralValue, ...LiteralValue[]];
-}
-interface SchemaNullableNode {
-  kind: 'nullable';
-  value: SchemaNode;
-}
-interface SchemaTaggedUnionVariant {
-  key: string;
-  schema: SchemaRecordNode;
-  description?: string;
-}
-interface SchemaTaggedUnionNode {
-  kind: 'taggedUnion';
-  discriminator: string;
-  variants: SchemaTaggedUnionVariant[];
-}
-interface SchemaRefNode {
-  kind: 'ref';
-  refPath: string[];
-}
-interface SchemaSelfRefNode {
-  kind: 'selfRef';
-}
-/** Closed serializable SchemaIR contract model. */
-type SchemaNode = SchemaPrimitiveNode | SchemaLiteralNode | SchemaRecordNode | SchemaArrayNode | SchemaTupleNode | SchemaLiteralUnionNode | SchemaNullableNode | SchemaTaggedUnionNode | SchemaRefNode | SchemaSelfRefNode;
-//#endregion
-//#region src/spec/operation.d.ts
-type OperationBinaryMetadata = {
-  kind: 'mime';
-  value: string;
-};
-type OperationPayloadDefinition = {
-  kind: 'structured';
-  schema: SchemaNode;
-} | {
-  kind: 'binary';
-  meta?: OperationBinaryMetadata;
-};
-interface OperationErrorDefinition {
-  description?: string;
-  data?: SchemaNode;
-}
-interface OperationChannelDefinition {
-  description?: string;
-  data?: OperationPayloadDefinition;
-  errors?: Record<string, OperationErrorDefinition>;
-}
-interface OperationDefinition {
-  description?: string;
-  input?: OperationPayloadDefinition;
-  output?: OperationPayloadDefinition;
-  errors?: Record<string, OperationErrorDefinition>;
-  emits?: Record<string, OperationChannelDefinition>;
-}
-/** Short model name used by migration-facing APIs. */
-type Operation = OperationDefinition;
-interface OperationContainerDefinition {
-  description?: string;
-  operations?: Record<string, OperationDefinition>;
-  containers?: Record<string, OperationContainerDefinition>;
-}
-//#endregion
-//#region src/spec/expression.d.ts
-interface SchemaTypeVariableExpr {
-  kind: 'typeVar';
-  name: string;
-  extends?: SchemaValueTypeTerm;
-}
-interface OpaqueHostTypeExpr {
-  kind: 'opaqueHostType';
-  hostPath: string[];
-}
-interface SchemaValueAbsentExpr {
-  kind: 'absent';
-}
-interface SchemaValueNeverExpr {
-  kind: 'never';
-}
-interface SchemaValueUnknownExpr {
-  kind: 'unknown';
-}
-interface SchemaValueMaybeAbsentExpr {
-  kind: 'maybeAbsent';
-  value: SchemaValueTypeTerm;
-}
-interface SchemaValueArrayExpr {
-  kind: 'arrayOf';
-  element: SchemaValueTypeTerm;
-  constraints?: SchemaConstraint[];
-}
-interface SchemaValueTupleExpr {
-  kind: 'tupleOf';
-  elements: SchemaValueTypeTerm[];
-}
-interface SchemaValueRecordExpr {
-  kind: 'recordOf';
-  fields: {
-    key: string;
-    value: SchemaValueTypeTerm;
-    required?: boolean;
-    description?: string;
-  }[];
-  additionalFields?: true | SchemaValueTypeTerm;
-  constraints?: SchemaConstraint[];
-}
-type SchemaFieldSelector = {
-  kind: 'all';
-} | {
-  kind: 'keys';
-  keys: string[];
-  onMissing: 'error' | 'ignore';
-};
-type SchemaVariantSelector = SchemaFieldSelector;
-interface SchemaTypeElementOfExpr {
-  kind: 'elementOf';
-  source: SchemaValueTypeTerm;
-}
-interface SchemaTypeValueOfExpr {
-  kind: 'valueOf';
-  source: SchemaValueTypeTerm;
-}
-interface SchemaTypeElementAtExpr {
-  kind: 'elementAt';
-  source: SchemaValueTypeTerm;
-  index: number;
-}
-interface SchemaTypeFieldOfExpr {
-  kind: 'fieldOf';
-  source: SchemaValueTypeTerm;
-  key: string;
-}
-interface SchemaTypeKeyOfExpr {
-  kind: 'keyOf';
-  source: SchemaValueTypeTerm;
-}
-interface SchemaTypeFieldsOfExpr {
-  kind: 'fieldsOf';
-  source: SchemaValueTypeTerm;
-  fields: SchemaFieldSelector;
-}
-interface SchemaTypePickFieldsExpr {
-  kind: 'pickFields';
-  source: SchemaValueTypeTerm;
-  fields: SchemaFieldSelector;
-}
-interface SchemaTypeOmitFieldsExpr {
-  kind: 'omitFields';
-  source: SchemaValueTypeTerm;
-  fields: SchemaFieldSelector;
-}
-interface SchemaTypePartialFieldsExpr {
-  kind: 'partialFields';
-  source: SchemaValueTypeTerm;
-  fields: SchemaFieldSelector;
-}
-interface SchemaTypeRequiredFieldsExpr {
-  kind: 'requiredFields';
-  source: SchemaValueTypeTerm;
-  fields: SchemaFieldSelector;
-}
-interface SchemaTypeMergeRecordsExpr {
-  kind: 'mergeRecords';
-  sources: SchemaValueTypeTerm[];
-  conflict: 'leftWins' | 'rightWins' | 'error';
-}
-interface SchemaValueNullableExpr {
-  kind: 'nullableOf';
-  value: SchemaValueTypeTerm;
-}
-interface SchemaValueTaggedUnionExpr {
-  kind: 'taggedUnionOf';
-  discriminator: string;
-  variants: {
-    key: string;
-    value: SchemaValueTypeTerm;
-    description?: string;
-  }[];
-}
-interface SchemaTypeIntersectExpr {
-  kind: 'intersect';
-  sources: SchemaValueTypeTerm[];
-}
-interface SchemaTypeRefineExpr {
-  kind: 'refine';
-  source: SchemaValueTypeTerm;
-  fields: {
-    key: string;
-    require?: true;
-    intersectWith?: SchemaValueTypeTerm;
-    addConstraints?: SchemaConstraint[];
-  }[];
-}
-interface SchemaTypeExcludeVariantsExpr {
-  kind: 'excludeVariants';
-  source: SchemaValueTypeTerm;
-  variants: SchemaVariantSelector;
-}
-interface SchemaTypeExtractVariantsExpr {
-  kind: 'extractVariants';
-  source: SchemaValueTypeTerm;
-  variants: SchemaVariantSelector;
-}
-type SchemaValueTypeExpr = SchemaTypeVariableExpr | OpaqueHostTypeExpr | SchemaValueAbsentExpr | SchemaValueNeverExpr | SchemaValueUnknownExpr | SchemaValueMaybeAbsentExpr | SchemaValueArrayExpr | SchemaValueTupleExpr | SchemaValueRecordExpr | SchemaTypeElementOfExpr | SchemaTypeValueOfExpr | SchemaTypeElementAtExpr | SchemaTypeFieldOfExpr | SchemaTypeKeyOfExpr | SchemaTypeFieldsOfExpr | SchemaTypePickFieldsExpr | SchemaTypeOmitFieldsExpr | SchemaTypePartialFieldsExpr | SchemaTypeRequiredFieldsExpr | SchemaTypeMergeRecordsExpr | SchemaValueNullableExpr | SchemaValueTaggedUnionExpr | SchemaTypeIntersectExpr | SchemaTypeRefineExpr | SchemaTypeExcludeVariantsExpr | SchemaTypeExtractVariantsExpr;
-type SchemaValueTypeTerm = SchemaNode | SchemaValueTypeExpr;
-/** Short model name used by migration-facing APIs. */
-type Expression = SchemaValueTypeExpr;
-/** Kept here so consumers can share the JSON-compatible expression boundary. */
-type ExpressionArgument = JsonValue;
-//#endregion
-export { SchemaRecordField as $, SchemaValueTypeTerm as A, JsonValue as B, SchemaValueMaybeAbsentExpr as C, SchemaValueTaggedUnionExpr as D, SchemaValueRecordExpr as E, OperationChannelDefinition as F, SchemaConstraint as G, PrimitiveName as H, OperationContainerDefinition as I, SchemaNode as J, SchemaLiteralNode as K, OperationDefinition as L, SchemaVariantSelector as M, Operation as N, SchemaValueTupleExpr as O, OperationBinaryMetadata as P, SchemaPrimitiveNode as Q, OperationErrorDefinition as R, SchemaValueArrayExpr as S, SchemaValueNullableExpr as T, SchemaArrayNode as U, LiteralValue as V, SchemaBooleanNode as W, SchemaNullableNode as X, SchemaNullNode as Y, SchemaNumberNode as Z, SchemaTypeRefineExpr as _, SchemaTypeElementAtExpr as a, SchemaTaggedUnionVariant as at, SchemaTypeVariableExpr as b, SchemaTypeExtractVariantsExpr as c, SchemaTypeIntersectExpr as d, SchemaRecordNode as et, SchemaTypeKeyOfExpr as f, SchemaTypePickFieldsExpr as g, SchemaTypePartialFieldsExpr as h, SchemaFieldSelector as i, SchemaTaggedUnionNode as it, SchemaValueUnknownExpr as j, SchemaValueTypeExpr as k, SchemaTypeFieldOfExpr as l, SchemaTypeOmitFieldsExpr as m, ExpressionArgument as n, SchemaSelfRefNode as nt, SchemaTypeElementOfExpr as o, SchemaTupleNode as ot, SchemaTypeMergeRecordsExpr as p, SchemaLiteralUnionNode as q, OpaqueHostTypeExpr as r, SchemaStringNode as rt, SchemaTypeExcludeVariantsExpr as s, Expression as t, SchemaRefNode as tt, SchemaTypeFieldsOfExpr as u, SchemaTypeRequiredFieldsExpr as v, SchemaValueNeverExpr as w, SchemaValueAbsentExpr as x, SchemaTypeValueOfExpr as y, OperationPayloadDefinition as z };

package/dist/index-rzkFjgrt.d.cts

@@ -1,269 +0,0 @@
-//#region src/spec/schema.d.ts
-/** JSON values allowed in opaque constraint arguments. */
-type JsonValue = null | boolean | number | string | JsonValue[] | {
-  [key: string]: JsonValue;
-};
-type PrimitiveName = 'string' | 'number' | 'boolean' | 'null';
-type LiteralValue = string | number | boolean;
-interface SchemaConstraint {
-  constraintPath: string[];
-  args?: JsonValue;
-}
-interface SchemaStringNode {
-  kind: 'primitive';
-  name: 'string';
-  semanticPath?: string[];
-  constraints?: SchemaConstraint[];
-}
-interface SchemaNumberNode {
-  kind: 'primitive';
-  name: 'number';
-  semanticPath?: string[];
-  constraints?: SchemaConstraint[];
-}
-interface SchemaBooleanNode {
-  kind: 'primitive';
-  name: 'boolean';
-}
-interface SchemaNullNode {
-  kind: 'primitive';
-  name: 'null';
-}
-type SchemaPrimitiveNode = SchemaStringNode | SchemaNumberNode | SchemaBooleanNode | SchemaNullNode;
-interface SchemaLiteralNode {
-  kind: 'literal';
-  literal: LiteralValue;
-}
-interface SchemaRecordField {
-  key: string;
-  schema: SchemaNode;
-  required?: boolean;
-  description?: string;
-}
-interface SchemaRecordNode {
-  kind: 'record';
-  fields: SchemaRecordField[];
-  additionalFields?: true | SchemaNode;
-  constraints?: SchemaConstraint[];
-}
-interface SchemaArrayNode {
-  kind: 'array';
-  elementSchema: SchemaNode;
-  constraints?: SchemaConstraint[];
-}
-interface SchemaTupleNode {
-  kind: 'tuple';
-  elementSchemas: SchemaNode[];
-}
-interface SchemaLiteralUnionNode {
-  kind: 'literalUnion';
-  values: [LiteralValue, LiteralValue, ...LiteralValue[]];
-}
-interface SchemaNullableNode {
-  kind: 'nullable';
-  value: SchemaNode;
-}
-interface SchemaTaggedUnionVariant {
-  key: string;
-  schema: SchemaRecordNode;
-  description?: string;
-}
-interface SchemaTaggedUnionNode {
-  kind: 'taggedUnion';
-  discriminator: string;
-  variants: SchemaTaggedUnionVariant[];
-}
-interface SchemaRefNode {
-  kind: 'ref';
-  refPath: string[];
-}
-interface SchemaSelfRefNode {
-  kind: 'selfRef';
-}
-/** Closed serializable SchemaIR contract model. */
-type SchemaNode = SchemaPrimitiveNode | SchemaLiteralNode | SchemaRecordNode | SchemaArrayNode | SchemaTupleNode | SchemaLiteralUnionNode | SchemaNullableNode | SchemaTaggedUnionNode | SchemaRefNode | SchemaSelfRefNode;
-//#endregion
-//#region src/spec/operation.d.ts
-type OperationBinaryMetadata = {
-  kind: 'mime';
-  value: string;
-};
-type OperationPayloadDefinition = {
-  kind: 'structured';
-  schema: SchemaNode;
-} | {
-  kind: 'binary';
-  meta?: OperationBinaryMetadata;
-};
-interface OperationErrorDefinition {
-  description?: string;
-  data?: SchemaNode;
-}
-interface OperationChannelDefinition {
-  description?: string;
-  data?: OperationPayloadDefinition;
-  errors?: Record<string, OperationErrorDefinition>;
-}
-interface OperationDefinition {
-  description?: string;
-  input?: OperationPayloadDefinition;
-  output?: OperationPayloadDefinition;
-  errors?: Record<string, OperationErrorDefinition>;
-  emits?: Record<string, OperationChannelDefinition>;
-}
-/** Short model name used by migration-facing APIs. */
-type Operation = OperationDefinition;
-interface OperationContainerDefinition {
-  description?: string;
-  operations?: Record<string, OperationDefinition>;
-  containers?: Record<string, OperationContainerDefinition>;
-}
-//#endregion
-//#region src/spec/expression.d.ts
-interface SchemaTypeVariableExpr {
-  kind: 'typeVar';
-  name: string;
-  extends?: SchemaValueTypeTerm;
-}
-interface OpaqueHostTypeExpr {
-  kind: 'opaqueHostType';
-  hostPath: string[];
-}
-interface SchemaValueAbsentExpr {
-  kind: 'absent';
-}
-interface SchemaValueNeverExpr {
-  kind: 'never';
-}
-interface SchemaValueUnknownExpr {
-  kind: 'unknown';
-}
-interface SchemaValueMaybeAbsentExpr {
-  kind: 'maybeAbsent';
-  value: SchemaValueTypeTerm;
-}
-interface SchemaValueArrayExpr {
-  kind: 'arrayOf';
-  element: SchemaValueTypeTerm;
-  constraints?: SchemaConstraint[];
-}
-interface SchemaValueTupleExpr {
-  kind: 'tupleOf';
-  elements: SchemaValueTypeTerm[];
-}
-interface SchemaValueRecordExpr {
-  kind: 'recordOf';
-  fields: {
-    key: string;
-    value: SchemaValueTypeTerm;
-    required?: boolean;
-    description?: string;
-  }[];
-  additionalFields?: true | SchemaValueTypeTerm;
-  constraints?: SchemaConstraint[];
-}
-type SchemaFieldSelector = {
-  kind: 'all';
-} | {
-  kind: 'keys';
-  keys: string[];
-  onMissing: 'error' | 'ignore';
-};
-type SchemaVariantSelector = SchemaFieldSelector;
-interface SchemaTypeElementOfExpr {
-  kind: 'elementOf';
-  source: SchemaValueTypeTerm;
-}
-interface SchemaTypeValueOfExpr {
-  kind: 'valueOf';
-  source: SchemaValueTypeTerm;
-}
-interface SchemaTypeElementAtExpr {
-  kind: 'elementAt';
-  source: SchemaValueTypeTerm;
-  index: number;
-}
-interface SchemaTypeFieldOfExpr {
-  kind: 'fieldOf';
-  source: SchemaValueTypeTerm;
-  key: string;
-}
-interface SchemaTypeKeyOfExpr {
-  kind: 'keyOf';
-  source: SchemaValueTypeTerm;
-}
-interface SchemaTypeFieldsOfExpr {
-  kind: 'fieldsOf';
-  source: SchemaValueTypeTerm;
-  fields: SchemaFieldSelector;
-}
-interface SchemaTypePickFieldsExpr {
-  kind: 'pickFields';
-  source: SchemaValueTypeTerm;
-  fields: SchemaFieldSelector;
-}
-interface SchemaTypeOmitFieldsExpr {
-  kind: 'omitFields';
-  source: SchemaValueTypeTerm;
-  fields: SchemaFieldSelector;
-}
-interface SchemaTypePartialFieldsExpr {
-  kind: 'partialFields';
-  source: SchemaValueTypeTerm;
-  fields: SchemaFieldSelector;
-}
-interface SchemaTypeRequiredFieldsExpr {
-  kind: 'requiredFields';
-  source: SchemaValueTypeTerm;
-  fields: SchemaFieldSelector;
-}
-interface SchemaTypeMergeRecordsExpr {
-  kind: 'mergeRecords';
-  sources: SchemaValueTypeTerm[];
-  conflict: 'leftWins' | 'rightWins' | 'error';
-}
-interface SchemaValueNullableExpr {
-  kind: 'nullableOf';
-  value: SchemaValueTypeTerm;
-}
-interface SchemaValueTaggedUnionExpr {
-  kind: 'taggedUnionOf';
-  discriminator: string;
-  variants: {
-    key: string;
-    value: SchemaValueTypeTerm;
-    description?: string;
-  }[];
-}
-interface SchemaTypeIntersectExpr {
-  kind: 'intersect';
-  sources: SchemaValueTypeTerm[];
-}
-interface SchemaTypeRefineExpr {
-  kind: 'refine';
-  source: SchemaValueTypeTerm;
-  fields: {
-    key: string;
-    require?: true;
-    intersectWith?: SchemaValueTypeTerm;
-    addConstraints?: SchemaConstraint[];
-  }[];
-}
-interface SchemaTypeExcludeVariantsExpr {
-  kind: 'excludeVariants';
-  source: SchemaValueTypeTerm;
-  variants: SchemaVariantSelector;
-}
-interface SchemaTypeExtractVariantsExpr {
-  kind: 'extractVariants';
-  source: SchemaValueTypeTerm;
-  variants: SchemaVariantSelector;
-}
-type SchemaValueTypeExpr = SchemaTypeVariableExpr | OpaqueHostTypeExpr | SchemaValueAbsentExpr | SchemaValueNeverExpr | SchemaValueUnknownExpr | SchemaValueMaybeAbsentExpr | SchemaValueArrayExpr | SchemaValueTupleExpr | SchemaValueRecordExpr | SchemaTypeElementOfExpr | SchemaTypeValueOfExpr | SchemaTypeElementAtExpr | SchemaTypeFieldOfExpr | SchemaTypeKeyOfExpr | SchemaTypeFieldsOfExpr | SchemaTypePickFieldsExpr | SchemaTypeOmitFieldsExpr | SchemaTypePartialFieldsExpr | SchemaTypeRequiredFieldsExpr | SchemaTypeMergeRecordsExpr | SchemaValueNullableExpr | SchemaValueTaggedUnionExpr | SchemaTypeIntersectExpr | SchemaTypeRefineExpr | SchemaTypeExcludeVariantsExpr | SchemaTypeExtractVariantsExpr;
-type SchemaValueTypeTerm = SchemaNode | SchemaValueTypeExpr;
-/** Short model name used by migration-facing APIs. */
-type Expression = SchemaValueTypeExpr;
-/** Kept here so consumers can share the JSON-compatible expression boundary. */
-type ExpressionArgument = JsonValue;
-//#endregion
-export { SchemaRecordField as $, SchemaValueTypeTerm as A, JsonValue as B, SchemaValueMaybeAbsentExpr as C, SchemaValueTaggedUnionExpr as D, SchemaValueRecordExpr as E, OperationChannelDefinition as F, SchemaConstraint as G, PrimitiveName as H, OperationContainerDefinition as I, SchemaNode as J, SchemaLiteralNode as K, OperationDefinition as L, SchemaVariantSelector as M, Operation as N, SchemaValueTupleExpr as O, OperationBinaryMetadata as P, SchemaPrimitiveNode as Q, OperationErrorDefinition as R, SchemaValueArrayExpr as S, SchemaValueNullableExpr as T, SchemaArrayNode as U, LiteralValue as V, SchemaBooleanNode as W, SchemaNullableNode as X, SchemaNullNode as Y, SchemaNumberNode as Z, SchemaTypeRefineExpr as _, SchemaTypeElementAtExpr as a, SchemaTaggedUnionVariant as at, SchemaTypeVariableExpr as b, SchemaTypeExtractVariantsExpr as c, SchemaTypeIntersectExpr as d, SchemaRecordNode as et, SchemaTypeKeyOfExpr as f, SchemaTypePickFieldsExpr as g, SchemaTypePartialFieldsExpr as h, SchemaFieldSelector as i, SchemaTaggedUnionNode as it, SchemaValueUnknownExpr as j, SchemaValueTypeExpr as k, SchemaTypeFieldOfExpr as l, SchemaTypeOmitFieldsExpr as m, ExpressionArgument as n, SchemaSelfRefNode as nt, SchemaTypeElementOfExpr as o, SchemaTupleNode as ot, SchemaTypeMergeRecordsExpr as p, SchemaLiteralUnionNode as q, OpaqueHostTypeExpr as r, SchemaStringNode as rt, SchemaTypeExcludeVariantsExpr as s, Expression as t, SchemaRefNode as tt, SchemaTypeFieldsOfExpr as u, SchemaTypeRequiredFieldsExpr as v, SchemaValueNeverExpr as w, SchemaValueAbsentExpr as x, SchemaTypeValueOfExpr as y, OperationPayloadDefinition as z };