@verevoir/review 0.3.1 → 0.3.2

package/node_modules/ts-algebra/lib/meta-types/intersection/index.d.ts

@@ -0,0 +1,20 @@
+import type { AnyType } from "../any";
+import type { ArrayType } from "../array";
+import type { ConstType } from "../const";
+import type { EnumType } from "../enum";
+import type { Never, NeverType } from "../never";
+import type { ObjectType } from "../object";
+import type { PrimitiveType } from "../primitive";
+import type { TupleType } from "../tuple";
+import type { Type } from "../type";
+import type { UnionType } from "../union";
+import type { IntersectAny } from "./any";
+import type { IntersectArray } from "./array";
+import type { IntersectConst } from "./const";
+import type { IntersectEnum } from "./enum";
+import type { IntersectObject } from "./object";
+import type { IntersectPrimitive } from "./primitive";
+import type { IntersectTuple } from "./tuple";
+import type { IntersectUnion } from "./union";
+export declare type Intersect<META_TYPE_A extends Type, META_TYPE_B extends Type> = $Intersect<META_TYPE_A, META_TYPE_B>;
+export declare type $Intersect<META_TYPE_A, META_TYPE_B> = META_TYPE_A extends NeverType ? META_TYPE_A : META_TYPE_A extends AnyType ? IntersectAny<META_TYPE_A, META_TYPE_B> : META_TYPE_A extends ConstType ? IntersectConst<META_TYPE_A, META_TYPE_B> : META_TYPE_A extends EnumType ? IntersectEnum<META_TYPE_A, META_TYPE_B> : META_TYPE_A extends PrimitiveType ? IntersectPrimitive<META_TYPE_A, META_TYPE_B> : META_TYPE_A extends ArrayType ? IntersectArray<META_TYPE_A, META_TYPE_B> : META_TYPE_A extends TupleType ? IntersectTuple<META_TYPE_A, META_TYPE_B> : META_TYPE_A extends ObjectType ? IntersectObject<META_TYPE_A, META_TYPE_B> : META_TYPE_A extends UnionType ? IntersectUnion<META_TYPE_A, META_TYPE_B> : Never;

package/node_modules/ts-algebra/lib/meta-types/intersection/index.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/intersection/object.d.ts

@@ -0,0 +1,26 @@
+import type { Or } from "../../utils";
+import type { AnyType } from "../any";
+import type { ArrayType } from "../array";
+import type { ConstType } from "../const";
+import type { EnumType } from "../enum";
+import type { Never, NeverType } from "../never";
+import type { _$Object, IsObjectClosedOnResolve, ObjectOpenProps, ObjectRequiredKeys, ObjectType, ObjectValue, ObjectValues } from "../object";
+import type { PrimitiveType } from "../primitive";
+import type { TupleType } from "../tuple";
+import type { SerializableType, Type } from "../type";
+import type { UnionType } from "../union";
+import type { IntersectConstToObject } from "./const";
+import type { IntersectEnumToObject } from "./enum";
+import type { $Intersect, Intersect } from "./index";
+import type { DistributeIntersection } from "./union";
+import type { IntersectDeserialized, IntersectIsSerialized } from "./utils";
+export declare type IntersectObjectSerializationParams<VALUES extends Record<string, Type>, REQUIRED_KEYS extends string, OPEN_PROPS extends Type, CLOSE_ON_RESOLVE extends boolean, META_OBJECT extends ObjectType, SERIALIZABLE_META_TYPE extends SerializableType> = $MergeObjectPropsToSerializable<VALUES, REQUIRED_KEYS, OPEN_PROPS, CLOSE_ON_RESOLVE, META_OBJECT, SERIALIZABLE_META_TYPE>;
+declare type $MergeObjectPropsToSerializable<VALUES, REQUIRED_KEYS, OPEN_PROPS, CLOSE_ON_RESOLVE, META_OBJECT extends ObjectType, SERIALIZABLE_META_TYPE extends SerializableType> = _$Object<VALUES, REQUIRED_KEYS, OPEN_PROPS, CLOSE_ON_RESOLVE, IntersectIsSerialized<META_OBJECT, SERIALIZABLE_META_TYPE>, IntersectDeserialized<META_OBJECT, SERIALIZABLE_META_TYPE>>;
+export declare type IntersectObject<META_OBJECT extends ObjectType, META_TYPE> = META_TYPE extends Type ? META_TYPE extends NeverType ? META_TYPE : META_TYPE extends AnyType ? IntersectObjectSerializationParams<ObjectValues<META_OBJECT>, ObjectRequiredKeys<META_OBJECT>, ObjectOpenProps<META_OBJECT>, IsObjectClosedOnResolve<META_OBJECT>, META_OBJECT, META_TYPE> : META_TYPE extends ConstType ? IntersectConstToObject<META_TYPE, META_OBJECT> : META_TYPE extends EnumType ? IntersectEnumToObject<META_TYPE, META_OBJECT> : META_TYPE extends PrimitiveType ? Never : META_TYPE extends ArrayType ? Never : META_TYPE extends TupleType ? Never : META_TYPE extends ObjectType ? IntersectObjects<META_OBJECT, META_TYPE> : META_TYPE extends UnionType ? DistributeIntersection<META_TYPE, META_OBJECT> : Never : Never;
+declare type IntersectObjects<META_OBJECT_A extends ObjectType, META_OBJECT_B extends ObjectType, INTERSECTED_VALUES extends Record<string, unknown> = IntersectObjectsValues<META_OBJECT_A, META_OBJECT_B>, INTERSECTED_OPEN_PROPS = Intersect<ObjectOpenProps<META_OBJECT_A>, ObjectOpenProps<META_OBJECT_B>>, INTERSECTED_CLOSE_ON_RESOLVE = Or<IsObjectClosedOnResolve<META_OBJECT_A>, IsObjectClosedOnResolve<META_OBJECT_B>>> = $MergeObjectPropsToSerializable<{
+    [KEY in keyof INTERSECTED_VALUES]: INTERSECTED_VALUES[KEY];
+}, ObjectRequiredKeys<META_OBJECT_A> | ObjectRequiredKeys<META_OBJECT_B>, INTERSECTED_OPEN_PROPS, INTERSECTED_CLOSE_ON_RESOLVE, META_OBJECT_A, META_OBJECT_B>;
+declare type IntersectObjectsValues<META_OBJECT_A extends ObjectType, META_OBJECT_B extends ObjectType> = {
+    [KEY in Extract<keyof ObjectValues<META_OBJECT_A> | keyof ObjectValues<META_OBJECT_B>, string>]: $Intersect<ObjectValue<META_OBJECT_A, KEY>, ObjectValue<META_OBJECT_B, KEY>>;
+};
+export {};

