ijverig

ijverig

Matching argument and map key in function parameters

We can match arguments like this in elixir:

iex(1)> f = fn(a, [b: a]) -> a end                                                   
#Function<12.99386804/2 in :erl_eval.expr/5>
iex(2)> f.(:me, b: :me)                               
:me
iex(3)> f.(:me, a: :me)
** (FunctionClauseError)

We can even match on keys of Keywords:

iex(3)> f = fn(a, [{a, a}]) -> a end 
#Function<12.99386804/2 in :erl_eval.expr/5>
iex(4)> f.(:me, me: :me)             
:me
iex(5)> f.(:me, mee: :me)
** (FunctionClauseError)

However we cannot match on keys in Maps:

iex(5)> f = fn(a, %{a => a}) -> a end  
** (CompileError) iex:5: illegal use of variable a inside map key match, maps can only match on existing variables by using ^a
    (stdlib) lists.erl:1354: :lists.mapfoldl/3
    (stdlib) lists.erl:1354: :lists.mapfoldl/3
    (stdlib) lists.erl:1355: :lists.mapfoldl/3 
  1. Is there a way to match on keys in Maps?
  2. Why can we do it with Keywords but not with Maps?

Most Liked

idi527

idi527

You can use the pin operator ^ for this.

a = 1
case %{1 => :value} do
  %{^a => value} -> value
end

So f = fn(a, %{a => a}) -> a end might be “rewritten” as

f = fn a, map -> case map do %{^a => ^a} -> a end end
iex(2)> f.(1, %{1 => 1})
1

Note, however, you’d need to add a case which would handle unmatched maps as well.

ijverig

ijverig

Sure. Impossible to match on the parameters, then.

idi527

idi527

It’s currently impossible to match on “variable” map keys when passed as function arguments, yes.
It is possible to match on map values for predefined keys

def f(%{a: a}, %{a: a}), do: true
def f(_m1, _m2), do: false

Where Next?

Popular in Questions Top

JDanielMartinez
Hi! May someone helps me, please! I have two apps into an umbrella project: the first one is Database, which manages queries, and the se...
New
srinivasu
How to handle excepions in elixir? Suppose i have A, B, C ,D, E modules. and each module has get() function. A.get() method will call th...
New
lessless
I believe there are people here who are dealing with CSV files import on the daily basis, and since Excel is a really popular tool there ...
New
LegitStack
I’m hoping you guys can give me some general advice and perhaps code examples if you’re feeling up to it. I’m very interested in Elixir,...
New
ycv005
I have followed this StackOverflow post to install the specific version of Erlang. And When I am running mix ecto.setup then getting fol...
New
logicmason
Hi there, I'm working through my first release with elixir/phoenix. I've built a release with distillery and found that it crashes when I...
New
jononomo
I am trying to figure out how Mix knows whether the environment is test, dev, or prod -- where is this set? Thanks.
New
ashish173
I am using Ecto timestamps with postgres, I can see the timestamps() use the :naive_dateime but for my use case I wanted to store the ti...
New
fayddelight
I tried installing elixir 1.11.2 erlang 23.3.4 via asdf in my zsh shell. Enabled the versions locally and globally. When I list them ...
New
belgoros
I’m not a pro in using Regex and can’t figure out why the following behaviour happens, especially if we take into account the difference ...
New

Other popular topics Top

peerreynders
Manning 2016 Halloween weekend sale via Deal of the Day Friday, October 28 - Half off all MEAPs - code WM102816LT Saturday, October 29 ...
326 29600 154
New
senggen
Erlang/OTP 25 [erts-13.2.2] [source] [64-bit] [smp:8:8] [ds:8:8:10] [async-threads:1] 15:22:35.803 [error] gen_event {lager_file_backend...
New
bsollish-terakeet
Credo is smart enough to check for (something like) this: assert length(the_list) == 0 with this response: Checking if an enum is empt...
New
yawaramin
In the Dialyzer docs ( http://erlang.org/doc/man/dialyzer.html#requesting-or-suppressing-warnings-in-source-files ), there is a way to tu...
New
ycv005
I have followed this StackOverflow post to install the specific version of Erlang. And When I am running mix ecto.setup then getting fol...
New
fireproofsocks
I’m working on defining a simple Ecto schema for a table (in PostGres), but I don’t see where I can define a column as NOT NULL. Conside...
New
minhajuddin
I have seen a lot of code which picks the first element from a list using Enum.at(0) instead of List.first. Is there a reason why people ...
New
rms.mrcs
Hi, I need to transform a list of numbers into a map where the keys are the indexes and the values are the original values of the list....
New
AstonJ
We’ve put together this wiki for Phoenix LiveView - please feel free to add any info you feel is worth including. What is Phoenix LiveV...
New
vrod
I am using the Starship cross-shell prompt – it seems pretty nice, but I get some errors: [WARN] - (starship::utils): Executing command ...
New

We're in Beta

About us Mission Statement