Trait work

src/Trait.ts

@@ -1,7 +1,7 @@
-import { Fn, Pipe, Tuples } from "hotscript"
+import { Fn } from "hotscript"
-import { AbstractClass, Class } from "type-fest"
+import { AbstractClass, Class, Simplify } from "type-fest"
 import { TraitExpression } from "./TraitExpression"
-import { Extend, ExtendFn, SimplifyFn, StaticMembers, StaticMembersFn } from "./util"
+import { Extend, StaticMembers } from "./util"
 
 
 export class Trait<
@@ -121,22 +121,19 @@ export type TraitConcreteClass<T extends Trait<any, any, any, any>> = (
 )
 
 export type TraitInstance<T extends Trait<any, any, any, any>> = (
-    Pipe<T, [
+    Simplify<
-        Trait.SupertraitsFn,
+        Extend<[
-        Tuples.Append<T>,
+            Trait.OwnAbstract<T>,
-        Tuples.Map<Trait.OwnInstanceFn>,
+            Trait.OwnImplInstance<T>,
-        ExtendFn,
-        SimplifyFn,
         ]>
+    >
 )
 
 export type TraitStaticMembers<T extends Trait<any, any, any, any>> = (
-    Pipe<T, [
+    Simplify<
-        Trait.SupertraitsFn,
+        Extend<[
-        Tuples.Append<T>,
+            Trait.OwnStaticAbstract<T>,
-        Tuples.Map<Trait.OwnClassFn>,
+            StaticMembers<Trait.OwnImplClass<T>>,
-        Tuples.Map<StaticMembersFn>,
-        ExtendFn,
-        SimplifyFn,
         ]>
+    >
 )