package/node_modules/ts-algebra/lib/meta-types/intersection/object.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/intersection/primitive.d.ts

@@ -0,0 +1,17 @@
+import type { And, DoesExtend, If } from "../../utils";
+import type { AnyType } from "../any";
+import type { ArrayType } from "../array";
+import type { ConstType } from "../const";
+import type { EnumType } from "../enum";
+import type { Never, NeverType } from "../never";
+import type { ObjectType } from "../object";
+import type { Primitive, PrimitiveType, PrimitiveValue } from "../primitive";
+import type { TupleType } from "../tuple";
+import type { SerializableType, Type } from "../type";
+import type { UnionType } from "../union";
+import type { IntersectConstToPrimitive } from "./const";
+import type { IntersectEnumToPrimitive } from "./enum";
+import type { DistributeIntersection } from "./union";
+import type { IntersectDeserialized, IntersectIsSerialized } from "./utils";
+export declare type IntersectPrimitiveSerializationParams<META_PRIMITIVE extends PrimitiveType, SERIALIZABLE_META_TYPE extends SerializableType> = Primitive<PrimitiveValue<META_PRIMITIVE>, IntersectIsSerialized<META_PRIMITIVE, SERIALIZABLE_META_TYPE>, IntersectDeserialized<META_PRIMITIVE, SERIALIZABLE_META_TYPE>>;
+export declare type IntersectPrimitive<META_PRIMITIVE extends PrimitiveType, META_TYPE> = META_TYPE extends Type ? META_TYPE extends NeverType ? META_TYPE : META_TYPE extends AnyType ? IntersectPrimitiveSerializationParams<META_PRIMITIVE, META_TYPE> : META_TYPE extends ConstType ? IntersectConstToPrimitive<META_TYPE, META_PRIMITIVE> : META_TYPE extends EnumType ? IntersectEnumToPrimitive<META_TYPE, META_PRIMITIVE> : META_TYPE extends PrimitiveType ? If<And<DoesExtend<PrimitiveValue<META_PRIMITIVE>, PrimitiveValue<META_TYPE>>, DoesExtend<PrimitiveValue<META_TYPE>, PrimitiveValue<META_PRIMITIVE>>>, IntersectPrimitiveSerializationParams<META_PRIMITIVE, META_TYPE>, Never> : META_TYPE extends ArrayType ? Never : META_TYPE extends TupleType ? Never : META_TYPE extends ObjectType ? Never : META_TYPE extends UnionType ? DistributeIntersection<META_TYPE, META_PRIMITIVE> : Never : Never;

package/node_modules/ts-algebra/lib/meta-types/intersection/primitive.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/intersection/tuple.d.ts

