gearnode

gearnode

Hello everyone !

How to reproduce

case Repo.one(Client) do
  %Client{} = client -> client
  nil -> {:error, "some error message"}
end

When Repo.one(Client) returns to me a %Client{...} struct it matches, no problem with that.

Now if I reverse this match operation.

case Repo.one(Client) do
  client = %Client{} -> client
  nil -> {:error, "some error message"}
end

When Repo.one(Client) returns to me a %Client{...} struct, I expect it matches and returns new empty %Client{} struct. But this returns same result as the first example.

Troubleshooting

I don’t understand how Elixir resolve this match. I have tried to reproduce this in a IEx outside a case context, without any success.

Anybody know if this behavior is valid ? And how Elixir resolve this context and condition ?

Thanks,
Bryan!

Showing Posts 2 to 1

benwilson512

benwilson512

Author of Craft GraphQL APIs in Elixir with Absinthe

You aren’t reversing the match operation, because matches do not have an order. WITHIN a match foo = bar is exactly the same as bar = foo. Specifically,

case operation(some_var) do
  x = 1 -> x
end

is in no way whatsoever different than

case operation(some_var) do
  1 = x -> x
end

This is true of every match. So for example:

(1 = x) = y
is the same as
(x = 1) = y

The right hand most = is necessary in order to establish that the left hand side is a match, but once you’re within a match order does not matter.

Qqwy

Qqwy

TypeCheck Core Team

The reason this works is because how %Struct{} (and, more generally, any kind of map: %{}) matches.

The idea is that, for structs and maps, you often are only interested in one or a few of the fields. Therefore, matching %{foo: _} will match any map that has a key :foo. Likewise, %{} will match any map at all.

When not matching but constructing a value, then, yes, %{} means ‘empty map’ and %Client{} means ‘empty client (whose struct fields are set to their defaults)’.

The order in which = is used (i.e. which side contains the structure to match, and which side contains the name to bind the matched part to) inside a match does not matter. Some people prefer to do it in front, (client = %Client{}), some in the back (%Client{} = client). Both mean the same.

To change your code so it returns a new client, write this:

case Repo.one(Client) do
  %Client{} -> %Client{} # Note that the RHS is an empty client, while the LHS matches _any_ client.
  nil -> {:error, "some error message"}
end
— All posts loaded —

Where Next? Top

Trending in Questions Top

RSP87
I’m working on a project that simulates the bumbl example in the programming phoenix book. It acts almost like an email client. We have a...
New
kpanic
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
nseaSeb
Hello, I know there is an approach for handling lists that allows for optimized traversal, but I can’t recall the specific method (somet...
New
brecabral
Documentation While reading the Scoped Routes section, I noticed that the documentation currently refers to a problem without explainin...
New
velrest
So my question is quite simple and i have found no conclusive answer on forum, google or AI. Should we use :erlang.float for Integer to ...
New
asweet-confluent
I recently noticed that Elixir’s Logger defaults its primary log level to :debug when no :logger, :level application configuration is pre...
New
apz
I’m new to elixir and just tried to install the elixirLS extension for VScode(ium) and it is throwing some errors that I would like help ...
New

Other Trending Topics Top

JesseHerrick
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
marciok
Hi there! We created Gust: A task orchestrator inspired by Airflow. For those who have never heard about Aiflow, it’s a Python-based wor...
New
mhanberg
Hi everyone! The first release candidate for the Expert language server project is now available! We’ve published a press release detai...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
Dmk
Xamal is a deployment tool for Elixir apps that deploys native releases to bare metal servers over SSH. It’s a port of GitHub - basecamp/...
New
webofbits
With AI doing more of the implementation work, I’ve been wondering how much coding I should deliberately keep doing myself. My main conc...
#ai
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews