Fl4m3Ph03n1x
I have a module that uses TypedStruct to create structs. This is the code:
defmodule Shared.Data.Authorization do
@moduledoc """
Saves authorization details for a user. It also contains other details.
"""
use TypedStruct
alias Shared.Utils.Structs
@type authorization :: %{
(cookie :: String.t()) => String.t(),
(token :: String.t()) => String.t()
}
@derive Jason.Encoder
typedstruct enforce: true do
@typedoc "Authorization information for a user"
field(:cookie, String.t())
field(:token, String.t())
end
@spec new(authorization()) :: __MODULE__.t()
def new(%{"cookie" => cookie, "token" => token} = auth)
when is_binary(cookie) and is_binary(token) do
Structs.string_map_to_struct(auth, __MODULE__)
end
end
The problem here is that Gradient does not seem to understand that t() is created, so it errors out:
lib/data/authorization.ex: The function call on line 26 is expected to have type t() but it has type struct()
24 def new(%{“cookie” => cookie, “token” => token} = auth)
25 when is_binary(cookie) and is_binary(token) do
26 Structs.string_map_to_struct(auth, MODULE)
27 end
For additional context, here is the string_map_to_struct code:
@spec string_map_to_struct(map, module | struct) :: struct
def string_map_to_struct(data, target_struct) do
data
|> Morphix.atomorphiform!() # string_map to atom_map
|> data_to_struct(target_struct)
end
@spec data_to_struct(Enumerable.t(), module | struct) :: struct
def data_to_struct(data, target_struct), do: struct(target_struct, data)
I decided to convert that code into its native form using defstruct:
defmodule Shared.Data.Authorization do
@moduledoc """
Saves authorization details for a user. It also contains other details.
"""
alias Shared.Utils.Structs
@enforce_keys [:cookie, :token]
defstruct [:cookie, :token]
@type authorization :: %{
(cookie :: String.t()) => String.t(),
(token :: String.t()) => String.t()
}
@typedoc "Authorization information for a user"
@type t() :: %__MODULE__{
cookie: String.t(),
token: String.t()
}
@spec new(authorization()) :: t()
def new(%{"cookie" => cookie, "token" => token} = auth)
when is_binary(cookie) and is_binary(token) do
Structs.string_map_to_struct(auth, __MODULE__)
end
end
Gradient does not complain here.
Is there a fix for this?
(other than removing typed struct?)
Trending in Questions
Hello!
Suppose you are building workflow (order / task / payment) processing system with the following requirements:
Each workflow con...
New
I’m aware of 2 such projects, are there others?
git: GitHub - team-alembic/realworld: A fullstack Phoenix LiveView application with back...
New
Hi all,
I’m working on a Phoenix project where I need to make external HTTP requests and I’m trying to choose between Req and HTTPoison....
New
Hi everyone.
My team and I have been working on a fairly modest app based around video streaming and chat, but we’ve landed a customer t...
New
Hi,
we run different LLM models across a cluster, with each node loading a configurable subset. Model-specific queues let nodes consume ...
New
Hi all, I’m new here and would like to hear peoples views on my Elixir/Phoenix based game-engine! :smiley:
Mutonex gamedesign was finish...
New
Hello
I’ve been coding in Elixir for almost two years now because of my current job where we implemented Elixir in our application. But ...
New
Other Trending Topics
Hey there,
I haven’t seen a list of useful Elixir specific skills for the popular AI tools yet so I’m starting one here with my first.
...
New
I fully migrated to my own harness from Anthropic/Gemini and I think it’s time to share it. Welcome DSH, the DeepSeek Harness, fully writ...
New
Hey. Is there anyone here who creates agents in their apps? Not talking about using agents, but creating them. I’m finding it pretty diff...
New
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
With AI doing more of the implementation work, I’ve been wondering how much coding I should deliberately keep doing myself.
My main conc...
New
(I just needed to vent somewhere and LinkedIn is full of hope, or hype, I’m not sure which exactly)
AI dream has many faces, but general...
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
- #ai
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #blog-post
- #ecto-query
- #elixirconf-us
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #elixirconf-eu
- #api
- #forms
- #security
- #hex