@@ -0,0 +1,44 @@
+import type { AnyType } from "../any";
+import type { ArrayType, ArrayValues } from "../array";
+import type { ConstType } from "../const";
+import type { EnumType } from "../enum";
+import type { Never, NeverType } from "../never";
+import type { ObjectType } from "../object";
+import type { PrimitiveType } from "../primitive";
+import type { $Tuple, IsTupleOpen, TupleOpenProps, TupleType, TupleValues } from "../tuple";
+import type { SerializableType, Type } from "../type";
+import type { UnionType } from "../union";
+import type { IntersectConstToTuple } from "./const";
+import type { IntersectEnumToTuple } from "./enum";
+import type { $Intersect, Intersect } from "./index";
+import type { DistributeIntersection } from "./union";
+import type { IntersectDeserialized, IntersectIsSerialized } from "./utils";
+export declare type IntersectTupleSerializationParams<VALUES extends Type[], OPEN_PROPS extends Type, META_TUPLE extends TupleType, SERIALIZABLE_META_TYPE extends SerializableType> = $MergeTuplePropsToSerializable<VALUES, OPEN_PROPS, META_TUPLE, SERIALIZABLE_META_TYPE>;
+declare type $MergeTuplePropsToSerializable<VALUES, OPEN_PROPS, META_TUPLE extends TupleType, SERIALIZABLE_META_TYPE extends SerializableType> = $Tuple<VALUES, OPEN_PROPS, IntersectIsSerialized<META_TUPLE, SERIALIZABLE_META_TYPE>, IntersectDeserialized<META_TUPLE, SERIALIZABLE_META_TYPE>>;
+export declare type IntersectTuple<META_TUPLE extends TupleType, META_TYPE> = META_TYPE extends NeverType ? META_TYPE : META_TYPE extends AnyType ? IntersectTupleSerializationParams<TupleValues<META_TUPLE>, TupleOpenProps<META_TUPLE>, META_TUPLE, META_TYPE> : META_TYPE extends ConstType ? IntersectConstToTuple<META_TYPE, META_TUPLE> : META_TYPE extends EnumType ? IntersectEnumToTuple<META_TYPE, META_TUPLE> : META_TYPE extends PrimitiveType ? Never : META_TYPE extends ArrayType ? IntersectTupleToArray<META_TUPLE, META_TYPE> : META_TYPE extends TupleType ? IntersectTuples<META_TUPLE, META_TYPE> : META_TYPE extends ObjectType ? Never : META_TYPE extends UnionType ? DistributeIntersection<META_TYPE, META_TUPLE> : Never;
+export declare type IntersectTupleToArray<META_TUPLE extends TupleType, META_ARRAY extends ArrayType, INTERSECTED_VALUES extends unknown[] = IntersectTupleToArrayValues<TupleValues<META_TUPLE>, ArrayValues<META_ARRAY>>, INTERSECTED_OPEN_PROPS = $Intersect<TupleOpenProps<META_TUPLE>, ArrayValues<META_ARRAY>>> = $MergeTuplePropsToSerializable<INTERSECTED_VALUES, INTERSECTED_OPEN_PROPS, META_TUPLE, META_ARRAY>;
+declare type IntersectTupleToArrayValues<TUPLE_VALUES extends Type[], ARRAY_VALUES extends Type, RESULT extends unknown[] = []> = TUPLE_VALUES extends [infer TUPLE_VALUES_HEAD, ...infer TUPLE_VALUES_TAIL] ? TUPLE_VALUES_HEAD extends Type ? TUPLE_VALUES_TAIL extends Type[] ? IntersectTupleToArrayValues<TUPLE_VALUES_TAIL, ARRAY_VALUES, [
+    ...RESULT,
+    Intersect<TUPLE_VALUES_HEAD, ARRAY_VALUES>
+]> : never : never : RESULT;
+declare type IntersectTuples<META_TUPLE_A extends TupleType, META_TUPLE_B extends TupleType, INTERSECTED_VALUES extends unknown[] = IntersectTupleValues<TupleValues<META_TUPLE_A>, TupleValues<META_TUPLE_B>, IsTupleOpen<META_TUPLE_A>, IsTupleOpen<META_TUPLE_B>, TupleOpenProps<META_TUPLE_A>, TupleOpenProps<META_TUPLE_B>>, INTERSECTED_OPEN_PROPS = $Intersect<TupleOpenProps<META_TUPLE_A>, TupleOpenProps<META_TUPLE_B>>> = $MergeTuplePropsToSerializable<INTERSECTED_VALUES, INTERSECTED_OPEN_PROPS, META_TUPLE_A, META_TUPLE_B>;
+declare type IntersectTupleValues<TUPLE_A_VALUES extends Type[], TUPLE_B_VALUES extends Type[], TUPLE_A_IS_OPEN extends boolean, TUPLE_B_IS_OPEN extends boolean, TUPLE_A_OPEN_PROPS extends Type, TUPLE_B_OPEN_PROPS extends Type, RESULT extends unknown[] = []> = TUPLE_A_VALUES extends [
+    infer TUPLE_A_VALUES_HEAD,
+    ...infer TUPLE_A_VALUES_TAIL
+] ? TUPLE_A_VALUES_HEAD extends Type ? TUPLE_A_VALUES_TAIL extends Type[] ? TUPLE_B_VALUES extends [
+    infer TUPLE_B_VALUES_HEAD,
+    ...infer TUPLE_B_VALUES_TAIL
+] ? TUPLE_B_VALUES_HEAD extends Type ? TUPLE_B_VALUES_TAIL extends Type[] ? IntersectTupleValues<TUPLE_A_VALUES_TAIL, TUPLE_B_VALUES_TAIL, TUPLE_A_IS_OPEN, TUPLE_B_IS_OPEN, TUPLE_A_OPEN_PROPS, TUPLE_B_OPEN_PROPS, [
+    ...RESULT,
+    Intersect<TUPLE_A_VALUES_HEAD, TUPLE_B_VALUES_HEAD>
+]> : never : never : IntersectTupleValues<TUPLE_A_VALUES_TAIL, TUPLE_B_VALUES, TUPLE_A_IS_OPEN, TUPLE_B_IS_OPEN, TUPLE_A_OPEN_PROPS, TUPLE_B_OPEN_PROPS, [
+    ...RESULT,
+    TUPLE_B_IS_OPEN extends true ? Intersect<TUPLE_A_VALUES_HEAD, TUPLE_B_OPEN_PROPS> : Never
+]> : never : never : TUPLE_B_VALUES extends [
+    infer TUPLE_B_VALUES_HEAD,
+    ...infer TUPLE_B_VALUES_TAIL
+] ? TUPLE_B_VALUES_HEAD extends Type ? TUPLE_B_VALUES_TAIL extends Type[] ? IntersectTupleValues<TUPLE_A_VALUES, TUPLE_B_VALUES_TAIL, TUPLE_A_IS_OPEN, TUPLE_B_IS_OPEN, TUPLE_A_OPEN_PROPS, TUPLE_B_OPEN_PROPS, [
+    ...RESULT,
+    TUPLE_A_IS_OPEN extends true ? Intersect<TUPLE_B_VALUES_HEAD, TUPLE_A_OPEN_PROPS> : Never
+]> : never : never : RESULT;
+export {};

