@strictly/define 0.0.25 → 0.0.27

package/.turbo/turbo-build.log

@@ -7,12 +7,12 @@ $ tsup
 CLI Target: es6
 CJS Build start
 ESM Build start
-ESM dist/index.js 30.67 KB
-ESM ⚡️ Build success in 74ms
-CJS dist/index.cjs 33.26 KB
-CJS ⚡️ Build success in 84ms
+ESM dist/index.js 32.58 KB
+ESM ⚡️ Build success in 83ms
+CJS dist/index.cjs 35.17 KB
+CJS ⚡️ Build success in 87ms
 DTS Build start
-DTS ⚡️ Build success in 10912ms
-DTS dist/index.d.cts 41.51 KB
-DTS dist/index.d.ts  41.51 KB
-Done in 12.07s.
+DTS ⚡️ Build success in 12982ms
+DTS dist/index.d.cts 41.63 KB
+DTS dist/index.d.ts  41.63 KB
+Done in 14.19s.

package/.turbo/turbo-check-types.log

@@ -1,3 +1,3 @@
 yarn run v1.22.22
 $ tsc -b
-Done in 0.34s.
+Done in 0.37s.

package/.turbo/turbo-release$colon$exports.log

@@ -1,3 +1,3 @@
 yarn run v1.22.22
 $ json -f package.json -f package.exports.json --merge > package.release.json
-Done in 0.11s.
+Done in 0.12s.

package/dist/index.cjs

