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

Code improvement
All checks were successful
continuous-integration/drone/push Build is passing
Details

Browse Source
This commit is contained in:
Julien Valverdé
2024-02-07 20:30:39 +01:00
parent c5c01111ba
commit 3e8cb15809
1 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/TraitExpression.ts
View File

@@ -67,7 +67,9 @@ export class TraitExpression<
} }
export namespace TraitExpression { export namespace TraitExpression {
export class NullSuperclass {} export class NullSuperclass {
static readonly _tag = "@thilawyn/traitify-ts/TraitExpression.NullSuperclass"
}
export type Superclass<T> = ( export type Superclass<T> = (
T extends TraitExpression<infer Superclass, any, any> T extends TraitExpression<infer Superclass, any, any>
@@ -101,11 +103,10 @@ export const emptyTraitExpression = new TraitExpression(TraitExpression.NullSupe
export type Implements<Exp extends TraitExpression<any, any, any>> = ( export type Implements<Exp extends TraitExpression<any, any, any>> = (
Exp extends TraitExpression<any, infer AllTraits, any> Pipe<Exp, [
? Pipe<AllTraits, [ TraitExpression.AllTraitsFn,
Tuples.Map<Trait.OwnAbstractFn>, Tuples.Map<Trait.OwnAbstractFn>,
ExtendFn, ExtendFn,
SimplifyFn, SimplifyFn,
]> ]>
: never
) )