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

BuildTraitExpression refactoring
All checks were successful
continuous-integration/drone/push Build is passing
Details

Browse Source
This commit is contained in:
Julien Valverdé
2024-02-21 01:12:09 +01:00
parent fe465c131c
commit 59cb8646ab
1 changed files with 15 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
src/TraitExpressionBuilder.ts
View File

@@ -16,35 +16,25 @@ type SpreadSupertraits<T> = (
) )
type InstanceExtendable<
Superclass extends AbstractClass<object>,
Traits extends Trait<any, any, any, any>[],
> = (
Extendable<[
InstanceType<Superclass>,
...TraitTuple.MapInstance<Traits>,
]>
)
type StaticMembersExtendable<
Superclass extends AbstractClass<object>,
Traits extends Trait<any, any, any, any>[],
> = (
Extendable<[
StaticMembers<Superclass>,
...TraitTuple.MapStaticMembers<Traits>,
]>
)
type BuildTraitExpression< type BuildTraitExpression<
Superclass extends AbstractClass<object>, Superclass extends AbstractClass<object>,
Traits extends Trait<any, any, any, any>[], Traits extends Trait<any, any, any, any>[],
> = ( > = (
InstanceExtendable<Superclass, Traits> extends false Extendable<TraitTuple.MapAbstract<Traits>> extends false
? "Type conflict on the instance side." ? "Type conflict between the traits abstract definitions."
: StaticMembersExtendable<Superclass, Traits> extends false : Extendable<TraitTuple.MapStaticAbstract<Traits>> extends false
? "Type conflict on the static side." ? "Type conflict between the traits static abstract definitions."
: TraitExpression<Superclass, Traits> : Extendable<[
InstanceType<Superclass>,
...TraitTuple.MapImplInstance<Traits>,
]> extends false
? "Type conflict between the traits implementation instance and/or the superclass instance."
: Extendable<[
StaticMembers<Superclass>,
...TraitTuple.MapImplStaticMembers<Traits>,
]> extends false
? "Type conflict between the traits implementation static members and/or the superclass static members."
: TraitExpression<Superclass, Traits>
) )