@ddd-ts/traits 0.0.36 → 0.0.38

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.js

@@ -1,44 +1,41 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.WithProps = exports.Trait = void 0;
-exports.Subtrait = Subtrait;
-exports.Derive = Derive;
-exports.WithDerivations = WithDerivations;
-exports.implementsTrait = implementsTrait;
+Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
+
+//#region src/index.ts
 function Subtrait(superTraits, factory) {
-    const symbol = Symbol();
-    return {
-        factory,
-        superTraits,
-        symbol,
-    };
+	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;
+	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((0, exports.Trait)(() => base), ...traits);
+	return Derive(Trait(() => base), ...traits);
 }
 const Trait = (factory) => {
-    const symbol = Symbol();
-    return { factory, superTraits: [], symbol };
+	return {
+		factory,
+		superTraits: [],
+		symbol: Symbol()
+	};
 };
-exports.Trait = Trait;
 function implementsTrait(instance, trait) {
-    return instance.constructor[trait.symbol] === true;
+	return instance.constructor[trait.symbol] === true;
 }
-const WithProps = () => (0, exports.Trait)((base) => {
-    class Intermediate extends base {
-    }
-    return Intermediate;
+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;
-//# sourceMappingURL=index.js.map
+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/package.json

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

package/dist/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;AA4FA,4BAcC;AAaD,wBAeC;AAED,0CAQC;AAaD,0CAKC;AAtED,SAAgB,QAAQ,CAOtB,WAAwB,EAAE,OAAgB;IAC1C,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC;IACxB,OAAO;QACL,OAAO;QACP,WAAW;QACX,MAAM;KACP,CAAC;AACJ,CAAC;AAaD,SAAgB,MAAM,CACpB,GAAG,MAAS;IAIZ,IAAI,OAAO,GAAgB;KAAQ,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC1B,OAAe,CAAE,KAAa,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACjD,CAAC;IAED,OAAO,OAAc,CAAC;AACxB,CAAC;AAED,SAAgB,eAAe,CAG7B,IAAO,EAAE,GAAG,MAAS;IACrB,OAAO,MAAM,CACX,IAAA,aAAK,EAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EACjB,GAAG,MAAM,CACV,CAAC;AACJ,CAAC;AAEM,MAAM,KAAK,GAAG,CAKnB,OAAU,EACV,EAAE;IACF,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC;IACxB,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,EAAa,EAAE,MAAM,EAAE,CAAC;AACzD,CAAC,CAAC;AATW,QAAA,KAAK,SAShB;AAEF,SAAgB,eAAe,CAC7B,QAAW,EACX,KAAQ;IAER,OAAQ,QAAgB,CAAC,WAAW,CAAE,KAAa,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;AACvE,CAAC;AAqBM,MAAM,SAAS,GAAG,GAAkC,EAAE,CAC3D,IAAA,aAAK,EAAC,CAAC,IAAI,EAAE,EAAE;IACb,MAAM,YAAa,SAAQ,IAAI;KAAG;IAQlC,OAAO,YAAuC,CAAC;AACjD,CAAC,CAAC,CAAC;AAXQ,QAAA,SAAS,aAWjB","sourcesContent":["export type Constructor<in Props = any, Result extends {} = {}> = new (\n  props: Props,\n) => Result;\nexport type AbstractConstructor<\n  Props = any,\n  Result extends {} = {},\n> = abstract new (props: Props) => Result;\n\nexport type Trait<\n  Factory extends <Base extends AbstractConstructor>(\n    base: Base,\n  ) => AbstractConstructor = any,\n> = {\n  factory: Factory;\n  superTraits: readonly Trait<any>[];\n};\n\ntype Explode<T> = { [P in keyof T]: T[P] };\n\nexport type UnionToIntersection<U> = (\n  U extends any\n    ? (k: U) => void\n    : never\n) extends (k: infer I) => void\n  ? I\n  : never;\n\ntype MergeStaticSide<T extends readonly Trait[]> = UnionToIntersection<\n  Explode<ReturnType<[...T][number][\"factory\"]>>\n>;\n\nexport type MergeInstanceSide<T extends readonly Trait[]> = T extends []\n  ? {}\n  : T extends never[]\n    ? {}\n    : UnionToIntersection<InstanceType<ReturnType<[...T][number][\"factory\"]>>>;\n\nexport type MergeParameter<T extends readonly Trait[]> = T extends []\n  ? {}\n  : T extends never[]\n    ? {}\n    : ConstructorParameters<ReturnType<[...T][number][\"factory\"]>>[0] extends {}\n      ? UnionToIntersection<\n          ConstructorParameters<ReturnType<[...T][number][\"factory\"]>>[0]\n        >\n      : ConstructorParameters<ReturnType<[...T][number][\"factory\"]>>[0];\n\nexport type ApplyTraits<T extends readonly Trait[]> = {\n  new (param: MergeParameter<T>): MergeInstanceSide<T>;\n} & MergeStaticSide<T>;\n\nexport type CheckTraitRequirements<Traits extends readonly Trait[]> =\n  CheckTraitRequirementsInternal<[], Traits>;\n\ntype CheckTraitRequirementsInternal<\n  AppliedTraits extends readonly Trait[],\n  RemainingTraits extends readonly Trait[],\n> = RemainingTraits extends readonly [\n  infer ApplyingTrait extends Trait,\n  ...infer Rest extends Trait[],\n]\n  ? MergeParameter<AppliedTraits> extends MergeParameter<\n      ApplyingTrait[\"superTraits\"]\n    >\n    ? MergeInstanceSide<AppliedTraits> extends MergeInstanceSide<\n        ApplyingTrait[\"superTraits\"]\n      >\n      ? CheckTraitRequirementsInternal<[...AppliedTraits, ApplyingTrait], Rest>\n      : {\n          error: \"Instance mismatch\";\n          check: \"MergeInstanceSide<AppliedTraits> extends MergeInstanceSide<ApplyingTrait['superTraits']>\";\n          left: MergeInstanceSide<AppliedTraits>;\n          right: MergeInstanceSide<ApplyingTrait[\"superTraits\"]>;\n          result: MergeInstanceSide<AppliedTraits> extends MergeInstanceSide<\n            ApplyingTrait[\"superTraits\"]\n          >\n            ? true\n            : false;\n        }\n    : {\n        error: \"Parameter mismatch\";\n        check: \"MergeParameter<AppliedTraits> extends MergeParameter<[ApplyingTrait]>\";\n        left: MergeParameter<AppliedTraits>;\n        right: MergeParameter<[ApplyingTrait]>;\n        result: MergeParameter<AppliedTraits> extends MergeParameter<\n          [ApplyingTrait]\n        >\n          ? true\n          : false;\n      }\n  : \"success\";\n\nexport function Subtrait<\n  const SuperTraits extends readonly Trait[],\n  Applied extends ApplyTraits<SuperTraits>,\n  const Factory extends (\n    base: Applied,\n    props: ConstructorParameters<Applied>[0],\n  ) => AbstractConstructor,\n>(superTraits: SuperTraits, factory: Factory) {\n  const symbol = Symbol();\n  return {\n    factory,\n    superTraits,\n    symbol,\n  };\n}\n\nexport type Props<T extends { __traits_props__: any } | Trait | Trait[]> =\n  T extends {\n    __traits_props__: any;\n  }\n    ? T[\"__traits_props__\"]\n    : T extends Trait\n      ? MergeParameter<[T]>\n      : T extends Trait[]\n        ? MergeParameter<T>\n        : never;\n\nexport function Derive<R extends Trait[], C extends CheckTraitRequirements<R>>(\n  ...traits: R\n): C extends \"success\"\n  ? ApplyTraits<R> & { __traits__: R; __traits_props__: MergeParameter<R> }\n  : C {\n  let current: Constructor = class {};\n  for (const trait of traits) {\n    current = trait.factory(current);\n  }\n\n  for (const trait of traits) {\n    (current as any)[(trait as any).symbol] = true;\n  }\n\n  return current as any;\n}\n\nexport function WithDerivations<\n  B extends AbstractConstructor<any>,\n  R extends Trait[],\n>(base: B, ...traits: R) {\n  return Derive(\n    Trait(() => base),\n    ...traits,\n  );\n}\n\nexport const Trait = <\n  T extends (\n    base: AbstractConstructor<{}, {}>,\n  ) => AbstractConstructor<any, any>,\n>(\n  factory: T,\n) => {\n  const symbol = Symbol();\n  return { factory, superTraits: [] as Trait[], symbol };\n};\n\nexport function implementsTrait<I extends InstanceType<any>, T extends Trait>(\n  instance: I,\n  trait: T,\n): instance is ImplementsTrait<T> {\n  return (instance as any).constructor[(trait as any).symbol] === true;\n}\n\nexport type ConstructorWithTrait<T extends Trait> = Omit<\n  ReturnType<T[\"factory\"]>,\n  \"\"\n> &\n  (new (\n    ...args: any[]\n  ) => ImplementsTrait<T>);\n\nexport type HasTrait<T extends Trait | ((...args: any[]) => Trait)> =\n  T extends (...args: any[]) => Trait\n    ? HasTrait<ReturnType<T>>\n    : T extends Trait\n      ? ConstructorWithTrait<T>\n      : never;\n\nexport type ImplementsTrait<T extends Trait> = InstanceType<\n  ReturnType<T[\"factory\"]>\n>;\n\nexport const WithProps = <P extends Record<string, any>>() =>\n  Trait((base) => {\n    class Intermediate extends base {}\n    type I = typeof Intermediate extends new (\n      ...args: infer A\n    ) => infer T\n      ? new (\n          ...args: A\n        ) => T & P\n      : never;\n    return Intermediate as typeof Intermediate & I;\n  });\n"]}

package/dist/index.spec.js

@@ -1,426 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const _1 = require(".");
-describe("Traits", () => {
-    const Swim = (0, _1.Trait)((base) => class Swim extends base {
-        swim() {
-            return 1;
-        }
-    });
-    const Walk = (0, _1.Trait)((base) => class extends base {
-        walk() {
-            return 1;
-        }
-    });
-    it("derives a trait", () => {
-        class Fish extends (0, _1.Derive)(Swim) {
-            do() {
-                // @ts-expect-error should be strictly typed
-                this.test();
-            }
-        }
-        const fish = new Fish({});
-        expect(fish.swim()).toBe(1);
-    });
-    it("overloads a trait method", () => {
-        class Dog extends (0, _1.Derive)(Swim) {
-            swim() {
-                return super.swim() * 0.2;
-            }
-        }
-        const dog = new Dog({});
-        expect(dog.swim()).toBe(0.2);
-    });
-    it("derives multiple traits", () => {
-        class Dog extends (0, _1.Derive)(Swim, Walk) {
-        }
-        const dog = new Dog({});
-        expect(dog.swim()).toBe(1);
-        expect(dog.walk()).toBe(1);
-    });
-    const Run = (0, _1.Trait)((base) => class extends base {
-        speed;
-        constructor(props) {
-            super(props);
-            this.speed = props.speed;
-        }
-        run() {
-            return 2 * this.speed;
-        }
-    });
-    it("derives a trait with a constructor", () => {
-        class Athlete extends (0, _1.Derive)(Run) {
-            constructor() {
-                super({ speed: 10 });
-            }
-        }
-        class ErrorAthlete extends (0, _1.Derive)(Run) {
-            constructor() {
-                // @ts-expect-error ensures the super constructor is called with the right props
-                super({});
-            }
-        }
-        const walker = new Athlete();
-        expect(walker.run()).toBe(20);
-    });
-    const Jump = (0, _1.Trait)((base) => class extends base {
-        agility;
-        constructor(props) {
-            super(props);
-            this.agility = props.agility;
-        }
-        jump() {
-            return 1;
-        }
-    });
-    it("derives multiple trait with a constructor", () => {
-        class Athlete extends (0, _1.Derive)(Run, Jump) {
-            constructor() {
-                super({ speed: 10, agility: 10 });
-            }
-        }
-        const walker = new Athlete();
-        expect(walker.run()).toBe(20);
-    });
-    it("asserts an instance implements a trait", () => {
-        const Unused = (0, _1.Trait)((base) => class extends base {
-            constructor(props) {
-                super(props);
-            }
-        });
-        class Athlete extends (0, _1.Derive)(Run, Jump) {
-            constructor() {
-                super({ speed: 10, agility: 10 });
-            }
-        }
-        const athlete = new Athlete();
-        expect(athlete instanceof Athlete).toBe(true);
-        expect((0, _1.implementsTrait)(athlete, Run)).toBe(true);
-        expect((0, _1.implementsTrait)(athlete, Jump)).toBe(true);
-        expect((0, _1.implementsTrait)(athlete, Unused)).toBe(false);
-        const unknown = athlete;
-        if ((0, _1.implementsTrait)(unknown, Run) && (0, _1.implementsTrait)(unknown, Jump)) {
-            // if type error, ensure the type guard works
-            unknown.run();
-            unknown.jump();
-        }
-    });
-    it("allows generic traits", () => {
-        const Eat = () => (0, _1.Trait)((base) => class extends base {
-            eat(_e) { }
-        });
-        class Animal extends (0, _1.Derive)(Eat()) {
-            do() {
-                this.eat("a");
-                // @ts-expect-error should not allow to eat a number
-                this.eat(1);
-            }
-        }
-    });
-    it("allows to easily access prop types", () => {
-        const WithProperties = () => (0, _1.Trait)((base) => class extends base {
-            a;
-            b;
-            c;
-            constructor(props) {
-                super(props);
-                this.a = props.a;
-                this.b = props.b;
-                this.c = props.c;
-            }
-        });
-        class Thing extends (0, _1.Derive)(WithProperties()) {
-            constructor(props) {
-                super(props);
-            }
-            do() {
-                const a = this.a;
-                const b = this.b;
-                const c = this.c;
-            }
-        }
-    });
-    it("allows a trait to construct the base class", () => {
-        const WithProperties = () => (0, _1.Trait)((base) => class extends base {
-            a;
-            b;
-            c;
-            constructor(props) {
-                super(props);
-                this.a = props.a;
-                this.b = props.b;
-                this.c = props.c;
-            }
-            static new(props) {
-                return new this({ ...props });
-            }
-        });
-        class Thing extends (0, _1.Derive)(WithProperties()) {
-            constructor(props) {
-                super(props);
-            }
-        }
-        Thing.new({ a: "a", b: true, c: 1, d: null });
-    });
-    describe("Subtraits", () => {
-        it("allows to specify supertraits", () => {
-            const Walk = (0, _1.Trait)((base) => class Walk extends base {
-                walk() { }
-            });
-            const Run = (0, _1.Subtrait)([Walk], // supertrait of subtrait defined here
-            (base) => class Run extends base {
-                run() {
-                    this.walk();
-                    this.walk();
-                    this.walk();
-                }
-            });
-            // @ts-expect-error should not allow to create a runner without a walker
-            class ErrorAthlete extends (0, _1.Derive)(Run) {
-            }
-            // @ts-expect-error ordering matters: an athlete is a Runner because it is a walker
-            class ErrorAthlete2 extends (0, _1.Derive)(Run, Walk) {
-            }
-            class Athlete extends (0, _1.Derive)(Walk, Run) {
-                do() {
-                    this.walk();
-                    this.run();
-                }
-            }
-        });
-        it("allows to specify supertraits with props", () => {
-            const Walk = (0, _1.Trait)((base) => class extends base {
-                walk() {
-                    return 2;
-                }
-            });
-            const Run = (0, _1.Subtrait)([Walk], // supertrait of subtrait defined here
-            (base) => class extends base {
-                speed;
-                constructor(props) {
-                    super({});
-                    this.speed = props.speed;
-                }
-                run() {
-                    return this.walk() * this.speed;
-                }
-            });
-            class Athlete extends (0, _1.Derive)(Walk, Run) {
-                constructor() {
-                    super({ speed: 10 });
-                }
-                start() {
-                    return this.walk() + this.run();
-                }
-            }
-            const athlete = new Athlete();
-            expect(athlete.start()).toBe(22);
-        });
-        it("ensures supertraits props are forwarded", () => {
-            const Walk = (0, _1.Trait)((base) => class extends base {
-                speed;
-                constructor(props) {
-                    super(props);
-                    this.speed = props.speed;
-                }
-                walk() {
-                    return this.speed * 0.1;
-                }
-            });
-            const Run = (0, _1.Subtrait)([Walk], // supertrait of subtrait defined here
-            (base, Props) => class extends base {
-                weigth;
-                constructor(props) {
-                    super(props);
-                    this.weigth = props.weigth;
-                }
-                run() {
-                    return this.walk() * 10 + this.weigth;
-                }
-            });
-            class Athlete extends (0, _1.Derive)(Walk, Run) {
-                start() {
-                    return this.walk() + this.run();
-                }
-            }
-            // @ts-expect-error missing subtrait props
-            new Athlete({ speed: 10 });
-            // @ts-expect-error missing supertrait props
-            new Athlete({ weigth: 10 });
-            const athlete = new Athlete({ speed: 10, weigth: 10 });
-            expect(athlete.start()).toBe(21);
-        });
-        it("ensures supertraits props are forwarded with multiple subtraits", () => {
-            const Walk = (0, _1.Trait)((base) => class Walk extends base {
-                speed;
-                constructor(props) {
-                    super({});
-                    this.speed = props.speed;
-                }
-                walk() {
-                    return this.speed * 0.1;
-                }
-            });
-            const Fly = (0, _1.Trait)((base) => class Fly extends base {
-                wings;
-                constructor(props) {
-                    super({});
-                    this.wings = props.wings;
-                }
-                fly() {
-                    // @ts-expect-error wings is a number
-                    const s = this.wings;
-                    return this.wings;
-                }
-            });
-            const Land = (0, _1.Subtrait)([Walk, Fly], // supertrait of subtrait defined here
-            (base, Props) => class Land extends base {
-                weigth;
-                constructor(props) {
-                    super(props);
-                    this.weigth = props.weigth;
-                }
-                land() {
-                    return this.walk() + this.fly() - this.weigth;
-                }
-            });
-            // @ts-expect-error Land requires Walk & Fly
-            (class extends (0, _1.Derive)(Land) {
-            });
-            // @ts-expect-error Land requires Walk & Fly
-            (class extends (0, _1.Derive)(Walk, Land) {
-            });
-            // @ts-expect-error Land requires Walk & Fly
-            (class extends (0, _1.Derive)(Fly, Land) {
-            });
-            // @ts-expect-error Land requires Walk & Fly in correct order
-            (class extends (0, _1.Derive)(Land, Walk, Fly) {
-            });
-            class Athlete extends (0, _1.Derive)(Walk, Fly, Land) {
-            }
-            // @ts-expect-error missing props
-            new Athlete({ speed: 10 });
-            // @ts-expect-error missing props
-            new Athlete({ wings: 10 });
-            // @ts-expect-error missing props
-            new Athlete({ weigth: 10 });
-            // @ts-expect-error missing props
-            new Athlete({ speed: 10, weigth: 10 });
-            // @ts-expect-error missing props
-            new Athlete({ speed: 10, wings: 10 });
-            // @ts-expect-error missing props
-            new Athlete({ weigth: 10, wings: 10 });
-            new Athlete({ speed: 10, weigth: 10, wings: 10 });
-        });
-        it("ensures a class can derive traits that dont depend on all other traits", () => {
-            const Walk = (0, _1.Trait)((base) => class Walk extends base {
-                speed;
-                constructor(props) {
-                    super({});
-                    this.speed = props.speed;
-                }
-                walk() {
-                    return this.speed * 0.1;
-                }
-            });
-            const Fly = (0, _1.Trait)((base) => class Fly extends base {
-                wings;
-                constructor(props) {
-                    super({});
-                    this.wings = props.wings;
-                }
-                fly() {
-                    // @ts-expect-error wings is a number
-                    const s = this.wings;
-                    return this.wings;
-                }
-            });
-            const Land = (0, _1.Subtrait)([Walk], // supertrait of subtrait defined here
-            (base, Props) => class Land extends base {
-                weigth;
-                constructor(props) {
-                    super(props);
-                    this.weigth = props.weigth;
-                }
-                land() {
-                    return this.walk() - this.weigth;
-                }
-                static isLander() {
-                    return true;
-                }
-            });
-            // @ts-expect-error Land requires Walk & Fly
-            (class extends (0, _1.Derive)(Land) {
-            });
-            // @ts-expect-error Land requires Walk
-            (class extends (0, _1.Derive)(Fly, Land) {
-            });
-            // @ts-expect-error Land requires Walk & Fly in correct order
-            (class extends (0, _1.Derive)(Land, Walk, Fly) {
-            });
-            // @ts-expect-error Land requires Walk & Fly in correct order
-            (class extends (0, _1.Derive)(Fly, Land, Walk) {
-            });
-            class Athlete extends (0, _1.Derive)(Walk, Fly, Land) {
-            }
-            // @ts-expect-error missing props
-            new Athlete({ speed: 10 });
-            // @ts-expect-error missing props
-            new Athlete({ wings: 10 });
-            // @ts-expect-error missing props
-            new Athlete({ weigth: 10 });
-            // @ts-expect-error missing props
-            new Athlete({ speed: 10, weigth: 10 });
-            // @ts-expect-error missing props
-            new Athlete({ speed: 10, wings: 10 });
-            // @ts-expect-error missing props
-            new Athlete({ weigth: 10, wings: 10 });
-            new Athlete({ speed: 10, weigth: 10, wings: 10 });
-        });
-    });
-    it("allow abstract traits", () => {
-        const SomeTrait = (0, _1.Trait)((base) => {
-            class I extends base {
-            }
-            return I;
-        });
-        const SomeSubTrait = (0, _1.Subtrait)([SomeTrait], (base, Props) => {
-            class I extends base {
-                constructor(props) {
-                    super(props);
-                }
-            }
-            return I;
-        });
-        class Test extends (0, _1.Derive)(SomeTrait, SomeSubTrait) {
-            do() {
-                console.log("do");
-            }
-        }
-        new Test({ test: 2 });
-        // @ts-expect-error
-        new Test({ anything: 2 });
-    });
-    it("allow to derive from a base class", () => {
-        class Base {
-            params;
-            constructor(params) {
-                this.params = params;
-            }
-        }
-        const SomeTrait = (0, _1.Trait)((base) => {
-            class I extends base {
-            }
-            return I;
-        });
-        class Test extends (0, _1.WithDerivations)(Base, SomeTrait) {
-            do() {
-                console.log("do");
-            }
-        }
-        new Test({ a: "a" });
-        // @ts-expect-error
-        new Test(2);
-    });
-});
-//# sourceMappingURL=index.spec.js.map

package/dist/index.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.spec.js","sourceRoot":"","sources":["../src/index.spec.ts"],"names":[],"mappings":";;AAAA,wBAQW;AAEX,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,MAAM,IAAI,GAAG,IAAA,QAAK,EAChB,CAAC,IAAI,EAAE,EAAE,CACP,MAAM,IAAK,SAAQ,IAAI;QACrB,IAAI;YACF,OAAO,CAAC,CAAC;QACX,CAAC;KACF,CACJ,CAAC;IAEF,MAAM,IAAI,GAAG,IAAA,QAAK,EAChB,CAAC,IAAI,EAAE,EAAE,CACP,KAAM,SAAQ,IAAI;QAChB,IAAI;YACF,OAAO,CAAC,CAAC;QACX,CAAC;KACF,CACJ,CAAC;IAEF,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,IAAK,SAAQ,IAAA,SAAM,EAAC,IAAI,CAAC;YAC7B,EAAE;gBACA,4CAA4C;gBAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,CAAC;SACF;QAED,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QAE1B,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAI,SAAQ,IAAA,SAAM,EAAC,IAAI,CAAC;YAC5B,IAAI;gBACF,OAAO,KAAK,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC;YAC5B,CAAC;SACF;QAED,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,GAAI,SAAQ,IAAA,SAAM,EAAC,IAAI,EAAE,IAAI,CAAC;SAAG;QAEvC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,MAAM,GAAG,GAAG,IAAA,QAAK,EACf,CAAC,IAAI,EAAE,EAAE,CACP,KAAM,SAAQ,IAAI;QAChB,KAAK,CAAS;QACd,YAAY,KAAwB;YAClC,KAAK,CAAC,KAAK,CAAC,CAAC;YACb,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QAC3B,CAAC;QACD,GAAG;YACD,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,CAAC;KACF,CACJ,CAAC;IAEF,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,OAAQ,SAAQ,IAAA,SAAM,EAAC,GAAG,CAAC;YAC/B;gBACE,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YACvB,CAAC;SACF;QAED,MAAM,YAAa,SAAQ,IAAA,SAAM,EAAC,GAAG,CAAC;YACpC;gBACE,gFAAgF;gBAChF,KAAK,CAAC,EAAE,CAAC,CAAC;YACZ,CAAC;SACF;QAED,MAAM,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAE7B,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,IAAA,QAAK,EAChB,CAAC,IAAI,EAAE,EAAE,CACP,KAAM,SAAQ,IAAI;QAChB,OAAO,CAAS;QAChB,YAAY,KAA0B;YACpC,KAAK,CAAC,KAAK,CAAC,CAAC;YACb,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC/B,CAAC;QACD,IAAI;YACF,OAAO,CAAC,CAAC;QACX,CAAC;KACF,CACJ,CAAC;IAEF,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,OAAQ,SAAQ,IAAA,SAAM,EAAC,GAAG,EAAE,IAAI,CAAC;YACrC;gBACE,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACpC,CAAC;SACF;QAED,MAAM,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAE7B,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,IAAA,QAAK,EAClB,CAAC,IAAI,EAAE,EAAE,CACP,KAAM,SAAQ,IAAI;YAChB,YAAY,KAA0B;gBACpC,KAAK,CAAC,KAAK,CAAC,CAAC;YACf,CAAC;SACF,CACJ,CAAC;QAEF,MAAM,OAAQ,SAAQ,IAAA,SAAM,EAAC,GAAG,EAAE,IAAI,CAAC;YACrC;gBACE,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACpC,CAAC;SACF;QAED,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;QAE9B,MAAM,CAAC,OAAO,YAAY,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAA,kBAAe,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,IAAA,kBAAe,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,IAAA,kBAAe,EAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAErD,MAAM,OAAO,GAAY,OAAO,CAAC;QACjC,IAAI,IAAA,kBAAe,EAAC,OAAO,EAAE,GAAG,CAAC,IAAI,IAAA,kBAAe,EAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;YACpE,6CAA6C;YAC7C,OAAO,CAAC,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,GAAM,EAAE,CAClB,IAAA,QAAK,EACH,CAAC,IAAI,EAAE,EAAE,CACP,KAAM,SAAQ,IAAI;YAChB,GAAG,CAAC,EAAK,IAAG,CAAC;SACd,CACJ,CAAC;QAEJ,MAAM,MAAO,SAAQ,IAAA,SAAM,EAAC,GAAG,EAAU,CAAC;YACxC,EAAE;gBACA,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,oDAAoD;gBACpD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,CAAC;SACF;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,cAAc,GAAG,GAAM,EAAE,CAC7B,IAAA,QAAK,EACH,CAAC,IAAI,EAAE,EAAE,CACP,KAAM,SAAQ,IAAI;YAChB,CAAC,CAAS;YACV,CAAC,CAAI;YACL,CAAC,CAAS;YACV,YAAY,KAAqC;gBAC/C,KAAK,CAAC,KAAK,CAAC,CAAC;gBACb,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;YACnB,CAAC;SACF,CACJ,CAAC;QAEJ,MAAM,KAAM,SAAQ,IAAA,SAAM,EAAC,cAAc,EAAW,CAAC;YACnD,YAAY,KAAwC;gBAClD,KAAK,CAAC,KAAK,CAAC,CAAC;YACf,CAAC;YAED,EAAE;gBACA,MAAM,CAAC,GAAW,IAAI,CAAC,CAAC,CAAC;gBACzB,MAAM,CAAC,GAAY,IAAI,CAAC,CAAC,CAAC;gBAC1B,MAAM,CAAC,GAAW,IAAI,CAAC,CAAC,CAAC;YAC3B,CAAC;SACF;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,cAAc,GAAG,GAAM,EAAE,CAC7B,IAAA,QAAK,EACH,CAAC,IAAI,EAAE,EAAE,CACP,KAAM,SAAQ,IAAI;YAChB,CAAC,CAAS;YACV,CAAC,CAAI;YACL,CAAC,CAAS;YACV,YAAY,KAAqC;gBAC/C,KAAK,CAAC,KAAK,CAAC,CAAC;gBACb,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;YACnB,CAAC;YACD,MAAM,CAAC,GAAG,CAER,KAAkC;gBAElC,OAAO,IAAI,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,CAAoB,CAAC;YACnD,CAAC;SACF,CACJ,CAAC;QAEJ,MAAM,KAAM,SAAQ,IAAA,SAAM,EAAC,cAAc,EAAW,CAAC;YACnD,YAAY,KAAwC;gBAClD,KAAK,CAAC,KAAK,CAAC,CAAC;YACf,CAAC;SACF;QAED,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;QACzB,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,IAAI,GAAG,IAAA,QAAK,EAChB,CAAC,IAAI,EAAE,EAAE,CACP,MAAM,IAAK,SAAQ,IAAI;gBACrB,IAAI,KAAI,CAAC;aACV,CACJ,CAAC;YAEF,MAAM,GAAG,GAAG,IAAA,WAAQ,EAClB,CAAC,IAAI,CAAC,EAAE,sCAAsC;YAC9C,CAAC,IAAI,EAAE,EAAE,CACP,MAAM,GAAI,SAAQ,IAAI;gBACpB,GAAG;oBACD,IAAI,CAAC,IAAI,EAAE,CAAC;oBACZ,IAAI,CAAC,IAAI,EAAE,CAAC;oBACZ,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,CAAC;aACF,CACJ,CAAC;YAEF,wEAAwE;YACxE,MAAM,YAAa,SAAQ,IAAA,SAAM,EAAC,GAAG,CAAC;aAAG;YAEzC,mFAAmF;YACnF,MAAM,aAAc,SAAQ,IAAA,SAAM,EAAC,GAAG,EAAE,IAAI,CAAC;aAAG;YAEhD,MAAM,OAAQ,SAAQ,IAAA,SAAM,EAAC,IAAI,EAAE,GAAG,CAAC;gBACrC,EAAE;oBACA,IAAI,CAAC,IAAI,EAAE,CAAC;oBACZ,IAAI,CAAC,GAAG,EAAE,CAAC;gBACb,CAAC;aACF;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,IAAI,GAAG,IAAA,QAAK,EAChB,CAAC,IAAI,EAAE,EAAE,CACP,KAAM,SAAQ,IAAI;gBAChB,IAAI;oBACF,OAAO,CAAC,CAAC;gBACX,CAAC;aACF,CACJ,CAAC;YAEF,MAAM,GAAG,GAAG,IAAA,WAAQ,EAClB,CAAC,IAAI,CAAC,EAAE,sCAAsC;YAC9C,CAAC,IAAI,EAAE,EAAE,CACP,KAAM,SAAQ,IAAI;gBAChB,KAAK,CAAS;gBACd,YAAY,KAAwB;oBAClC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACV,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;gBAC3B,CAAC;gBACD,GAAG;oBACD,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;gBAClC,CAAC;aACF,CACJ,CAAC;YAEF,MAAM,OAAQ,SAAQ,IAAA,SAAM,EAAC,IAAI,EAAE,GAAG,CAAC;gBACrC;oBACE,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;gBACvB,CAAC;gBACD,KAAK;oBACH,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAClC,CAAC;aACF;YAED,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;YAE9B,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,IAAI,GAAG,IAAA,QAAK,EAChB,CAAC,IAAI,EAAE,EAAE,CACP,KAAM,SAAQ,IAAI;gBAChB,KAAK,CAAS;gBACd,YAAY,KAAwB;oBAClC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACb,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;gBAC3B,CAAC;gBACD,IAAI;oBACF,OAAO,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;gBAC1B,CAAC;aACF,CACJ,CAAC;YAEF,MAAM,GAAG,GAAG,IAAA,WAAQ,EAClB,CAAC,IAAI,CAAC,EAAE,sCAAsC;YAC9C,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,KAAM,SAAQ,IAAI;gBAChB,MAAM,CAAS;gBACf,YAAY,KAAwC;oBAClD,KAAK,CAAC,KAAK,CAAC,CAAC;oBACb,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC7B,CAAC;gBACD,GAAG;oBACD,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;gBACxC,CAAC;aACF,CACJ,CAAC;YAEF,MAAM,OAAQ,SAAQ,IAAA,SAAM,EAAC,IAAI,EAAE,GAAG,CAAC;gBACrC,KAAK;oBACH,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAClC,CAAC;aACF;YAED,0CAA0C;YAC1C,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAE3B,4CAA4C;YAC5C,IAAI,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YAE5B,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YAEvD,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,IAAI,GAAG,IAAA,QAAK,EAChB,CAAC,IAAI,EAAE,EAAE,CACP,MAAM,IAAK,SAAQ,IAAI;gBACrB,KAAK,CAAS;gBACd,YAAY,KAAwB;oBAClC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACV,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;gBAC3B,CAAC;gBACD,IAAI;oBACF,OAAO,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;gBAC1B,CAAC;aACF,CACJ,CAAC;YAEF,MAAM,GAAG,GAAG,IAAA,QAAK,EACf,CAAC,IAAI,EAAE,EAAE,CACP,MAAM,GAAI,SAAQ,IAAI;gBACpB,KAAK,CAAS;gBACd,YAAY,KAAwB;oBAClC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACV,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;gBAC3B,CAAC;gBACD,GAAG;oBACD,qCAAqC;oBACrC,MAAM,CAAC,GAAW,IAAI,CAAC,KAAK,CAAC;oBAC7B,OAAO,IAAI,CAAC,KAAK,CAAC;gBACpB,CAAC;aACF,CACJ,CAAC;YAEF,MAAM,IAAI,GAAG,IAAA,WAAQ,EACnB,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,sCAAsC;YACnD,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,MAAM,IAAK,SAAQ,IAAI;gBACrB,MAAM,CAAS;gBACf,YAAY,KAAwC;oBAClD,KAAK,CAAC,KAAK,CAAC,CAAC;oBACb,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC7B,CAAC;gBACD,IAAI;oBACF,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;gBAChD,CAAC;aACF,CACJ,CAAC;YAEF,4CAA4C;YAC5C,CAAC,KAAM,SAAQ,IAAA,SAAM,EAAC,IAAI,CAAC;aAAG,CAAC,CAAC;YAEhC,4CAA4C;YAC5C,CAAC,KAAM,SAAQ,IAAA,SAAM,EAAC,IAAI,EAAE,IAAI,CAAC;aAAG,CAAC,CAAC;YAEtC,4CAA4C;YAC5C,CAAC,KAAM,SAAQ,IAAA,SAAM,EAAC,GAAG,EAAE,IAAI,CAAC;aAAG,CAAC,CAAC;YAErC,6DAA6D;YAC7D,CAAC,KAAM,SAAQ,IAAA,SAAM,EAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;aAAG,CAAC,CAAC;YAE3C,MAAM,OAAQ,SAAQ,IAAA,SAAM,EAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC;aAAG;YAEhD,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAC3B,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAC3B,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YAC5B,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YACvC,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YACtC,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAEvC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;YAChF,MAAM,IAAI,GAAG,IAAA,QAAK,EAChB,CAAC,IAAI,EAAE,EAAE,CACP,MAAM,IAAK,SAAQ,IAAI;gBACrB,KAAK,CAAS;gBACd,YAAY,KAAwB;oBAClC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACV,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;gBAC3B,CAAC;gBACD,IAAI;oBACF,OAAO,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;gBAC1B,CAAC;aACF,CACJ,CAAC;YAEF,MAAM,GAAG,GAAG,IAAA,QAAK,EACf,CAAC,IAAI,EAAE,EAAE,CACP,MAAM,GAAI,SAAQ,IAAI;gBACpB,KAAK,CAAS;gBACd,YAAY,KAAwB;oBAClC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACV,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;gBAC3B,CAAC;gBACD,GAAG;oBACD,qCAAqC;oBACrC,MAAM,CAAC,GAAW,IAAI,CAAC,KAAK,CAAC;oBAC7B,OAAO,IAAI,CAAC,KAAK,CAAC;gBACpB,CAAC;aACF,CACJ,CAAC;YAEF,MAAM,IAAI,GAAG,IAAA,WAAQ,EACnB,CAAC,IAAI,CAAC,EAAE,sCAAsC;YAC9C,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,MAAM,IAAK,SAAQ,IAAI;gBACrB,MAAM,CAAS;gBACf,YAAY,KAAwC;oBAClD,KAAK,CAAC,KAAK,CAAC,CAAC;oBACb,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC7B,CAAC;gBACD,IAAI;oBACF,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;gBACnC,CAAC;gBAED,MAAM,CAAC,QAAQ;oBACb,OAAO,IAAI,CAAC;gBACd,CAAC;aACF,CACJ,CAAC;YAEF,4CAA4C;YAC5C,CAAC,KAAM,SAAQ,IAAA,SAAM,EAAC,IAAI,CAAC;aAAG,CAAC,CAAC;YAEhC,sCAAsC;YACtC,CAAC,KAAM,SAAQ,IAAA,SAAM,EAAC,GAAG,EAAE,IAAI,CAAC;aAAG,CAAC,CAAC;YAErC,6DAA6D;YAC7D,CAAC,KAAM,SAAQ,IAAA,SAAM,EAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;aAAG,CAAC,CAAC;YAC3C,6DAA6D;YAC7D,CAAC,KAAM,SAAQ,IAAA,SAAM,EAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC;aAAG,CAAC,CAAC;YAE3C,MAAM,OAAQ,SAAQ,IAAA,SAAM,EAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC;aAAG;YAEhD,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAC3B,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAC3B,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YAC5B,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YACvC,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YACtC,iCAAiC;YACjC,IAAI,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAEvC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,SAAS,GAAG,IAAA,QAAK,EAAC,CAAC,IAAI,EAAE,EAAE;YAC/B,MAAe,CAAE,SAAQ,IAAI;aAE5B;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,IAAA,WAAQ,EAAC,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACzD,MAAe,CAAE,SAAQ,IAAI;gBAC3B,YAAY,KAAiC;oBAC3C,KAAK,CAAC,KAAK,CAAC,CAAC;gBACf,CAAC;aAGF;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC,CAAC;QAEH,MAAM,IAAK,SAAQ,IAAA,SAAM,EAAC,SAAS,EAAE,YAAY,CAAC;YAChD,EAAE;gBACA,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;SACF;QAED,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACtB,mBAAmB;QACnB,IAAI,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,IAAI;YACW;YAAnB,YAAmB,MAAqB;gBAArB,WAAM,GAAN,MAAM,CAAe;YAAG,CAAC;SAC7C;QAED,MAAM,SAAS,GAAG,IAAA,QAAK,EAAC,CAAC,IAAI,EAAE,EAAE;YAC/B,MAAe,CAAE,SAAQ,IAAI;aAE5B;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC,CAAC;QAEH,MAAM,IAAK,SAAQ,IAAA,kBAAe,EAAC,IAAI,EAAE,SAAS,CAAC;YACjD,EAAE;gBACA,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;SACF;QAED,IAAI,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACrB,mBAAmB;QACnB,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["import {\n  Constructor,\n  Derive,\n  Props,\n  Subtrait,\n  Trait,\n  WithDerivations,\n  implementsTrait,\n} from \".\";\n\ndescribe(\"Traits\", () => {\n  const Swim = Trait(\n    (base) =>\n      class Swim extends base {\n        swim() {\n          return 1;\n        }\n      },\n  );\n\n  const Walk = Trait(\n    (base) =>\n      class extends base {\n        walk() {\n          return 1;\n        }\n      },\n  );\n\n  it(\"derives a trait\", () => {\n    class Fish extends Derive(Swim) {\n      do() {\n        // @ts-expect-error should be strictly typed\n        this.test();\n      }\n    }\n\n    const fish = new Fish({});\n\n    expect(fish.swim()).toBe(1);\n  });\n\n  it(\"overloads a trait method\", () => {\n    class Dog extends Derive(Swim) {\n      swim() {\n        return super.swim() * 0.2;\n      }\n    }\n\n    const dog = new Dog({});\n\n    expect(dog.swim()).toBe(0.2);\n  });\n\n  it(\"derives multiple traits\", () => {\n    class Dog extends Derive(Swim, Walk) {}\n\n    const dog = new Dog({});\n\n    expect(dog.swim()).toBe(1);\n    expect(dog.walk()).toBe(1);\n  });\n\n  const Run = Trait(\n    (base) =>\n      class extends base {\n        speed: number;\n        constructor(props: { speed: number }) {\n          super(props);\n          this.speed = props.speed;\n        }\n        run() {\n          return 2 * this.speed;\n        }\n      },\n  );\n\n  it(\"derives a trait with a constructor\", () => {\n    class Athlete extends Derive(Run) {\n      constructor() {\n        super({ speed: 10 });\n      }\n    }\n\n    class ErrorAthlete extends Derive(Run) {\n      constructor() {\n        // @ts-expect-error ensures the super constructor is called with the right props\n        super({});\n      }\n    }\n\n    const walker = new Athlete();\n\n    expect(walker.run()).toBe(20);\n  });\n\n  const Jump = Trait(\n    (base) =>\n      class extends base {\n        agility: number;\n        constructor(props: { agility: number }) {\n          super(props);\n          this.agility = props.agility;\n        }\n        jump() {\n          return 1;\n        }\n      },\n  );\n\n  it(\"derives multiple trait with a constructor\", () => {\n    class Athlete extends Derive(Run, Jump) {\n      constructor() {\n        super({ speed: 10, agility: 10 });\n      }\n    }\n\n    const walker = new Athlete();\n\n    expect(walker.run()).toBe(20);\n  });\n\n  it(\"asserts an instance implements a trait\", () => {\n    const Unused = Trait(\n      (base) =>\n        class extends base {\n          constructor(props: { agility: number }) {\n            super(props);\n          }\n        },\n    );\n\n    class Athlete extends Derive(Run, Jump) {\n      constructor() {\n        super({ speed: 10, agility: 10 });\n      }\n    }\n\n    const athlete = new Athlete();\n\n    expect(athlete instanceof Athlete).toBe(true);\n    expect(implementsTrait(athlete, Run)).toBe(true);\n    expect(implementsTrait(athlete, Jump)).toBe(true);\n    expect(implementsTrait(athlete, Unused)).toBe(false);\n\n    const unknown: unknown = athlete;\n    if (implementsTrait(unknown, Run) && implementsTrait(unknown, Jump)) {\n      // if type error, ensure the type guard works\n      unknown.run();\n      unknown.jump();\n    }\n  });\n\n  it(\"allows generic traits\", () => {\n    const Eat = <E>() =>\n      Trait(\n        (base) =>\n          class extends base {\n            eat(_e: E) {}\n          },\n      );\n\n    class Animal extends Derive(Eat<string>()) {\n      do() {\n        this.eat(\"a\");\n        // @ts-expect-error should not allow to eat a number\n        this.eat(1);\n      }\n    }\n  });\n\n  it(\"allows to easily access prop types\", () => {\n    const WithProperties = <T>() =>\n      Trait(\n        (base) =>\n          class extends base {\n            a: string;\n            b: T;\n            c: number;\n            constructor(props: { a: string; b: T; c: number }) {\n              super(props);\n              this.a = props.a;\n              this.b = props.b;\n              this.c = props.c;\n            }\n          },\n      );\n\n    class Thing extends Derive(WithProperties<boolean>()) {\n      constructor(props: Props<typeof Thing> & { d: null }) {\n        super(props);\n      }\n\n      do() {\n        const a: string = this.a;\n        const b: boolean = this.b;\n        const c: number = this.c;\n      }\n    }\n  });\n\n  it(\"allows a trait to construct the base class\", () => {\n    const WithProperties = <T>() =>\n      Trait(\n        (base) =>\n          class extends base {\n            a: string;\n            b: T;\n            c: number;\n            constructor(props: { a: string; b: T; c: number }) {\n              super(props);\n              this.a = props.a;\n              this.b = props.b;\n              this.c = props.c;\n            }\n            static new<T extends Constructor>(\n              this: T,\n              props: ConstructorParameters<T>[0],\n            ) {\n              return new this({ ...props }) as InstanceType<T>;\n            }\n          },\n      );\n\n    class Thing extends Derive(WithProperties<boolean>()) {\n      constructor(props: Props<typeof Thing> & { d: null }) {\n        super(props);\n      }\n    }\n\n    Thing.new({ a: \"a\", b: true, c: 1, d: null });\n  });\n\n  describe(\"Subtraits\", () => {\n    it(\"allows to specify supertraits\", () => {\n      const Walk = Trait(\n        (base) =>\n          class Walk extends base {\n            walk() {}\n          },\n      );\n\n      const Run = Subtrait(\n        [Walk], // supertrait of subtrait defined here\n        (base) =>\n          class Run extends base {\n            run() {\n              this.walk();\n              this.walk();\n              this.walk();\n            }\n          },\n      );\n\n      // @ts-expect-error should not allow to create a runner without a walker\n      class ErrorAthlete extends Derive(Run) {}\n\n      // @ts-expect-error ordering matters: an athlete is a Runner because it is a walker\n      class ErrorAthlete2 extends Derive(Run, Walk) {}\n\n      class Athlete extends Derive(Walk, Run) {\n        do() {\n          this.walk();\n          this.run();\n        }\n      }\n    });\n\n    it(\"allows to specify supertraits with props\", () => {\n      const Walk = Trait(\n        (base) =>\n          class extends base {\n            walk() {\n              return 2;\n            }\n          },\n      );\n\n      const Run = Subtrait(\n        [Walk], // supertrait of subtrait defined here\n        (base) =>\n          class extends base {\n            speed: number;\n            constructor(props: { speed: number }) {\n              super({});\n              this.speed = props.speed;\n            }\n            run() {\n              return this.walk() * this.speed;\n            }\n          },\n      );\n\n      class Athlete extends Derive(Walk, Run) {\n        constructor() {\n          super({ speed: 10 });\n        }\n        start() {\n          return this.walk() + this.run();\n        }\n      }\n\n      const athlete = new Athlete();\n\n      expect(athlete.start()).toBe(22);\n    });\n\n    it(\"ensures supertraits props are forwarded\", () => {\n      const Walk = Trait(\n        (base) =>\n          class extends base {\n            speed: number;\n            constructor(props: { speed: number }) {\n              super(props);\n              this.speed = props.speed;\n            }\n            walk() {\n              return this.speed * 0.1;\n            }\n          },\n      );\n\n      const Run = Subtrait(\n        [Walk], // supertrait of subtrait defined here\n        (base, Props) =>\n          class extends base {\n            weigth: number;\n            constructor(props: { weigth: number } & typeof Props) {\n              super(props);\n              this.weigth = props.weigth;\n            }\n            run() {\n              return this.walk() * 10 + this.weigth;\n            }\n          },\n      );\n\n      class Athlete extends Derive(Walk, Run) {\n        start() {\n          return this.walk() + this.run();\n        }\n      }\n\n      // @ts-expect-error missing subtrait props\n      new Athlete({ speed: 10 });\n\n      // @ts-expect-error missing supertrait props\n      new Athlete({ weigth: 10 });\n\n      const athlete = new Athlete({ speed: 10, weigth: 10 });\n\n      expect(athlete.start()).toBe(21);\n    });\n\n    it(\"ensures supertraits props are forwarded with multiple subtraits\", () => {\n      const Walk = Trait(\n        (base) =>\n          class Walk extends base {\n            speed: number;\n            constructor(props: { speed: number }) {\n              super({});\n              this.speed = props.speed;\n            }\n            walk() {\n              return this.speed * 0.1;\n            }\n          },\n      );\n\n      const Fly = Trait(\n        (base) =>\n          class Fly extends base {\n            wings: number;\n            constructor(props: { wings: number }) {\n              super({});\n              this.wings = props.wings;\n            }\n            fly() {\n              // @ts-expect-error wings is a number\n              const s: string = this.wings;\n              return this.wings;\n            }\n          },\n      );\n\n      const Land = Subtrait(\n        [Walk, Fly], // supertrait of subtrait defined here\n        (base, Props) =>\n          class Land extends base {\n            weigth: number;\n            constructor(props: { weigth: number } & typeof Props) {\n              super(props);\n              this.weigth = props.weigth;\n            }\n            land() {\n              return this.walk() + this.fly() - this.weigth;\n            }\n          },\n      );\n\n      // @ts-expect-error Land requires Walk & Fly\n      (class extends Derive(Land) {});\n\n      // @ts-expect-error Land requires Walk & Fly\n      (class extends Derive(Walk, Land) {});\n\n      // @ts-expect-error Land requires Walk & Fly\n      (class extends Derive(Fly, Land) {});\n\n      // @ts-expect-error Land requires Walk & Fly in correct order\n      (class extends Derive(Land, Walk, Fly) {});\n\n      class Athlete extends Derive(Walk, Fly, Land) {}\n\n      // @ts-expect-error missing props\n      new Athlete({ speed: 10 });\n      // @ts-expect-error missing props\n      new Athlete({ wings: 10 });\n      // @ts-expect-error missing props\n      new Athlete({ weigth: 10 });\n      // @ts-expect-error missing props\n      new Athlete({ speed: 10, weigth: 10 });\n      // @ts-expect-error missing props\n      new Athlete({ speed: 10, wings: 10 });\n      // @ts-expect-error missing props\n      new Athlete({ weigth: 10, wings: 10 });\n\n      new Athlete({ speed: 10, weigth: 10, wings: 10 });\n    });\n\n    it(\"ensures a class can derive traits that dont depend on all other traits\", () => {\n      const Walk = Trait(\n        (base) =>\n          class Walk extends base {\n            speed: number;\n            constructor(props: { speed: number }) {\n              super({});\n              this.speed = props.speed;\n            }\n            walk() {\n              return this.speed * 0.1;\n            }\n          },\n      );\n\n      const Fly = Trait(\n        (base) =>\n          class Fly extends base {\n            wings: number;\n            constructor(props: { wings: number }) {\n              super({});\n              this.wings = props.wings;\n            }\n            fly() {\n              // @ts-expect-error wings is a number\n              const s: string = this.wings;\n              return this.wings;\n            }\n          },\n      );\n\n      const Land = Subtrait(\n        [Walk], // supertrait of subtrait defined here\n        (base, Props) =>\n          class Land extends base {\n            weigth: number;\n            constructor(props: { weigth: number } & typeof Props) {\n              super(props);\n              this.weigth = props.weigth;\n            }\n            land() {\n              return this.walk() - this.weigth;\n            }\n\n            static isLander() {\n              return true;\n            }\n          },\n      );\n\n      // @ts-expect-error Land requires Walk & Fly\n      (class extends Derive(Land) {});\n\n      // @ts-expect-error Land requires Walk\n      (class extends Derive(Fly, Land) {});\n\n      // @ts-expect-error Land requires Walk & Fly in correct order\n      (class extends Derive(Land, Walk, Fly) {});\n      // @ts-expect-error Land requires Walk & Fly in correct order\n      (class extends Derive(Fly, Land, Walk) {});\n\n      class Athlete extends Derive(Walk, Fly, Land) {}\n\n      // @ts-expect-error missing props\n      new Athlete({ speed: 10 });\n      // @ts-expect-error missing props\n      new Athlete({ wings: 10 });\n      // @ts-expect-error missing props\n      new Athlete({ weigth: 10 });\n      // @ts-expect-error missing props\n      new Athlete({ speed: 10, weigth: 10 });\n      // @ts-expect-error missing props\n      new Athlete({ speed: 10, wings: 10 });\n      // @ts-expect-error missing props\n      new Athlete({ weigth: 10, wings: 10 });\n\n      new Athlete({ speed: 10, weigth: 10, wings: 10 });\n    });\n  });\n\n  it(\"allow abstract traits\", () => {\n    const SomeTrait = Trait((base) => {\n      abstract class I extends base {\n        abstract do(): void;\n      }\n      return I;\n    });\n\n    const SomeSubTrait = Subtrait([SomeTrait], (base, Props) => {\n      abstract class I extends base {\n        constructor(props: { test: 2 } & typeof Props) {\n          super(props);\n        }\n\n        abstract do(): void;\n      }\n      return I;\n    });\n\n    class Test extends Derive(SomeTrait, SomeSubTrait) {\n      do() {\n        console.log(\"do\");\n      }\n    }\n\n    new Test({ test: 2 });\n    // @ts-expect-error\n    new Test({ anything: 2 });\n  });\n\n  it(\"allow to derive from a base class\", () => {\n    class Base {\n      constructor(public params: { a: string }) {}\n    }\n\n    const SomeTrait = Trait((base) => {\n      abstract class I extends base {\n        abstract do(): void;\n      }\n      return I;\n    });\n\n    class Test extends WithDerivations(Base, SomeTrait) {\n      do() {\n        console.log(\"do\");\n      }\n    }\n\n    new Test({ a: \"a\" });\n    // @ts-expect-error\n    new Test(2);\n  });\n});\n"]}