@ddd-ts/traits 0.0.37 → 0.0.39

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2023 Aetherall
+
+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/dist/index.d.ts

@@ -0,0 +1,99 @@
+export type Constructor<in Props = any, Result extends {} = {}> = new (props: Props) => Result;
+export type AbstractConstructor<Props = any, Result extends {} = {}> = abstract new (props: Props) => Result;
+export type Trait<Factory extends <Base extends AbstractConstructor>(base: Base) => AbstractConstructor = any> = {
+    factory: Factory;
+    superTraits: readonly Trait<any>[];
+};
+type Explode<T> = {
+    [P in keyof T]: T[P];
+};
+export type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+type MergeStaticSide<T extends readonly Trait[]> = UnionToIntersection<Explode<ReturnType<[...T][number]["factory"]>>>;
+export type MergeInstanceSide<T extends readonly Trait[]> = T extends [] ? {} : T extends never[] ? {} : UnionToIntersection<InstanceType<ReturnType<[...T][number]["factory"]>>>;
+export type MergeParameter<T extends readonly Trait[]> = T extends [] ? {} : T extends never[] ? {} : ConstructorParameters<ReturnType<[...T][number]["factory"]>>[0] extends {} ? UnionToIntersection<ConstructorParameters<ReturnType<[...T][number]["factory"]>>[0]> : ConstructorParameters<ReturnType<[...T][number]["factory"]>>[0];
+export type ApplyTraits<T extends readonly Trait[]> = {
+    new (param: MergeParameter<T>): MergeInstanceSide<T>;
+} & MergeStaticSide<T>;
+export type CheckTraitRequirements<Traits extends readonly Trait[]> = CheckTraitRequirementsInternal<[], Traits>;
+type CheckTraitRequirementsInternal<AppliedTraits extends readonly Trait[], RemainingTraits extends readonly Trait[]> = RemainingTraits extends readonly [
+    infer ApplyingTrait extends Trait,
+    ...infer Rest extends Trait[]
+] ? MergeParameter<AppliedTraits> extends MergeParameter<ApplyingTrait["superTraits"]> ? MergeInstanceSide<AppliedTraits> extends MergeInstanceSide<ApplyingTrait["superTraits"]> ? CheckTraitRequirementsInternal<[...AppliedTraits, ApplyingTrait], Rest> : {
+    error: "Instance mismatch";
+    check: "MergeInstanceSide<AppliedTraits> extends MergeInstanceSide<ApplyingTrait['superTraits']>";
+    left: MergeInstanceSide<AppliedTraits>;
+    right: MergeInstanceSide<ApplyingTrait["superTraits"]>;
+    result: MergeInstanceSide<AppliedTraits> extends MergeInstanceSide<ApplyingTrait["superTraits"]> ? true : false;
+} : {
+    error: "Parameter mismatch";
+    check: "MergeParameter<AppliedTraits> extends MergeParameter<[ApplyingTrait]>";
+    left: MergeParameter<AppliedTraits>;
+    right: MergeParameter<[ApplyingTrait]>;
+    result: MergeParameter<AppliedTraits> extends MergeParameter<[
+        ApplyingTrait
+    ]> ? true : false;
+} : "success";
+export declare function Subtrait<const SuperTraits extends readonly Trait[], Applied extends ApplyTraits<SuperTraits>, const Factory extends (base: Applied, props: ConstructorParameters<Applied>[0]) => AbstractConstructor>(superTraits: SuperTraits, factory: Factory): {
+    factory: Factory;
+    superTraits: SuperTraits;
+    symbol: symbol;
+};
+export type Props<T extends {
+    __traits_props__: any;
+} | Trait | Trait[]> = T extends {
+    __traits_props__: any;
+} ? T["__traits_props__"] : T extends Trait ? MergeParameter<[T]> : T extends Trait[] ? MergeParameter<T> : never;
+export declare function Derive<R extends Trait[], C extends CheckTraitRequirements<R>>(...traits: R): C extends "success" ? ApplyTraits<R> & {
+    __traits__: R;
+    __traits_props__: MergeParameter<R>;
+} : C;
+export declare function WithDerivations<B extends AbstractConstructor<any>, R extends Trait[]>(base: B, ...traits: R): CheckTraitRequirementsInternal<[], [{
+    factory: () => B;
+    superTraits: Trait[];
+    symbol: symbol;
+}, ...R]> extends infer T ? T extends CheckTraitRequirementsInternal<[], [{
+    factory: () => B;
+    superTraits: Trait[];
+    symbol: symbol;
+}, ...R]> ? T extends "success" ? (new (param: MergeParameter<[{
+    factory: () => B;
+    superTraits: Trait[];
+    symbol: symbol;
+}, ...R]>) => MergeInstanceSide<[{
+    factory: () => B;
+    superTraits: Trait[];
+    symbol: symbol;
+}, ...R]>) & UnionToIntersection<Explode<ReturnType<[{
+    factory: () => B;
+    superTraits: Trait[];
+    symbol: symbol;
+}, ...R][number]["factory"]>>> & {
+    __traits__: [{
+        factory: () => B;
+        superTraits: Trait[];
+        symbol: symbol;
+    }, ...R];
+    __traits_props__: MergeParameter<[{
+        factory: () => B;
+        superTraits: Trait[];
+        symbol: symbol;
+    }, ...R]>;
+} : T : never : never;
+export declare const Trait: <T extends (base: AbstractConstructor<{}, {}>) => AbstractConstructor<any, any>>(factory: T) => {
+    factory: T;
+    superTraits: Trait[];
+    symbol: symbol;
+};
+export declare function implementsTrait<I extends InstanceType<any>, T extends Trait>(instance: I, trait: T): instance is ImplementsTrait<T>;
+export type ConstructorWithTrait<T extends Trait> = Omit<ReturnType<T["factory"]>, ""> & (new (...args: any[]) => ImplementsTrait<T>);
+export type HasTrait<T extends Trait | ((...args: any[]) => Trait)> = T extends (...args: any[]) => Trait ? HasTrait<ReturnType<T>> : T extends Trait ? ConstructorWithTrait<T> : never;
+export type ImplementsTrait<T extends Trait> = InstanceType<ReturnType<T["factory"]>>;
+export declare const WithProps: <P extends Record<string, any>>() => {
+    factory: (base: AbstractConstructor<{}, {}>) => {
+        new (props: {}): {};
+    } & (new (props: {}) => {} & P);
+    superTraits: Trait[];
+    symbol: symbol;
+};
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,CAAC,EAAE,CAAC,KAAK,GAAG,GAAG,EAAE,MAAM,SAAS,EAAE,GAAG,EAAE,IAAI,KAChE,KAAK,EAAE,KAAK,KACT,MAAM,CAAC;AACZ,MAAM,MAAM,mBAAmB,CAC7B,KAAK,GAAG,GAAG,EACX,MAAM,SAAS,EAAE,GAAG,EAAE,IACpB,QAAQ,MAAM,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC;AAE1C,MAAM,MAAM,KAAK,CACf,OAAO,SAAS,CAAC,IAAI,SAAS,mBAAmB,EAC/C,IAAI,EAAE,IAAI,KACP,mBAAmB,GAAG,GAAG,IAC5B;IACF,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;CACpC,CAAC;AAEF,KAAK,OAAO,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAE3C,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CACnC,CAAC,SAAS,GAAG,GACT,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GACd,KAAK,CACV,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC;AAEV,KAAK,eAAe,CAAC,CAAC,SAAS,SAAS,KAAK,EAAE,IAAI,mBAAmB,CACpE,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAC/C,CAAC;AAEF,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,SAAS,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,GACpE,EAAE,GACF,CAAC,SAAS,KAAK,EAAE,GACf,EAAE,GACF,mBAAmB,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/E,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,SAAS,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,GACjE,EAAE,GACF,CAAC,SAAS,KAAK,EAAE,GACf,EAAE,GACF,qBAAqB,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,GACxE,mBAAmB,CACjB,qBAAqB,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAChE,GACD,qBAAqB,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAExE,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS,KAAK,EAAE,IAAI;IACpD,KAAK,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;CACtD,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;AAEvB,MAAM,MAAM,sBAAsB,CAAC,MAAM,SAAS,SAAS,KAAK,EAAE,IAChE,8BAA8B,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;AAE7C,KAAK,8BAA8B,CACjC,aAAa,SAAS,SAAS,KAAK,EAAE,EACtC,eAAe,SAAS,SAAS,KAAK,EAAE,IACtC,eAAe,SAAS,SAAS;IACnC,MAAM,aAAa,SAAS,KAAK;IACjC,GAAG,MAAM,IAAI,SAAS,KAAK,EAAE;CAC9B,GACG,cAAc,CAAC,aAAa,CAAC,SAAS,cAAc,CAClD,aAAa,CAAC,aAAa,CAAC,CAC7B,GACC,iBAAiB,CAAC,aAAa,CAAC,SAAS,iBAAiB,CACxD,aAAa,CAAC,aAAa,CAAC,CAC7B,GACC,8BAA8B,CAAC,CAAC,GAAG,aAAa,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,GACvE;IACE,KAAK,EAAE,mBAAmB,CAAC;IAC3B,KAAK,EAAE,0FAA0F,CAAC;IAClG,IAAI,EAAE,iBAAiB,CAAC,aAAa,CAAC,CAAC;IACvC,KAAK,EAAE,iBAAiB,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC;IACvD,MAAM,EAAE,iBAAiB,CAAC,aAAa,CAAC,SAAS,iBAAiB,CAChE,aAAa,CAAC,aAAa,CAAC,CAC7B,GACG,IAAI,GACJ,KAAK,CAAC;CACX,GACH;IACE,KAAK,EAAE,oBAAoB,CAAC;IAC5B,KAAK,EAAE,uEAAuE,CAAC;IAC/E,IAAI,EAAE,cAAc,CAAC,aAAa,CAAC,CAAC;IACpC,KAAK,EAAE,cAAc,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IACvC,MAAM,EAAE,cAAc,CAAC,aAAa,CAAC,SAAS,cAAc,CAC1D;QAAC,aAAa;KAAC,CAChB,GACG,IAAI,GACJ,KAAK,CAAC;CACX,GACH,SAAS,CAAC;AAEd,wBAAgB,QAAQ,CACtB,KAAK,CAAC,WAAW,SAAS,SAAS,KAAK,EAAE,EAC1C,OAAO,SAAS,WAAW,CAAC,WAAW,CAAC,EACxC,KAAK,CAAC,OAAO,SAAS,CACpB,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KACrC,mBAAmB,EACxB,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO;;;;EAO3C;AAED,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS;IAAE,gBAAgB,EAAE,GAAG,CAAA;CAAE,GAAG,KAAK,GAAG,KAAK,EAAE,IACrE,CAAC,SAAS;IACR,gBAAgB,EAAE,GAAG,CAAC;CACvB,GACG,CAAC,CAAC,kBAAkB,CAAC,GACrB,CAAC,SAAS,KAAK,GACb,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,GACnB,CAAC,SAAS,KAAK,EAAE,GACf,cAAc,CAAC,CAAC,CAAC,GACjB,KAAK,CAAC;AAEhB,wBAAgB,MAAM,CAAC,CAAC,SAAS,KAAK,EAAE,EAAE,CAAC,SAAS,sBAAsB,CAAC,CAAC,CAAC,EAC3E,GAAG,MAAM,EAAE,CAAC,GACX,CAAC,SAAS,SAAS,GAClB,WAAW,CAAC,CAAC,CAAC,GAAG;IAAE,UAAU,EAAE,CAAC,CAAC;IAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;CAAE,GACvE,CAAC,CAWJ;AAED,wBAAgB,eAAe,CAC7B,CAAC,SAAS,mBAAmB,CAAC,GAAG,CAAC,EAClC,CAAC,SAAS,KAAK,EAAE,EACjB,IAAI,EAAE,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC;;iBAegB,KAAK,EAAE;;;;iBAAP,KAAK,EAAE;;;;iBAAP,KAAK,EAAE;;;;iBAAP,KAAK,EAAE;;;;iBAAP,KAAK,EAAE;;;;;qBAAP,KAAK,EAAE;;;;;qBAAP,KAAK,EAAE;;;sBAV7C;AAED,eAAO,MAAM,KAAK,GAChB,CAAC,SAAS,CACR,IAAI,EAAE,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC,KAC9B,mBAAmB,CAAC,GAAG,EAAE,GAAG,CAAC,WAEzB,CAAC;;iBAG2B,KAAK,EAAE;;CAC7C,CAAC;AAEF,wBAAgB,eAAe,CAAC,CAAC,SAAS,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,KAAK,EAC1E,QAAQ,EAAE,CAAC,EACX,KAAK,EAAE,CAAC,GACP,QAAQ,IAAI,eAAe,CAAC,CAAC,CAAC,CAEhC;AAED,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,KAAK,IAAI,IAAI,CACtD,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EACxB,EAAE,CACH,GACC,CAAC,KACC,GAAG,IAAI,EAAE,GAAG,EAAE,KACX,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3B,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,KAAK,CAAC,IAChE,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,KAAK,GAC/B,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GACvB,CAAC,SAAS,KAAK,GACb,oBAAoB,CAAC,CAAC,CAAC,GACvB,KAAK,CAAC;AAEd,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,KAAK,IAAI,YAAY,CACzD,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CACzB,CAAC;AAEF,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;oDAU5B;;mCAAuB;iBAvCX,KAAK,EAAE;;CAwC1C,CAAC"}

