From 9fc4e8f80d335abc3ab02bfc24d64afcc91f3567 Mon Sep 17 00:00:00 2001
From: Tobias Berger <tobi.berger13@gmail.com>
Date: Fri, 7 Jan 2022 18:28:34 +0100
Subject: [PATCH] ServerMessage.type: string -> number

---
 types/ServerMessage.ts | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/types/ServerMessage.ts b/types/ServerMessage.ts
index ab0cadd..06a37da 100644
--- a/types/ServerMessage.ts
+++ b/types/ServerMessage.ts
@@ -1,10 +1,10 @@
 export enum MessageType {
-  ACK = "0",
-  TEXT = "1",
+  ACK = 0,
+  TEXT = 1,
 }
 
 export type ServerMessage = {
-  type: string;
+  type: MessageType;
   date: number;
 };
 export function isServerMessage(obj: unknown): obj is ServerMessage {
@@ -12,7 +12,8 @@ export function isServerMessage(obj: unknown): obj is ServerMessage {
   if (obj === null) return false;
   if (
     !Object.hasOwnProperty.call(obj, "type") ||
-    typeof (obj as { type: unknown }).type !== "string"
+    typeof (obj as { type: unknown }).type !== "number" ||
+    !Object.hasOwnProperty.call(MessageType, (obj as { type: number }).type)
   ) {
     return false;
   }