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!

Marked As Solved

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.

Also Liked

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

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
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
RemyXRenard
I’m seeing that a list inside a Kino.DataTable will be interpreted as a charlist, even if the Kino.configure() is set to charlists: :as_l...
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
samoloth
Hi, I’ve just set up an application with ash_authentication. There is only magic link strategy for now, so there is no confirmation add o...
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

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
mudasobwa
I am happy to introduce the very α version of the new programming language compiled to BEAM. Welcome Cure. It has literally three kille...
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

Latest on Elixir Forum

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews