cpeluti
Guys, I’m fairly new to elixir and I wondering if there’s any LSP that has type inference. I’m trying to define modules that implement a behavior and would like to know if there’s a way to autocomplete when I receive a generic module from a functions parameter
let me give you an example:
defmodule Project.Crawler.Strategy do
@callback get_page(%Project.Site{}, String.t()) :: page()
end
@spec crawl(Project.Crawler.Strategy) :: boolean()
def crawl(module) do
module.
end
When I type module. on the crawl/1 I would like to have the intellisense about what options are available for module
Is there anything like that?
Where Next?
Trending in Questions
Other Trending Topics
Latest on Elixir Forum
Sponsor Spotlight
Courses that'll move you from confusion to "Aha, now I get it!"
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
- #ecto-query
- #elixirconf-us
- #ai
- #blog-post
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #hex
- #security
- #metaprogramming
Our Sponsors
Build Elixir applications with speed and confidence.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Elixir, Erlang & BEAM conferences from Code Sync - join us in 2026!
Practical resources that improve the lives of professional developers.
Producing high quality Elixir screencasts since 2017.
**Building the future of software with AI, trust, and human connection.**
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
Showing Posts 1 to 1- Show Best Posts
- Show All (oldest first)
- Show All (newest first)
LostKobrakai
This cannot be supported by LSPs. Typespecs cannot notate “a module, which implements a behaviour”. They can only notate
module(), which is any module and just an alias foratom(). You used a literal module name in your example. That also has nothing to do with behaviours. It’s just the name as is, like you could use e.g.:okin a typespec as well.The upcoming elixir typesystem might eventually provide a notation for that, but by now that typesystem has no code notation at all.