From 06db3de9a75aafed5ebcdf9849aca0c1a7f3d496 Mon Sep 17 00:00:00 2001
From: "kacaii.dev" <kacaii.privado@gmail.com>
Date: Fri, 19 Jun 2026 11:23:38 -0300
Subject: [PATCH] user: use "Int" type for id

---
 src/client/user.gleam | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/client/user.gleam b/src/client/user.gleam
index 989e976..c084da1 100644
--- a/src/client/user.gleam
+++ b/src/client/user.gleam
@@ -2,7 +2,7 @@ import gleam/dynamic/decode
 import gleam/json
 
 pub type User {
-  User(id: String, role: Role, full_name: String, email: String)
+  User(id: Int, role: Role, full_name: String, email: String)
 }
 
 pub type Role {
@@ -14,7 +14,7 @@ pub type Role {
 
 pub fn to_json(self: User) -> json.Json {
   json.object([
-    #("id", json.string(self.id)),
+    #("id", json.int(self.id)),
     #("role", role_to_json(self.role)),
     #("full_name", json.string(self.full_name)),
     #("email", json.string(self.email)),
@@ -22,7 +22,7 @@ pub fn to_json(self: User) -> json.Json {
 }
 
 pub fn decoder() -> decode.Decoder(User) {
-  use id <- decode.field("id", decode.string)
+  use id <- decode.field("id", decode.int)
   use role <- decode.field("role", role_decoder())
   use full_name <- decode.field("full_name", decode.string)
   use email <- decode.field("email", decode.string)
-- 
2.51.2