package/node_modules/ts-algebra/lib/meta-types/intersection/tuple.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/intersection/union.d.ts

@@ -0,0 +1,13 @@
+import type { AnyType } from "../any";
+import type { ArrayType } from "../array";
+import type { ConstType } from "../const";
+import type { EnumType } from "../enum";
+import type { Never, NeverType } from "../never";
+import type { ObjectType } from "../object";
+import type { PrimitiveType } from "../primitive";
+import type { TupleType } from "../tuple";
+import type { Type } from "../type";
+import type { $Union, UnionType, UnionValues } from "../union";
+import type { $Intersect } from "./index";
+export declare type IntersectUnion<META_UNION extends UnionType, META_TYPE> = META_TYPE extends Type ? META_TYPE extends NeverType ? META_TYPE : META_TYPE extends AnyType ? META_UNION : META_TYPE extends ConstType ? DistributeIntersection<META_UNION, META_TYPE> : META_TYPE extends EnumType ? DistributeIntersection<META_UNION, META_TYPE> : META_TYPE extends PrimitiveType ? DistributeIntersection<META_UNION, META_TYPE> : META_TYPE extends ArrayType ? DistributeIntersection<META_UNION, META_TYPE> : META_TYPE extends TupleType ? DistributeIntersection<META_UNION, META_TYPE> : META_TYPE extends ObjectType ? DistributeIntersection<META_UNION, META_TYPE> : META_TYPE extends UnionType ? DistributeIntersection<META_UNION, META_TYPE> : Never : Never;
+export declare type DistributeIntersection<META_UNION extends UnionType, META_TYPE> = $Union<UnionValues<META_UNION> extends infer UNION_VALUE ? $Intersect<UNION_VALUE, META_TYPE> : never>;

package/node_modules/ts-algebra/lib/meta-types/intersection/union.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/intersection/utils.d.ts

@@ -0,0 +1,5 @@
+import type { If, Or } from "../../utils";
+import type { SerializableType } from "../type";
+import type { Deserialized, IsSerialized } from "../utils";
+export declare type IntersectIsSerialized<SERIALIZABLE_META_TYPE_A extends SerializableType, SERIALIZABLE_META_TYPE_B extends SerializableType> = Or<IsSerialized<SERIALIZABLE_META_TYPE_A>, IsSerialized<SERIALIZABLE_META_TYPE_B>>;
+export declare type IntersectDeserialized<SERIALIZABLE_META_TYPE_A extends SerializableType, SERIALIZABLE_META_TYPE_B extends SerializableType> = If<IsSerialized<SERIALIZABLE_META_TYPE_A>, If<IsSerialized<SERIALIZABLE_META_TYPE_B>, Deserialized<SERIALIZABLE_META_TYPE_A> & Deserialized<SERIALIZABLE_META_TYPE_B>, Deserialized<SERIALIZABLE_META_TYPE_A>>, If<IsSerialized<SERIALIZABLE_META_TYPE_B>, Deserialized<SERIALIZABLE_META_TYPE_B>>>;

package/node_modules/ts-algebra/lib/meta-types/intersection/utils.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/never.d.ts

@@ -0,0 +1,6 @@
+export declare type NeverTypeId = "never";
+export declare type Never = {
+    type: NeverTypeId;
+};
+export declare type NeverType = Never;
+export declare type ResolveNever = never;

package/node_modules/ts-algebra/lib/meta-types/never.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/object.d.ts

