Company Name is now displayed on the Settings table, if available

2023-12-27 21:06:06 +00:00
parent 79b159f948
commit b7ddee1db2
2 changed files with 36 additions and 2 deletions
--- a/src/resources/user.ts
+++ b/src/resources/user.ts
@@ -1,4 +1,4 @@
-import {Type} from "@/interfaces/user";
+import {Type, User, CorporateUser} from "@/interfaces/user";

 export const USER_TYPE_LABELS: {[key in Type]: string} = {
 	student: "Student",
@@ -8,3 +8,7 @@ export const USER_TYPE_LABELS: {[key in Type]: string} = {
 	admin: "Admin",
 	developer: "Developer",
 };
+
+export function isCorporateUser(user: User): user is CorporateUser {
+	return (user as CorporateUser).corporateInformation !== undefined;
+  }