hoetmaaiers
I want to redirect the Phoenix router to a specific page so “/” renders the first navigation item.
Currently I do this using a root page:
# router.ex
defmodule AppWeb.Router do
...
scope "/", AppWeb do
pipe_through :browser
live_session :navigation, on_mount: [AppWeb.Navigation] do
live "/", RootLive.Index
live "/comics", ComicLive.Index
live "/comics/new", ComicLive.New, :new
live "/comics/:id", ComicLive.Show, :edit
...
In RootLive.index this happens:
defmodule StripeljeeWeb.RootLive.Index do
use StripeljeeWeb, :live_view
def handle_params(_unsigned_params, _uri, socket) do
{:noreply, socket |> redirect(to: "/comics")}
end
def render(assigns) do
~H"""
...
"""
end
end
This does work, but Dializer complains about this:
Type mismatch for @callback mount/3 in Phoenix.LiveView behaviour.
Expected type:
{:ok,
%Phoenix.LiveView.Socket{
:assigns => Phoenix.LiveView.Socket.assigns_not_in_socket() | map(),
:endpoint => atom(),
:fingerprints => {nil | binary(), map()},
:host_uri =>
:not_mounted_at_router
| %URI{
:authority => URI.authority(),
:fragment => nil | binary(),
:host => nil | binary(),
:path => nil | binary(),
:port => nil | char(),
:query => nil | binary(),
:scheme => nil | binary(),
:userinfo => nil | binary()
},
:id => binary(),
:parent_pid => nil | pid(),
:private => map(),
:redirected => nil | tuple(),
:root_pid => pid(),
:router => atom(),
:transport_pid => nil | pid(),
:view => atom()
}}
| {:ok,
%Phoenix.LiveView.Socket{
:assigns => Phoenix.LiveView.Socket.assigns_not_in_socket() | map(),
:endpoint => atom(),
:fingerprints => {nil | binary(), map()},
:host_uri =>
:not_mounted_at_router
| %URI{
:authority => URI.authority(),
:fragment => nil | binary(),
:host => nil | binary(),
:path => nil | binary(),
:port => nil | char(),
:query => nil | binary(),
:scheme => nil | binary(),
:userinfo => nil | binary()
},
:id => binary(),
:parent_pid => nil | pid(),
:private => map(),
:redirected => nil | tuple(),
:root_pid => pid(),
:router => atom(),
:transport_pid => nil | pid(),
:view => atom()
}, Keyword.t()}
Actual type:
{:noreply,
%Phoenix.LiveView.Socket{
:redirected => {:redirect, map()} | {:live, :patch | :redirect, map()},
_ => _
}}
Trending in Questions
I having some trouble figuring out if I have set myself too strict of standards for my production server. Currently I can handle 75% of r...
New
Documentation
While reading the Scoped Routes section, I noticed that the documentation currently refers to a problem without explainin...
New
Hello,
I’m trying to build a basic Phoenix web-app, and I’d like to use Tailwind.
However, when I launch mix phx.server, I get an error...
New
Hi everyone,
I am toying with the idea of building a “match maker” for giving personal help to people that wants to start coding.
I sta...
New
I recently noticed that Elixir’s Logger defaults its primary log level to :debug when no :logger, :level application configuration is pre...
New
I’m working on a small exercise involving update_in/3, and I came up with this solution:
data = %{
name: "Periodic Table",
category:...
New
I’ve got trouble wrapping my head around the order in which functions are called in this snippet (from Phoenix’s authentication):
toke...
New
Other Trending Topics
Edit: 2026 May 15 - This post is archived.
Mob is alive!!
Main docs: mob v0.7.11 — Documentation
A bit of explanation for the slightly c...
New
Hey, I’m Jesse and I’m the main contributor behind Dexter, a full-featured, lightning-fast Elixir LSP optimized for large codebases. It s...
New
I am happy to introduce the very α version of the new programming language compiled to BEAM.
Welcome Cure.
It has literally three kille...
New
Hobbes is a low-level distributed database for the Elixir programming language.
Hobbes provides a simple, safe, and scalable storage lay...
New
Hi everyone!
The first release candidate for the Expert language server project is now available!
We’ve published a press release detai...
New
A little off-topic, but I feel like people here have a good head on their shoulders.
I used to be quite good at making software. Was luc...
New
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #library
- #deployment
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #elixirconf
- #channels
- #exunit
- #discussion
- #code-sync
- #podcasts
- #javascript
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ai
- #ecto-query
- #elixirconf-us
- #blog-post
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #elixirconf-eu
- #api
- #forms
- #metaprogramming
- #hex










Showing Posts 1 to 8- Show Best Posts
- Show All (oldest first)
- Show All (newest first)
D4no0
The mount/3 callback should return data in format
{:ok, socket}not how you would do when handling an event:{:noreply, socket}.hoetmaaiers
Sorry, but how does this relate? I try to understand but can’t.
When defining a mount callback like this:
The warning from dialyzer is not much different:
D4no0
If you have changed the code and the warning still persists, try to delete the
_buildfolder and start the server again, sometimes there are cache bugs.sodapopcan
This line looks wrong. Unless there is a default identifier you can use that I don’t about, it should either look like:
on_mount: [{AppWeb.Navigation, :some_identifier}]or juston_mount: {AppWeb.Navigation, :some_identifier}if you only have one callback.hoetmaaiers
@D4no0 this makes no difference. Restarting the Elixir language server also solves nothing. Running
mix phx.serverdoes not show this error, only ElixirLS shows the warning.@sodapopcan I looked into this through the documentation and I indeed use the
:defaultidentifier.LostKobrakai
The error still lists the
actual typeas{:noreply, …}, where{:ok, …}is expected. So that’s what you should be looking out for.D4no0
You should have started with the fact that the problem comes from ElixirLS, the build folder for elixir-ls for vscode is located in
.elixir_ls. What I do in such cases is close code editor, remove_build,.elixir_lsand then it should compile everything from a clear start.I’ve been also noticing having a lot of times this happen lately, maybe a bug introduced in some update, hopefully it will be fixed soon.
hoetmaaiers
Thank you for pointing out that elixir_ls has its own
.elixir_lsfolder. Deleting this solved its complaints.