@@ -0,0 +1,47 @@
+import type { And, DeepMergeUnsafe, DoesExtend, If, IsNever, Not } from "../utils";
+import type { Any } from "./any";
+import type { Never, NeverType } from "./never";
+import type { Resolve, ResolveOptions } from "./resolve";
+import type { Type } from "./type";
+import type { Deserialized, IsSerialized } from "./utils";
+export declare type ObjectTypeId = "object";
+export declare type _Object<VALUES extends Record<string, Type> = {}, REQUIRED_KEYS extends string = never, OPEN_PROPS extends Type = Never, CLOSE_ON_RESOLVE extends boolean = false, IS_SERIALIZED extends boolean = false, DESERIALIZED = never> = _$Object<VALUES, REQUIRED_KEYS, OPEN_PROPS, CLOSE_ON_RESOLVE, IS_SERIALIZED, DESERIALIZED>;
+export declare type _$Object<VALUES = {}, REQUIRED_KEYS = never, OPEN_PROPS = Never, CLOSE_ON_RESOLVE = false, IS_SERIALIZED = false, DESERIALIZED = never> = DoesExtend<true, {
+    [KEY in Extract<REQUIRED_KEYS, string>]: KEY extends keyof VALUES ? DoesExtend<VALUES[KEY], NeverType> : DoesExtend<OPEN_PROPS, NeverType>;
+}[Extract<REQUIRED_KEYS, string>]> extends true ? Never : {
+    type: ObjectTypeId;
+    values: VALUES;
+    required: REQUIRED_KEYS;
+    isOpen: Not<DoesExtend<OPEN_PROPS, NeverType>>;
+    openProps: OPEN_PROPS;
+    closeOnResolve: CLOSE_ON_RESOLVE;
+    isSerialized: IS_SERIALIZED;
+    deserialized: DESERIALIZED;
+};
+export declare type ObjectType = {
+    type: ObjectTypeId;
+    values: Record<string, Type>;
+    required: string;
+    isOpen: boolean;
+    openProps: Type;
+    closeOnResolve: boolean;
+    isSerialized: boolean;
+    deserialized: unknown;
+};
+export declare type ObjectValues<META_OBJECT extends ObjectType> = META_OBJECT["values"];
+export declare type ObjectValue<META_OBJECT extends ObjectType, KEY extends string> = KEY extends keyof ObjectValues<META_OBJECT> ? ObjectValues<META_OBJECT>[KEY] : IsObjectOpen<META_OBJECT> extends true ? ObjectOpenProps<META_OBJECT> : Never;
+export declare type ObjectRequiredKeys<META_OBJECT extends ObjectType> = META_OBJECT["required"];
+export declare type IsObjectOpen<META_OBJECT extends ObjectType> = META_OBJECT["isOpen"];
+export declare type ObjectOpenProps<META_OBJECT extends ObjectType> = META_OBJECT["openProps"];
+export declare type IsObjectClosedOnResolve<META_OBJECT extends ObjectType> = META_OBJECT["closeOnResolve"];
+declare type IsObjectEmpty<META_OBJECT extends ObjectType> = IsNever<keyof ObjectValues<META_OBJECT>>;
+export declare type ResolveObject<META_OBJECT extends ObjectType, OPTIONS extends ResolveOptions> = If<And<OPTIONS["deserialize"], IsSerialized<META_OBJECT>>, Deserialized<META_OBJECT>, DeepMergeUnsafe<If<And<IsObjectOpen<META_OBJECT>, Not<IsObjectClosedOnResolve<META_OBJECT>>>, If<IsObjectEmpty<META_OBJECT>, {
+    [KEY: string]: Resolve<ObjectOpenProps<META_OBJECT>, OPTIONS>;
+}, {
+    [KEY: string]: Resolve<Any, OPTIONS>;
+}>, {}>, DeepMergeUnsafe<{
+    [KEY in Exclude<keyof ObjectValues<META_OBJECT>, ObjectRequiredKeys<META_OBJECT>>]?: Resolve<ObjectValues<META_OBJECT>[KEY], OPTIONS>;
+}, {
+    [KEY in ObjectRequiredKeys<META_OBJECT>]: KEY extends keyof ObjectValues<META_OBJECT> ? Resolve<ObjectValues<META_OBJECT>[KEY], OPTIONS> : Resolve<Any, OPTIONS>;
+}>>>;
+export {};

package/node_modules/ts-algebra/lib/meta-types/object.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/primitive.d.ts

@@ -0,0 +1,20 @@
+import type { And, If, IsNever } from "../utils";
+import type { Never } from "./never";
+import type { ResolveOptions } from "./resolve";
+import type { Deserialized, IsSerialized } from "./utils";
+export declare type PrimitiveTypeId = "primitive";
+export declare type Primitive<VALUE extends null | boolean | number | string, IS_SERIALIZED extends boolean = false, DESERIALIZED = never> = $Primitive<VALUE, IS_SERIALIZED, DESERIALIZED>;
+export declare type $Primitive<VALUE, IS_SERIALIZED = false, DESERIALIZED = never> = If<IsNever<VALUE>, Never, {
+    type: PrimitiveTypeId;
+    value: VALUE;
+    isSerialized: IS_SERIALIZED;
+    deserialized: DESERIALIZED;
+}>;
+export declare type PrimitiveType = {
+    type: PrimitiveTypeId;
+    value: null | boolean | number | string;
+    isSerialized: boolean;
+    deserialized: unknown;
+};
+export declare type PrimitiveValue<META_PRIMITIVE extends PrimitiveType> = META_PRIMITIVE["value"];
+export declare type ResolvePrimitive<META_PRIMITIVE extends PrimitiveType, OPTIONS extends ResolveOptions> = If<And<OPTIONS["deserialize"], IsSerialized<META_PRIMITIVE>>, Deserialized<META_PRIMITIVE>, PrimitiveValue<META_PRIMITIVE>>;

package/node_modules/ts-algebra/lib/meta-types/primitive.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/resolve.d.ts