@@ -50,6 +50,7 @@ __export(index_exports, {
   annotations: () => annotations,
   booleanType: () => booleanType,
   copy: () => copy,
+  equals: () => equals,
   flattenAccessorsOfType: () => flattenAccessorsOfType,
   flattenJsonValueToTypePathsOf: () => flattenJsonValueToTypePathsOf,
   flattenTypesOfType: () => flattenTypesOfType,
@@ -427,6 +428,70 @@ function mobxCopy(t, proto) {
   return copyTo(t, proto, observeValue);
 }
 
+// transformers/equals.ts
+var import_base5 = require("@strictly/base");
+function equals({ definition }, o1, o2) {
+  return internalEquals(definition, o1, o2);
+}
+function internalEquals(typeDef, o1, o2) {
+  if (o1 === o2) {
+    return true;
+  }
+  if (o1 == null && o2 != null || o1 != null && o2 == null) {
+    return false;
+  }
+  switch (typeDef.type) {
+    case 1 /* Literal */:
+      return o1 === o2;
+    case 2 /* List */:
+      return internalListEquals(typeDef, o1, o2);
+    case 3 /* Record */:
+      return internalRecordEquals(typeDef, o1, o2);
+    case 4 /* Object */:
+      return internalObjectEquals(typeDef, o1, o2);
+    case 5 /* Union */:
+      return internalUnionEquals(typeDef, o1, o2);
+    default:
+      throw new import_base5.UnreachableError(typeDef);
+  }
+}
+function internalListEquals({ elements }, o1, o2) {
+  return o1.length === o2.length && o1.every((v, i) => internalEquals(elements, v, o2[i]));
+}
+function internalRecordEquals({
+  valueTypeDef
+}, o1, o2) {
+  const k1s = Object.keys(o1).sort();
+  const k2s = Object.keys(o2).sort();
+  return k1s.length === k2s.length && k1s.every((k1, i) => {
+    const k2 = k2s[i];
+    return k1 === k2 && internalEquals(valueTypeDef, o1[k1], o2[k2]);
+  });
+}
+function internalObjectEquals({
+  fields
+}, o1, o2) {
+  return Object.entries(fields).every(([
+    key,
+    typeDef
+  ]) => {
+    return internalEquals(typeDef, o1[key], o2[key]);
+  });
+}
+function internalUnionEquals({
+  discriminator,
+  unions
+}, o1, o2) {
+  if (discriminator != null) {
+    return o1[discriminator] === o2[discriminator] && internalEquals(unions[o1[discriminator]], o1, o2);
+  }
+  const allTypeDefs = Object.values(unions);
+  const variableTypeDefs = allTypeDefs.filter(function(typeDef) {
+    return typeDef.type !== 1 /* Literal */ || typeDef.valuePrototype == null;
+  });
+  return o1 === o2 || variableTypeDefs.length === 1 && internalEquals(variableTypeDefs[0], o1, o2);
+}
+
 // transformers/flatteners/flatten_accessors_of_type.ts
 function mapAccessor(_t, value, set) {
   return {
@@ -458,10 +523,10 @@ function flattenJsonValueToTypePathsOf(t, value) {
 }
 
 // transformers/flatteners/flatten_type_to.ts
-var import_base5 = require("@strictly/base");
+var import_base6 = require("@strictly/base");
 function flattenTypeTo({ definition }, mapper2) {
   const typeDefs = internalFlattenTypeDef("$", definition, {});
-  return (0, import_base5.reduce)(
+  return (0, import_base6.reduce)(
     typeDefs,
     function(acc, key, typeDef) {
       acc[key] = mapper2(typeDef, key);
@@ -488,7 +553,7 @@ function internalFlattenTypeDefChildren(path, qualifier, t, r) {
     case 5 /* Union */:
       return internalFlattenUnionTypeDefChildren(path, qualifier, t, r);
     default:
-      throw new import_base5.UnreachableError(t);
+      throw new import_base6.UnreachableError(t);
   }
 }
 function internalFlattenedListTypeDefChildren(path, { elements }, r) {
@@ -498,7 +563,7 @@ function internalFlattenRecordTypeDefChildren(path, { valueTypeDef }, r) {
   return internalFlattenTypeDef(jsonPath(path, "*"), valueTypeDef, r);
 }
 function internalFlattenObjectTypeDefChildren(path, qualifier, { fields }, r) {
-  return (0, import_base5.reduce)(
+  return (0, import_base6.reduce)(
     fields,
     function(acc, fieldName, fieldTypeDef) {
       return internalFlattenTypeDef(
@@ -514,7 +579,7 @@ function internalFlattenUnionTypeDefChildren(path, qualifier, {
   discriminator,
   unions
 }, r) {
-  return (0, import_base5.reduce)(
+  return (0, import_base6.reduce)(
     unions,
     function(acc, key, typeDef) {
       return internalFlattenTypeDefChildren(
@@ -574,7 +639,7 @@ function flattenValuesOfType(typeDef, value) {
 }
 
 // transformers/flatteners/value_path_to_type_path.ts
-var import_base6 = require("@strictly/base");
+var import_base7 = require("@strictly/base");
 function valuePathToTypePath({ definition: typeDef }, valuePath, allowMissingPaths = false) {
   const valueSteps = valuePath.split(/\.|\[/g);
   const parts = valueSteps[0].split(":");
@@ -582,7 +647,7 @@ function valuePathToTypePath({ definition: typeDef }, valuePath, allowMissingPat
     first,
     ...qualifiers
   ] = parts;
-  (0, import_base6.assertEqual)(first, "$");
+  (0, import_base7.assertEqual)(first, "$");
   const typeSteps = internalJsonValuePathToTypePath(
     typeDef,
     qualifiers,
@@ -612,7 +677,7 @@ function internalJsonValuePathToTypePath(typeDef, qualifiers, valueSteps, allowM
       if (allowMissingPaths) {
         return valueSteps;
       } else {
-        throw new import_base6.PreconditionFailedError(
+        throw new import_base7.PreconditionFailedError(
           "literal should terminate path {} ({})",
           originalValuePath,
           nextValueStepAndQualifiersString
@@ -652,7 +717,7 @@ function internalJsonValuePathToTypePath(typeDef, qualifiers, valueSteps, allowM
           return valueSteps;
         }
       } else {
-        (0, import_base6.assertExists)(typeDef.fields[valueStep], "missing field in {} ({})", originalValuePath, valueStep);
+        (0, import_base7.assertExists)(typeDef.fields[valueStep], "missing field in {} ({})", originalValuePath, valueStep);
       }
       return [
         nextValueStepAndQualifiersString,
@@ -667,7 +732,7 @@ function internalJsonValuePathToTypePath(typeDef, qualifiers, valueSteps, allowM
     case 5 /* Union */:
       if (typeDef.discriminator == null) {
         if (remainingValueSteps.length > 0) {
-          const union2 = (0, import_base6.reduce)(
+          const union2 = (0, import_base7.reduce)(
             typeDef.unions,
             function(acc, _k, v) {
               if (v.type !== 1 /* Literal */ || v.type === 1 /* Literal */ && v.valuePrototype == null) {
@@ -677,7 +742,7 @@ function internalJsonValuePathToTypePath(typeDef, qualifiers, valueSteps, allowM
             },
             null
           );
-          (0, import_base6.assertExists)(union2, "expected a complex union {}", originalValuePath);
+          (0, import_base7.assertExists)(union2, "expected a complex union {}", originalValuePath);
           return internalJsonValuePathToTypePath(
             union2,
             nextQualifiers,
@@ -693,7 +758,7 @@ function internalJsonValuePathToTypePath(typeDef, qualifiers, valueSteps, allowM
           if (allowMissingPaths) {
             return valueSteps;
           } else {
-            throw new import_base6.PreconditionFailedError(
+            throw new import_base7.PreconditionFailedError(
               "mismatched qualifiers in {} (at {})",
               originalValuePath,
               valueStep
@@ -704,7 +769,7 @@ function internalJsonValuePathToTypePath(typeDef, qualifiers, valueSteps, allowM
           qualifier,
           ...remainingQualifiers
         ] = qualifiers;
-        const union2 = (0, import_base6.assertExistsAndReturn)(typeDef.unions[qualifier], "missing union {}", qualifier);
+        const union2 = (0, import_base7.assertExistsAndReturn)(typeDef.unions[qualifier], "missing union {}", qualifier);
         return internalJsonValuePathToTypePath(
           union2,
           remainingQualifiers,
@@ -714,7 +779,7 @@ function internalJsonValuePathToTypePath(typeDef, qualifiers, valueSteps, allowM
         );
       }
     default:
-      throw new import_base6.UnreachableError(typeDef);
+      throw new import_base7.UnreachableError(typeDef);
   }
 }
 
@@ -787,7 +852,7 @@ function mergeAnnotations(a1, a2) {
 }
 
 // types/type_of_type.ts
-var import_base7 = require("@strictly/base");
+var import_base8 = require("@strictly/base");
 function typeOfType({ definition }) {
   return {
     definition: typeDefOfTypeDef(definition)
@@ -806,7 +871,7 @@ function typeDefOfTypeDef(t) {
     case 5 /* Union */:
       return typeDefOfUnionTypeDef(t);
     default:
-      throw new import_base7.UnreachableError(t);
+      throw new import_base8.UnreachableError(t);
   }
 }
 function typeDefOfLiteralTypeDef({
@@ -844,7 +909,7 @@ function typeDefOfObjectTypeDef({
 }) {
   return {
     type,
-    fields: (0, import_base7.map)(fields, function(_k, v) {
+    fields: (0, import_base8.map)(fields, function(_k, v) {
       return typeDefOfTypeDef(v);
     })
   };
@@ -857,7 +922,7 @@ function typeDefOfUnionTypeDef({
   return {
     type,
     discriminator,
-    unions: (0, import_base7.map)(unions, function(_k, v) {
+    unions: (0, import_base8.map)(unions, function(_k, v) {
       return typeDefOfTypeDef(v);
     })
   };
@@ -1216,6 +1281,7 @@ var RegexpValidator = _RegexpValidator;
   annotations,
   booleanType,
   copy,
+  equals,
   flattenAccessorsOfType,
   flattenJsonValueToTypePathsOf,
   flattenTypesOfType,

package/dist/index.d.cts

@@ -147,6 +147,8 @@ type MobxValueOfType<T extends Type> = ValueOfType<T, MobxObservable>;
 
 declare function mobxCopy<T extends StrictType>(t: T, proto: ValueOfType<ReadonlyTypeOfType<T>>): MobxValueOfType<T>;
 
+declare function equals<T extends Type>({ definition }: T, o1: ValueOfType<T>, o2: ValueOfType<T>): boolean;
+
 type StartingDepth = 8;
 type Depths = [-1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13];
 
@@ -614,4 +616,4 @@ type ValidatorsOfValues<FlattenedValues extends Readonly<Record<string, any>>, T
     readonly [K in keyof FlattenedValues]: Validator<FlattenedValues[K], any, TypePathsToValuePaths[K], Context>;
 };
 
-export { type Accessor, type AnnotatedValidator, type Annotations, type AnyValueType, DefinedValidator, type ErrorOfValidator, type FlattenedAccessorsOfType, type FlattenedTypesOfType, type FlattenedValuesOfType, type FunctionalValidator, type InternalJsonPathsOf, type IsStrictUnion, type ListTypeDef, type LiteralTypeDef, type Mapper, type MaximumStringLengthValidationError, MaximumStringLengthValidationErrorType, MaximumStringLengthValidator, type MinimumStringLengthValidationError, MinimumStringLengthValidationErrorType, MinimumStringLengthValidator, type MobxObservable, type MobxValueOfType, type NonMobxObservable, type ObjectFieldKey, type ObjectTypeDef, type ObjectTypeDefFields, OptionalValidatorProxy, type PathsOfType, type ReadonlyOfTypeDef, type ReadonlyTypeOfType, type RecordKeyType, type RecordTypeDef, type RegexpValidationError, RegexpValidationErrorType, RegexpValidator, type Setter, type StrictListTypeDef, type StrictLiteralTypeDef, type StrictObjectTypeDef, type StrictObjectTypeDefFields, type StrictRecordTypeDef, type StrictType, type StrictTypeDef, type StrictUnionTypeDef, type Type, type TypeDef, TypeDefType, type UnionKey, type UnionTypeDef, type ValidationError, type Validator, type ValidatorsOfValues, type ValueOfType, type ValueOfTypeDef, type ValueToTypePathsOfType, type ValueTypesOfDiscriminatedUnion, annotations, booleanType, copy, flattenAccessorsOfType, flattenJsonValueToTypePathsOf, flattenTypesOfType, flattenValidatorsOfValidatingType, flattenValueTo, flattenValuesOfType, getUnionTypeDef, isAnnotatedValidator, isFunctionalValidator, jsonPath, jsonPathPop, jsonPathPrefix, jsonPathUnprefix, list, literal, mergeAnnotations, mergeValidators, mobxCopy, nullType, nullable, numberType, object, record, stringType, union, validate, valuePathToTypePath };
+export { type Accessor, type AnnotatedValidator, type Annotations, type AnyValueType, DefinedValidator, type ErrorOfValidator, type FlattenedAccessorsOfType, type FlattenedTypesOfType, type FlattenedValuesOfType, type FunctionalValidator, type InternalJsonPathsOf, type IsStrictUnion, type ListTypeDef, type LiteralTypeDef, type Mapper, type MaximumStringLengthValidationError, MaximumStringLengthValidationErrorType, MaximumStringLengthValidator, type MinimumStringLengthValidationError, MinimumStringLengthValidationErrorType, MinimumStringLengthValidator, type MobxObservable, type MobxValueOfType, type NonMobxObservable, type ObjectFieldKey, type ObjectTypeDef, type ObjectTypeDefFields, OptionalValidatorProxy, type PathsOfType, type ReadonlyOfTypeDef, type ReadonlyTypeOfType, type RecordKeyType, type RecordTypeDef, type RegexpValidationError, RegexpValidationErrorType, RegexpValidator, type Setter, type StrictListTypeDef, type StrictLiteralTypeDef, type StrictObjectTypeDef, type StrictObjectTypeDefFields, type StrictRecordTypeDef, type StrictType, type StrictTypeDef, type StrictUnionTypeDef, type Type, type TypeDef, TypeDefType, type UnionKey, type UnionTypeDef, type ValidationError, type Validator, type ValidatorsOfValues, type ValueOfType, type ValueOfTypeDef, type ValueToTypePathsOfType, type ValueTypesOfDiscriminatedUnion, annotations, booleanType, copy, equals, flattenAccessorsOfType, flattenJsonValueToTypePathsOf, flattenTypesOfType, flattenValidatorsOfValidatingType, flattenValueTo, flattenValuesOfType, getUnionTypeDef, isAnnotatedValidator, isFunctionalValidator, jsonPath, jsonPathPop, jsonPathPrefix, jsonPathUnprefix, list, literal, mergeAnnotations, mergeValidators, mobxCopy, nullType, nullable, numberType, object, record, stringType, union, validate, valuePathToTypePath };

package/dist/index.d.ts

@@ -147,6 +147,8 @@ type MobxValueOfType<T extends Type> = ValueOfType<T, MobxObservable>;
 
 declare function mobxCopy<T extends StrictType>(t: T, proto: ValueOfType<ReadonlyTypeOfType<T>>): MobxValueOfType<T>;
 
+declare function equals<T extends Type>({ definition }: T, o1: ValueOfType<T>, o2: ValueOfType<T>): boolean;
+
 type StartingDepth = 8;
 type Depths = [-1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13];
 
@@ -614,4 +616,4 @@ type ValidatorsOfValues<FlattenedValues extends Readonly<Record<string, any>>, T
     readonly [K in keyof FlattenedValues]: Validator<FlattenedValues[K], any, TypePathsToValuePaths[K], Context>;
 };
 
-export { type Accessor, type AnnotatedValidator, type Annotations, type AnyValueType, DefinedValidator, type ErrorOfValidator, type FlattenedAccessorsOfType, type FlattenedTypesOfType, type FlattenedValuesOfType, type FunctionalValidator, type InternalJsonPathsOf, type IsStrictUnion, type ListTypeDef, type LiteralTypeDef, type Mapper, type MaximumStringLengthValidationError, MaximumStringLengthValidationErrorType, MaximumStringLengthValidator, type MinimumStringLengthValidationError, MinimumStringLengthValidationErrorType, MinimumStringLengthValidator, type MobxObservable, type MobxValueOfType, type NonMobxObservable, type ObjectFieldKey, type ObjectTypeDef, type ObjectTypeDefFields, OptionalValidatorProxy, type PathsOfType, type ReadonlyOfTypeDef, type ReadonlyTypeOfType, type RecordKeyType, type RecordTypeDef, type RegexpValidationError, RegexpValidationErrorType, RegexpValidator, type Setter, type StrictListTypeDef, type StrictLiteralTypeDef, type StrictObjectTypeDef, type StrictObjectTypeDefFields, type StrictRecordTypeDef, type StrictType, type StrictTypeDef, type StrictUnionTypeDef, type Type, type TypeDef, TypeDefType, type UnionKey, type UnionTypeDef, type ValidationError, type Validator, type ValidatorsOfValues, type ValueOfType, type ValueOfTypeDef, type ValueToTypePathsOfType, type ValueTypesOfDiscriminatedUnion, annotations, booleanType, copy, flattenAccessorsOfType, flattenJsonValueToTypePathsOf, flattenTypesOfType, flattenValidatorsOfValidatingType, flattenValueTo, flattenValuesOfType, getUnionTypeDef, isAnnotatedValidator, isFunctionalValidator, jsonPath, jsonPathPop, jsonPathPrefix, jsonPathUnprefix, list, literal, mergeAnnotations, mergeValidators, mobxCopy, nullType, nullable, numberType, object, record, stringType, union, validate, valuePathToTypePath };
+export { type Accessor, type AnnotatedValidator, type Annotations, type AnyValueType, DefinedValidator, type ErrorOfValidator, type FlattenedAccessorsOfType, type FlattenedTypesOfType, type FlattenedValuesOfType, type FunctionalValidator, type InternalJsonPathsOf, type IsStrictUnion, type ListTypeDef, type LiteralTypeDef, type Mapper, type MaximumStringLengthValidationError, MaximumStringLengthValidationErrorType, MaximumStringLengthValidator, type MinimumStringLengthValidationError, MinimumStringLengthValidationErrorType, MinimumStringLengthValidator, type MobxObservable, type MobxValueOfType, type NonMobxObservable, type ObjectFieldKey, type ObjectTypeDef, type ObjectTypeDefFields, OptionalValidatorProxy, type PathsOfType, type ReadonlyOfTypeDef, type ReadonlyTypeOfType, type RecordKeyType, type RecordTypeDef, type RegexpValidationError, RegexpValidationErrorType, RegexpValidator, type Setter, type StrictListTypeDef, type StrictLiteralTypeDef, type StrictObjectTypeDef, type StrictObjectTypeDefFields, type StrictRecordTypeDef, type StrictType, type StrictTypeDef, type StrictUnionTypeDef, type Type, type TypeDef, TypeDefType, type UnionKey, type UnionTypeDef, type ValidationError, type Validator, type ValidatorsOfValues, type ValueOfType, type ValueOfTypeDef, type ValueToTypePathsOfType, type ValueTypesOfDiscriminatedUnion, annotations, booleanType, copy, equals, flattenAccessorsOfType, flattenJsonValueToTypePathsOf, flattenTypesOfType, flattenValidatorsOfValidatingType, flattenValueTo, flattenValuesOfType, getUnionTypeDef, isAnnotatedValidator, isFunctionalValidator, jsonPath, jsonPathPop, jsonPathPrefix, jsonPathUnprefix, list, literal, mergeAnnotations, mergeValidators, mobxCopy, nullType, nullable, numberType, object, record, stringType, union, validate, valuePathToTypePath };

package/dist/index.js

@@ -383,6 +383,72 @@ function mobxCopy(t, proto) {
   return copyTo(t, proto, observeValue);
 }
 
+// transformers/equals.ts
+import {
+  UnreachableError as UnreachableError4
+} from "@strictly/base";
+function equals({ definition }, o1, o2) {
+  return internalEquals(definition, o1, o2);
+}
+function internalEquals(typeDef, o1, o2) {
+  if (o1 === o2) {
+    return true;
+  }
+  if (o1 == null && o2 != null || o1 != null && o2 == null) {
+    return false;
+  }
+  switch (typeDef.type) {
+    case 1 /* Literal */:
+      return o1 === o2;
+    case 2 /* List */:
+      return internalListEquals(typeDef, o1, o2);
+    case 3 /* Record */:
+      return internalRecordEquals(typeDef, o1, o2);
+    case 4 /* Object */:
+      return internalObjectEquals(typeDef, o1, o2);
+    case 5 /* Union */:
+      return internalUnionEquals(typeDef, o1, o2);
+    default:
+      throw new UnreachableError4(typeDef);
+  }
+}
+function internalListEquals({ elements }, o1, o2) {
+  return o1.length === o2.length && o1.every((v, i) => internalEquals(elements, v, o2[i]));
+}
+function internalRecordEquals({
+  valueTypeDef
+}, o1, o2) {
+  const k1s = Object.keys(o1).sort();
+  const k2s = Object.keys(o2).sort();
+  return k1s.length === k2s.length && k1s.every((k1, i) => {
+    const k2 = k2s[i];
+    return k1 === k2 && internalEquals(valueTypeDef, o1[k1], o2[k2]);
+  });
+}
+function internalObjectEquals({
+  fields
+}, o1, o2) {
+  return Object.entries(fields).every(([
+    key,
+    typeDef
+  ]) => {
+    return internalEquals(typeDef, o1[key], o2[key]);
+  });
+}
+function internalUnionEquals({
+  discriminator,
+  unions
+}, o1, o2) {
+  if (discriminator != null) {
+    return o1[discriminator] === o2[discriminator] && internalEquals(unions[o1[discriminator]], o1, o2);
+  }
+  const allTypeDefs = Object.values(unions);
+  const variableTypeDefs = allTypeDefs.filter(function(typeDef) {
+    return typeDef.type !== 1 /* Literal */ || typeDef.valuePrototype == null;
+  });
+  return o1 === o2 || variableTypeDefs.length === 1 && internalEquals(variableTypeDefs[0], o1, o2);
+}
+
 // transformers/flatteners/flatten_accessors_of_type.ts
 function mapAccessor(_t, value, set) {
   return {
@@ -416,7 +482,7 @@ function flattenJsonValueToTypePathsOf(t, value) {
 // transformers/flatteners/flatten_type_to.ts
 import {
   reduce as reduce4,
-  UnreachableError as UnreachableError4
+  UnreachableError as UnreachableError5
 } from "@strictly/base";
 function flattenTypeTo({ definition }, mapper2) {
   const typeDefs = internalFlattenTypeDef("$", definition, {});
@@ -447,7 +513,7 @@ function internalFlattenTypeDefChildren(path, qualifier, t, r) {
     case 5 /* Union */:
       return internalFlattenUnionTypeDefChildren(path, qualifier, t, r);
     default:
-      throw new UnreachableError4(t);
+      throw new UnreachableError5(t);
   }
 }
 function internalFlattenedListTypeDefChildren(path, { elements }, r) {
@@ -539,7 +605,7 @@ import {
   assertExistsAndReturn,
   PreconditionFailedError,
   reduce as reduce5,
-  UnreachableError as UnreachableError5
+  UnreachableError as UnreachableError6
 } from "@strictly/base";
 function valuePathToTypePath({ definition: typeDef }, valuePath, allowMissingPaths = false) {
   const valueSteps = valuePath.split(/\.|\[/g);
@@ -680,7 +746,7 @@ function internalJsonValuePathToTypePath(typeDef, qualifiers, valueSteps, allowM
         );
       }
     default:
-      throw new UnreachableError5(typeDef);
+      throw new UnreachableError6(typeDef);
   }
 }
 
@@ -755,7 +821,7 @@ function mergeAnnotations(a1, a2) {
 // types/type_of_type.ts
 import {
   map as map2,
-  UnreachableError as UnreachableError6
+  UnreachableError as UnreachableError7
 } from "@strictly/base";
 function typeOfType({ definition }) {
   return {
@@ -775,7 +841,7 @@ function typeDefOfTypeDef(t) {
     case 5 /* Union */:
       return typeDefOfUnionTypeDef(t);
     default:
-      throw new UnreachableError6(t);
+      throw new UnreachableError7(t);
   }
 }
 function typeDefOfLiteralTypeDef({
@@ -1184,6 +1250,7 @@ export {
   annotations,
   booleanType,
   copy,
+  equals,
   flattenAccessorsOfType,
   flattenJsonValueToTypePathsOf,
   flattenTypesOfType,

package/index.ts

@@ -1,5 +1,6 @@
 export * from './transformers/copies/copy'
 export * from './transformers/copies/mobx_copy'
+export * from './transformers/equals'
 export * from './transformers/flatteners/flatten_accessors_of_type'
 export * from './transformers/flatteners/flatten_json_value_to_type_paths_of'
 export * from './transformers/flatteners/flatten_types_of_type'

package/package.json

@@ -38,7 +38,7 @@
     "test:watch": "vitest"
   },
   "type": "module",
-  "version": "0.0.25",
+  "version": "0.0.27",
   "exports": {
     ".": {
       "import": {

package/transformers/equals.ts

@@ -0,0 +1,101 @@
+import {
+  UnreachableError,
+} from '@strictly/base'
+import {
+  type ListTypeDef,
+  type ObjectTypeDef,
+  type RecordTypeDef,
+  type Type,
+  type TypeDef,
+  TypeDefType,
+  type UnionTypeDef,
+} from 'types/definitions'
+import { type ValueOfType } from 'types/value_of_type'
+
+export function equals<T extends Type>({ definition }: T, o1: ValueOfType<T>, o2: ValueOfType<T>): boolean {
+  return internalEquals(definition, o1, o2)
+}
+
+// eslint-disable-next-line @typescript-eslint/no-explicit-any
+function internalEquals(typeDef: TypeDef, o1: any, o2: any): boolean {
+  // get rid of optional values
+  if (o1 === o2) {
+    return true
+  }
+  if (o1 == null && o2 != null || o1 != null && o2 == null) {
+    return false
+  }
+  switch (typeDef.type) {
+    case TypeDefType.Literal:
+      return o1 === o2
+    case TypeDefType.List:
+      return internalListEquals(typeDef, o1, o2)
+    case TypeDefType.Record:
+      return internalRecordEquals(typeDef, o1, o2)
+    case TypeDefType.Object:
+      return internalObjectEquals(typeDef, o1, o2)
+    case TypeDefType.Union:
+      return internalUnionEquals(typeDef, o1, o2)
+    default:
+      throw new UnreachableError(typeDef)
+  }
+}
+
+// eslint-disable-next-line @typescript-eslint/no-explicit-any
+function internalListEquals({ elements }: ListTypeDef, o1: any[], o2: any[]) {
+  return o1.length === o2.length && o1.every((v, i) => internalEquals(elements, v, o2[i]))
+}
+
+function internalRecordEquals(
+  {
+    valueTypeDef,
+  }: RecordTypeDef,
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  o1: Record<string, any>,
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  o2: Record<string, any>,
+) {
+  const k1s = Object.keys(o1).sort()
+  const k2s = Object.keys(o2).sort()
+  return k1s.length === k2s.length && k1s.every((k1, i) => {
+    const k2 = k2s[i]
+    return k1 === k2 && internalEquals(valueTypeDef, o1[k1], o2[k2])
+  })
+}
+
+function internalObjectEquals(
+  {
+    fields,
+  }: ObjectTypeDef,
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  o1: Record<string, any>,
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  o2: Record<string, any>,
+) {
+  return Object.entries(fields).every(([
+    key,
+    typeDef,
+  ]) => {
+    return internalEquals(typeDef, o1[key], o2[key])
+  })
+}
+
+function internalUnionEquals(
+  {
+    discriminator,
+    unions,
+  }: UnionTypeDef,
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  o1: any,
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  o2: any,
+) {
+  if (discriminator != null) {
+    return o1[discriminator] === o2[discriminator] && internalEquals(unions[o1[discriminator]], o1, o2)
+  }
+  const allTypeDefs = Object.values<TypeDef>(unions)
+  const variableTypeDefs = allTypeDefs.filter(function (typeDef: TypeDef) {
+    return typeDef.type !== TypeDefType.Literal || typeDef.valuePrototype == null
+  })
+  return o1 === o2 || variableTypeDefs.length === 1 && internalEquals(variableTypeDefs[0], o1, o2)
+}