package/dist/index.js

@@ -0,0 +1,41 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
+
+//#region src/index.ts
+function Subtrait(superTraits, factory) {
+	return {
+		factory,
+		superTraits,
+		symbol: Symbol()
+	};
+}
+function Derive(...traits) {
+	let current = class {};
+	for (const trait of traits) current = trait.factory(current);
+	for (const trait of traits) current[trait.symbol] = true;
+	return current;
+}
+function WithDerivations(base, ...traits) {
+	return Derive(Trait(() => base), ...traits);
+}
+const Trait = (factory) => {
+	return {
+		factory,
+		superTraits: [],
+		symbol: Symbol()
+	};
+};
+function implementsTrait(instance, trait) {
+	return instance.constructor[trait.symbol] === true;
+}
+const WithProps = () => Trait((base) => {
+	class Intermediate extends base {}
+	return Intermediate;
+});
+
+//#endregion
+exports.Derive = Derive;
+exports.Subtrait = Subtrait;
+exports.Trait = Trait;
+exports.WithDerivations = WithDerivations;
+exports.WithProps = WithProps;
+exports.implementsTrait = implementsTrait;

package/dist/index.mjs

@@ -0,0 +1,34 @@
+//#region src/index.ts
+function Subtrait(superTraits, factory) {
+	return {
+		factory,
+		superTraits,
+		symbol: Symbol()
+	};
+}
+function Derive(...traits) {
+	let current = class {};
+	for (const trait of traits) current = trait.factory(current);
+	for (const trait of traits) current[trait.symbol] = true;
+	return current;
+}
+function WithDerivations(base, ...traits) {
+	return Derive(Trait(() => base), ...traits);
+}
+const Trait = (factory) => {
+	return {
+		factory,
+		superTraits: [],
+		symbol: Symbol()
+	};
+};
+function implementsTrait(instance, trait) {
+	return instance.constructor[trait.symbol] === true;
+}
+const WithProps = () => Trait((base) => {
+	class Intermediate extends base {}
+	return Intermediate;
+});
+
+//#endregion
+export { Derive, Subtrait, Trait, WithDerivations, WithProps, implementsTrait };