@@ -0,0 +1,18 @@
+import type { AnyType, ResolveAny } from "./any";
+import type { ArrayType, ResolveArray } from "./array";
+import type { ConstType, ResolveConst } from "./const";
+import type { EnumType, ResolveEnum } from "./enum";
+import type { NeverType, ResolveNever } from "./never";
+import type { ObjectType, ResolveObject } from "./object";
+import type { PrimitiveType, ResolvePrimitive } from "./primitive";
+import type { ResolveTuple, TupleType } from "./tuple";
+import type { Type } from "./type";
+import type { ResolveUnion, UnionType } from "./union";
+export declare type ResolveOptions = {
+    deserialize: boolean;
+};
+export declare type ResolveDefaultOptions = {
+    deserialize: true;
+};
+export declare type Resolve<META_TYPE extends Type, OPTIONS extends ResolveOptions = ResolveDefaultOptions> = $Resolve<META_TYPE, OPTIONS>;
+export declare type $Resolve<META_TYPE, OPTIONS extends ResolveOptions = ResolveDefaultOptions> = META_TYPE extends AnyType ? ResolveAny<META_TYPE, OPTIONS> : META_TYPE extends NeverType ? ResolveNever : META_TYPE extends ConstType ? ResolveConst<META_TYPE, OPTIONS> : META_TYPE extends EnumType ? ResolveEnum<META_TYPE, OPTIONS> : META_TYPE extends PrimitiveType ? ResolvePrimitive<META_TYPE, OPTIONS> : META_TYPE extends ArrayType ? ResolveArray<META_TYPE, OPTIONS> : META_TYPE extends TupleType ? ResolveTuple<META_TYPE, OPTIONS> : META_TYPE extends ObjectType ? ResolveObject<META_TYPE, OPTIONS> : META_TYPE extends UnionType ? ResolveUnion<META_TYPE, OPTIONS> : never;

package/node_modules/ts-algebra/lib/meta-types/resolve.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/tuple.d.ts

@@ -0,0 +1,39 @@
+import type { And, DoesExtend, If, Not } from "../utils";
+import type { Never, NeverType } from "./never";
+import type { Resolve, ResolveOptions } from "./resolve";
+import type { Type } from "./type";
+import type { Deserialized, IsSerialized } from "./utils";
+export declare type TupleTypeId = "tuple";
+export declare type Tuple<VALUES extends Type[], OPEN_PROPS extends Type = Never, IS_SERIALIZED extends boolean = false, DESERIALIZED = never> = $Tuple<VALUES, OPEN_PROPS, IS_SERIALIZED, DESERIALIZED>;
+export declare type $Tuple<VALUES, OPEN_PROPS = Never, IS_SERIALIZED = false, DESERIALIZED = never> = IsAnyValueNever<VALUES> extends true ? Never : {
+    type: TupleTypeId;
+    values: VALUES;
+    isOpen: Not<DoesExtend<OPEN_PROPS, NeverType>>;
+    openProps: OPEN_PROPS;
+    isSerialized: IS_SERIALIZED;
+    deserialized: DESERIALIZED;
+};
+declare type IsAnyValueNever<TUPLE> = TUPLE extends [
+    infer TUPLE_HEAD,
+    ...infer TUPLE_TAIL
+] ? TUPLE_HEAD extends NeverType ? true : IsAnyValueNever<TUPLE_TAIL> : false;
+export declare type TupleType = {
+    type: TupleTypeId;
+    values: Type[];
+    isOpen: boolean;
+    openProps: Type;
+    isSerialized: boolean;
+    deserialized: unknown;
+};
+export declare type TupleValues<META_TUPLE extends TupleType> = META_TUPLE["values"];
+export declare type IsTupleOpen<META_TUPLE extends TupleType> = META_TUPLE["isOpen"];
+export declare type TupleOpenProps<META_TUPLE extends TupleType> = META_TUPLE["openProps"];
+export declare type ResolveTuple<META_TUPLE extends TupleType, OPTIONS extends ResolveOptions> = If<And<OPTIONS["deserialize"], IsSerialized<META_TUPLE>>, Deserialized<META_TUPLE>, If<IsTupleOpen<META_TUPLE>, [
+    ...RecurseOnTuple<TupleValues<META_TUPLE>, OPTIONS>,
+    ...Resolve<TupleOpenProps<META_TUPLE>, OPTIONS>[]
+], RecurseOnTuple<TupleValues<META_TUPLE>, OPTIONS>>>;
+declare type RecurseOnTuple<VALUES extends Type[], OPTIONS extends ResolveOptions, RESULT extends unknown[] = []> = VALUES extends [infer VALUES_HEAD, ...infer VALUES_TAIL] ? VALUES_HEAD extends Type ? VALUES_TAIL extends Type[] ? RecurseOnTuple<VALUES_TAIL, OPTIONS, [
+    ...RESULT,
+    Resolve<VALUES_HEAD, OPTIONS>
+]> : never : never : RESULT;
+export {};

package/node_modules/ts-algebra/lib/meta-types/tuple.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/type.d.ts

@@ -0,0 +1,14 @@
+import type { AnyType } from "./any";
+import type { ArrayType } from "./array";
+import type { ConstType } from "./const";
+import type { EnumType } from "./enum";
+import type { NeverType } from "./never";
+import type { ObjectType } from "./object";
+import type { PrimitiveType } from "./primitive";
+import type { TupleType } from "./tuple";
+import type { UnionType } from "./union";
+export declare type Type = NeverType | AnyType | ConstType | EnumType | PrimitiveType | ArrayType | TupleType | ObjectType | UnionType;
+export declare type SerializableType = Type extends infer META_TYPE ? META_TYPE extends {
+    isSerialized: boolean;
+    deserialized: unknown;
+} ? META_TYPE : never : never;

