Thilawyn/traitify-ts
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

0.1.11 (#11)
All checks were successful
continuous-integration/drone/push Build is passing
Details

Browse Source 
Co-authored-by: Julien Valverdé <julien.valverde@mailo.com>
Reviewed-on: https://git.jvalver.de/Thilawyn/traitify-ts/pulls/11
This commit was merged in pull request #11.
This commit is contained in:
Julien Valverdé
2024-02-24 23:42:24 +01:00
parent 58448c2135
commit 9d15943c98
7 changed files with 190 additions and 121 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/TraitExpression.ts
View File

@@ -6,7 +6,7 @@ import { Extend, StaticMembers } from "./util"
export class TraitExpression<
Superclass extends AbstractClass<object>,
const Traits extends Trait<any, any, any, any>[],
const Traits extends readonly Trait<any, any, any, any>[],
> {
constructor(
readonly superclass: Superclass,
@@ -95,7 +95,7 @@ export namespace TraitExpression {
export type Implements<
Exp extends TraitExpression<any, Trait<any, any, any, any>[]>
Exp extends TraitExpression<any, readonly Trait<any, any, any, any>[]>
> = (
Simplify<
Extend<
@@ -107,7 +107,7 @@ export type Implements<
)
export type StaticImplements<
Exp extends TraitExpression<any, Trait<any, any, any, any>[]>
Exp extends TraitExpression<any, readonly Trait<any, any, any, any>[]>
> = (
Simplify<
Extend<
@@ -120,7 +120,7 @@ export type StaticImplements<
export type TraitExpressionClass<
Exp extends TraitExpression<any, Trait<any, any, any, any>[]>
Exp extends TraitExpression<any, readonly Trait<any, any, any, any>[]>
> = (
AbstractClass<
TraitExpressionInstance<Exp>,
@@ -130,7 +130,7 @@ export type TraitExpressionClass<
)
export type TraitExpressionConcreteClass<
Exp extends TraitExpression<any, Trait<any, any, any, any>[]>
Exp extends TraitExpression<any, readonly Trait<any, any, any, any>[]>
> = (
Class<
TraitExpressionInstance<Exp>,
@@ -140,7 +140,7 @@ export type TraitExpressionConcreteClass<
)
export type TraitExpressionInstance<
Exp extends TraitExpression<any, Trait<any, any, any, any>[]>
Exp extends TraitExpression<any, readonly Trait<any, any, any, any>[]>
> = (
InstanceType<TraitExpression.Superclass<Exp>> & // Keep the instance of the superclass outside of any kind of type manipulation
// as it can accidentely remove abstract properties
@@ -152,7 +152,7 @@ export type TraitExpressionInstance<
)
export type TraitExpressionStaticMembers<
Exp extends TraitExpression<any, Trait<any, any, any, any>[]>
Exp extends TraitExpression<any, readonly Trait<any, any, any, any>[]>
> = (
Simplify<
Extend<[