From 118621f22309f750614c0ecb548856aa2e1103dc Mon Sep 17 00:00:00 2001
From: Arnav Borborah <arnavborborah1@gmail.com>
Date: Sun, 14 Jul 2024 23:58:23 -0400
Subject: [PATCH] Add raw database types

---
 JimBroBot/Data.fs | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/JimBroBot/Data.fs b/JimBroBot/Data.fs
index 744cb94..eab7408 100644
--- a/JimBroBot/Data.fs
+++ b/JimBroBot/Data.fs
@@ -1 +1,32 @@
 module JimBroBot.Data
+
+open System
+
+type BotUser = { Id: uint32; DiscordId: string }
+
+type Exercise =
+    { Id: uint32
+      Name: string
+      Type: string
+      BotUserId: uint32 }
+
+type ExerciseLog =
+    { Id: uint32
+      ExerciseId: uint32
+      LogDate: DateOnly }
+
+type AllSetDetail = { Id: uint32 }
+
+type SetExerciseDetail =
+    { Id: uint32
+      Reps: uint32
+      Weight: double
+      IsWarmup: bool
+      SequenceOrder: uint32 }
+
+type SpeedExerciseDetail =
+    { Id: uint32
+      DurationSec: uint32
+      DistanceMiles: double }
+
+type TimeExerciseDetail = { Id: uint32; DurationSec: uint32 }