package/node_modules/ts-algebra/lib/meta-types/type.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/typeId.d.ts

@@ -0,0 +1,10 @@
+import type { AnyTypeId } from "./any";
+import type { ArrayTypeId } from "./array";
+import type { ConstTypeId } from "./const";
+import type { EnumTypeId } from "./enum";
+import type { NeverTypeId } from "./never";
+import type { ObjectTypeId } from "./object";
+import type { PrimitiveTypeId } from "./primitive";
+import type { TupleTypeId } from "./tuple";
+import type { UnionTypeId } from "./union";
+export declare type TypeId = NeverTypeId | AnyTypeId | ConstTypeId | EnumTypeId | PrimitiveTypeId | ArrayTypeId | TupleTypeId | ObjectTypeId | UnionTypeId;

package/node_modules/ts-algebra/lib/meta-types/typeId.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/union.d.ts

@@ -0,0 +1,18 @@
+import type { DoesExtend, If, IsNever } from "../utils";
+import type { Never, NeverType } from "./never";
+import type { $Resolve, ResolveOptions } from "./resolve";
+import type { Type } from "./type";
+export declare type UnionTypeId = "union";
+export declare type Union<VALUES extends Type> = $Union<VALUES>;
+export declare type $Union<VALUES> = If<IsNever<VALUES>, Never, DoesExtend<VALUES, NeverType> extends true ? Never : {
+    type: UnionTypeId;
+    values: VALUES;
+}>;
+export declare type UnionType = {
+    type: UnionTypeId;
+    values: Type;
+};
+export declare type UnionValues<META_UNION extends UnionType> = META_UNION["values"];
+export declare type ResolveUnion<META_UNION extends UnionType, OPTIONS extends ResolveOptions> = RecurseOnUnion<UnionValues<META_UNION>, OPTIONS>;
+declare type RecurseOnUnion<VALUES extends Type, OPTIONS extends ResolveOptions> = VALUES extends infer META_TYPE ? $Resolve<META_TYPE, OPTIONS> : never;
+export {};

package/node_modules/ts-algebra/lib/meta-types/union.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/meta-types/utils.d.ts

@@ -0,0 +1,3 @@
+import type { SerializableType } from "./type";
+export declare type IsSerialized<SERIALIZABLE_META_TYPE extends SerializableType> = SERIALIZABLE_META_TYPE["isSerialized"];
+export declare type Deserialized<SERIALIZABLE_META_TYPE extends SerializableType> = SERIALIZABLE_META_TYPE["deserialized"];

package/node_modules/ts-algebra/lib/meta-types/utils.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/and.d.ts

@@ -0,0 +1 @@
+export declare type And<BOOL_A, BOOL_B> = BOOL_A extends true ? BOOL_B extends true ? true : false : false;

package/node_modules/ts-algebra/lib/utils/and.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/extends.d.ts

@@ -0,0 +1,5 @@
+export declare type DoesExtend<TYPE_A, TYPE_B> = [TYPE_A] extends [TYPE_B] ? true : false;
+declare type ArrayKeys = keyof [];
+export declare type IsObject<TYPE> = TYPE extends object ? ArrayKeys extends Extract<keyof TYPE, ArrayKeys> ? false : true : false;
+export declare type IsArray<TYPE> = TYPE extends object ? ArrayKeys extends Extract<keyof TYPE, ArrayKeys> ? true : false : false;
+export {};

package/node_modules/ts-algebra/lib/utils/extends.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/if.d.ts

@@ -0,0 +1 @@
+export declare type If<CONDITION extends boolean, THEN, ELSE = never> = CONDITION extends true ? THEN : ELSE;

package/node_modules/ts-algebra/lib/utils/if.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/index.d.ts

@@ -0,0 +1,12 @@
+export type { And } from "./and";
+export type { DoesExtend, IsObject, IsArray } from "./extends";
+export type { If } from "./if";
+export type { IntersectUnion } from "./intersectUnion";
+export type { IsNever } from "./isNever";
+export type { DeepMergeUnsafe } from "./merge";
+export type { Not } from "./not";
+export type { Or } from "./or";
+export type { Prettify } from "./prettify";
+export type { Tail } from "./tail";
+export type { UnionLast } from "./unionLast";
+export type { UnionPop } from "./unionPop";

package/node_modules/ts-algebra/lib/utils/index.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/intersectUnion.d.ts

@@ -0,0 +1 @@
+export declare type IntersectUnion<UNION> = (UNION extends unknown ? (arg: UNION) => void : never) extends (arg: infer INTERSECTION) => void ? INTERSECTION : never;

package/node_modules/ts-algebra/lib/utils/intersectUnion.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/isNever.d.ts

@@ -0,0 +1 @@
+export declare type IsNever<TYPE> = [TYPE] extends [never] ? true : false;

package/node_modules/ts-algebra/lib/utils/isNever.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/merge.d.ts