package/dist/index.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=index.spec.d.ts.map

package/dist/index.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.spec.d.ts","sourceRoot":"","sources":["../src/index.spec.ts"],"names":[],"mappings":""}

package/package.json

@@ -1,27 +1,30 @@
 {
   "name": "@ddd-ts/traits",
-  "version": "0.0.37",
+  "version": "0.0.39",
   "types": "dist/index.d.ts",
   "license": "MIT",
   "repository": {
     "url": "git+https://github.com/ddd-ts/monorepo"
   },
-  "scripts": {
-    "build": "tsdown --config node_modules/@ddd-ts/tools/tsdown.config.js",
-    "test": "jest --config node_modules/@ddd-ts/tools/jest.config.js"
-  },
+  "files": [
+    "dist"
+  ],
   "devDependencies": {
-    "@ddd-ts/tools": "0.0.37",
-    "@types/jest": "^29.5.12"
+    "@ddd-ts/tools": "0.0.39",
+    "@types/jest": "^29.5.12",
+    "@types/node": "^22.14.1"
   },
   "exports": {
-    ".": "./src/index.ts",
+    ".": {
+      "import": "./dist/index.mjs",
+      "require": "./dist/index.js"
+    },
     "./package.json": "./package.json"
   },
-  "publishConfig": {
-    "exports": {
-      ".": "./dist/index.js",
-      "./package.json": "./package.json"
-    }
+  "main": "./dist/index.js",
+  "module": "./dist/index.mjs",
+  "scripts": {
+    "build": "tsdown --config node_modules/@ddd-ts/tools/tsdown.config.js",
+    "test": "jest --config node_modules/@ddd-ts/tools/jest.config.js"
   }
-}
+}