+4 -4

src/client.gleam

reviewed

··· 108 108 route if is_protected -> 109 109 session.Pending(on_success: route, on_error: route.Login) 110 110 111 111 - _ -> session.None 111 111 + _ -> session.Guest 112 112 } 113 113 } 114 114 ··· 177 177 ..model, 178 178 route: on_error, 179 179 page: page.init(on_error), 180 180 - session: session.None, 180 180 + session: session.Guest, 181 181 ), 182 182 modem.push(route.to_path(on_error), option.None, option.None), 183 183 ) ··· 185 185 // User ended their Session and token has been removed. 186 186 // Redirect user to the Home page 187 187 model, ServerRemovedToken(Ok(_)) -> { 188 188 - let session = session.None 188 188 + let session = session.Guest 189 189 let route = route.to_path(route.Home) 190 190 191 191 #(Model(..model, session:), modem.push(route, option.None, option.None)) ··· 214 214 let route = case model.session, route { 215 215 // If the route require the User to be authenticated, 216 216 // redirect them to the Login page. 217 217 - session.None, _ | session.Pending(_, _), _ if protected -> route.Login 217 217 + session.Guest, _ | session.Pending(_, _), _ if protected -> route.Login 218 218 // If the User is *already* authenticated but navigating to 219 219 // the Login page, redirect them to Dashboard instead. 220 220 session.Authenticated(_), route.Login -> route.Dashboard

+1 -1

src/client/page/navbar.gleam

reviewed

··· 95 95 html.text("Dashboard"), 96 96 ]) 97 97 98 98 - session.None -> 98 98 + session.Guest -> 99 99 html.a([attr.href(route.to_path(route.Login))], [html.text("Login")]) 100 100 101 101 session.Pending(..) ->

+3 -3

src/client/session.gleam

reviewed

··· 9 9 Pending(on_success: route.Route, on_error: route.Route) 10 10 11 11 /// User is not logged out 12 12 - None 12 12 + Guest 13 13 } 14 14 15 15 pub fn decoder() -> decode.Decoder(Session) { ··· 27 27 decode.success(Pending(on_success:, on_error:)) 28 28 } 29 29 30 30 - "none" -> decode.success(None) 31 31 - _ -> decode.failure(None, "session") 30 30 + "guest" -> decode.success(Guest) 31 31 + _ -> decode.failure(Guest, "session") 32 32 } 33 33 }

+1 -1

test/client_test/navigation_test.gleam

reviewed

··· 24 24 } 25 25 26 26 pub fn redirect_guest_to_login_test() -> Nil { 27 27 - let model = dummy.model(session.None, route.Home) 27 27 + let model = dummy.model(session.Guest, route.Home) 28 28 let msg = client.UserNavigatedTo(route.Dashboard) 29 29 30 30 let #(model, _) = client.update(model, msg)

+1 -1

test/client_test/session_test.gleam

reviewed

··· 31 31 32 32 let #(model, _) = client.update(model, msg) 33 33 34 34 - assert model.session == session.None as "user is now a guest" 34 34 + assert model.session == session.Guest as "user is now a guest" 35 35 assert model.route == on_error as "user redirected" 36 36 37 37 Nil

+1 -1

test/page/navbar_test.gleam

reviewed

··· 7 7 import gleam/list 8 8 9 9 pub fn language_selection_test() -> Nil { 10 10 - let model = dummy.model(session.None, route.Home) 10 10 + let model = dummy.model(session.Guest, route.Home) 11 11 12 12 let languages = [ 13 13 lang.PortugalPortuguese,