@@ -0,0 +1,7 @@
+import type { IsArray, IsObject } from "./extends";
+export declare type DeepMergeUnsafe<TYPE_A, TYPE_B> = IsObject<TYPE_A> extends true ? IsObject<TYPE_B> extends true ? {
+    [KEY in keyof (TYPE_A & TYPE_B)]: KEY extends keyof TYPE_B ? KEY extends keyof TYPE_A ? DeepMergeUnsafe<TYPE_A[KEY], TYPE_B[KEY]> : TYPE_B[KEY] : KEY extends keyof TYPE_A ? TYPE_A[KEY] : never;
+} : TYPE_B : IsArray<TYPE_A> extends true ? IsArray<TYPE_B> extends true ? TYPE_B extends unknown[] ? [
+    ...(TYPE_A extends unknown[] ? TYPE_A : never),
+    TYPE_B
+] : never : TYPE_B : TYPE_B;

package/node_modules/ts-algebra/lib/utils/merge.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/not.d.ts

@@ -0,0 +1 @@
+export declare type Not<BOOL extends boolean> = BOOL extends false ? true : BOOL extends true ? false : never;

package/node_modules/ts-algebra/lib/utils/not.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/or.d.ts

@@ -0,0 +1 @@
+export declare type Or<BOOL_A extends boolean, BOOL_B extends boolean> = BOOL_A extends true ? true : BOOL_B extends true ? true : false;

package/node_modules/ts-algebra/lib/utils/or.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/prettify.d.ts

@@ -0,0 +1,4 @@
+import type { IsObject } from "./extends";
+export declare type Prettify<TYPE> = IsObject<TYPE> extends true ? {
+    [KEY in keyof TYPE]: KEY extends keyof TYPE ? TYPE[KEY] : never;
+} : TYPE;

package/node_modules/ts-algebra/lib/utils/prettify.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/tail.d.ts

@@ -0,0 +1 @@
+export declare type Tail<ARRAY extends unknown[]> = ARRAY extends readonly [] ? ARRAY : ARRAY extends readonly [unknown?, ...infer TAIL] ? TAIL : ARRAY;

package/node_modules/ts-algebra/lib/utils/tail.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/unionLast.d.ts

@@ -0,0 +1,2 @@
+import type { IntersectUnion } from "./intersectUnion";
+export declare type UnionLast<UNION> = IntersectUnion<UNION extends unknown ? (x: UNION) => void : never> extends (x: infer LAST) => void ? LAST : never;

package/node_modules/ts-algebra/lib/utils/unionLast.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/lib/utils/unionPop.d.ts

@@ -0,0 +1,2 @@
+import type { UnionLast } from "./unionLast";
+export declare type UnionPop<UNION> = Exclude<UNION, UnionLast<UNION>>;

package/node_modules/ts-algebra/lib/utils/unionPop.js

@@ -0,0 +1 @@
+export {};

package/node_modules/ts-algebra/package.json

@@ -0,0 +1,59 @@
+{
+  "name": "ts-algebra",
+  "version": "2.0.0",
+  "description": "Types on steroids 💊",
+  "main": "lib/index.js",
+  "module": "lib/index.js",
+  "types": "lib/index.d.ts",
+  "scripts": {
+    "release": "bash scripts/release.bash",
+    "set-package-version": "ts-node scripts/setPackageVersion",
+    "test": "yarn test-type && yarn test-format && yarn test-unused-exports && yarn test-lint",
+    "test-type": "tsc --noEmit",
+    "test-format": "yarn prettier . --check",
+    "test-unused-exports": "yarn ts-unused-exports ./tsconfig.json --excludePathsFromReport='src/index.ts;'",
+    "test-lint": "yarn eslint --ext=js,ts .",
+    "format": "yarn prettier . --write",
+    "build": "ttsc -p tsconfig.build.json"
+  },
+  "dependencies": {},
+  "devDependencies": {
+    "@trivago/prettier-plugin-sort-imports": "^3.4.0",
+    "@types/node": "^20.5.7",
+    "@typescript-eslint/eslint-plugin": "^5.42.1",
+    "@typescript-eslint/parser": "^5.42.1",
+    "@zerollup/ts-transform-paths": "^1.7.18",
+    "eslint": "^8.27.0",
+    "eslint-config-prettier": "^8.5.0",
+    "eslint-import-resolver-typescript": "^3.5.2",
+    "eslint-plugin-import": "^2.26.0",
+    "eslint-plugin-jsdoc": "^46.4.6",
+    "eslint-plugin-prefer-arrow": "^1.2.3",
+    "eslint-plugin-prettier": "^4.2.1",
+    "eslint-plugin-unused-imports": "^2.0.0",
+    "prettier": "^2.7.1",
+    "rollup": "^2.67.3",
+    "rollup-plugin-dts": "4.1.0",
+    "rollup-plugin-import-map": "^2.2.2",
+    "ts-node": "^10.9.1",
+    "ts-toolbelt": "^9.6.0",
+    "ts-unused-exports": "^8.0.0",
+    "ttypescript": "^1.5.13",
+    "typescript": "^4.5.5"
+  },
+  "author": "Thomas Aribart",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ThomasAribart/ts-algebra.git"
+  },
+  "keywords": [
+    "typescript",
+    "type",
+    "ts"
+  ],
+  "bugs": {
+    "url": "https://github.com/ThomasAribart/ts-algebra/issues"
+  },
+  "homepage": "https://github.com/ThomasAribart/ts-algebra#readme"
+}