better types

mrc-ide · Dec 3, 2024 · 373401d · 373401d
1 parent 4a62a0b
commit 373401d
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/app/static/src/router.ts b/app/static/src/router.ts
@@ -5,8 +5,11 @@ import type BasicApp from "./components/basic/BasicApp.vue";
 import type FitApp from "./components/fit/FitApp.vue";
 import type StochasticApp from "./components/stochastic/StochasticApp.vue";
 
+type UnionAppComponent = typeof BasicApp | typeof FitApp | typeof StochasticApp
+type IntersectionAppComponent = typeof BasicApp & typeof FitApp & typeof StochasticApp
+
 export function initialiseRouter(
-    appComponent: typeof BasicApp | typeof FitApp | typeof StochasticApp,
+    appComponent: UnionAppComponent,
     appName: string,
     baseUrl: string,
     appsPath: string
@@ -31,7 +34,7 @@ export function initialiseRouter(
         component: appComponent,
         props: {
             initSelectedTab: STATIC_BUILD ? "Options" : undefined
-        } as Parameters<NonNullable<(typeof appComponent)["setup"]>>["0"]
+        } as Parameters<NonNullable<IntersectionAppComponent["setup"]>>["0"]
     };
 
     const sessionsRoute: RouteRecordRaw = {