From 419330e0c266fb79754eff351fe2a4ef8d5d11fb Mon Sep 17 00:00:00 2001 From: "kacaii.dev" Date: Wed, 6 May 2026 17:44:15 -0300 Subject: [PATCH] =?UTF-8?q?=F0=9F=9B=82=20add=20function=20to=20extract=20?= =?UTF-8?q?the=20user=20assigned=20to=20a=20token?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/client/session/token.gleam | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/client/session/token.gleam b/src/client/session/token.gleam index c3657b5..cb8cabc 100644 --- a/src/client/session/token.gleam +++ b/src/client/session/token.gleam @@ -31,6 +31,16 @@ pub fn to_json(self: Token) -> json.Json { ]) } +/// Returns the User assigned to the given token +/// +/// ```gleam +/// user(token) +/// // -> user.User(id:"123", role: role.Admin, ... ) +/// ``` +pub fn user(self: Token) -> user.User { + self.user +} + pub fn set_header(self: Token, req: request.Request(_)) -> request.Request(_) { let value = to_json(self) -- 2.51.2