Solved an issue where the company name of country managers wasn't able to be updated

This commit is contained in:
Tiago Ribeiro
2024-04-02 10:53:34 +01:00
parent 62ecc4e395
commit f374d91ef8
4 changed files with 27 additions and 29 deletions

View File

@@ -1,4 +1,4 @@
import {Type, User, CorporateUser} from "@/interfaces/user";
import {Type, User, CorporateUser, AgentUser} from "@/interfaces/user";
export const USER_TYPE_LABELS: {[key in Type]: string} = {
student: "Student",
@@ -11,4 +11,8 @@ export const USER_TYPE_LABELS: {[key in Type]: string} = {
export function isCorporateUser(user: User): user is CorporateUser {
return (user as CorporateUser).corporateInformation !== undefined;
}
}
export function isAgentUser(user: User): user is AgentUser {
return (user as AgentUser).agentInformation !== undefined;
}