Ryan Will

Posted on Jan 15, 2020 • Originally published at til.ryanwill.dev on Jan 15, 2020

Pattern match in with clause 🤯

#elixir #todayilearned

I had a problem where I needed to make sure a string was returned from a function that was part of a with clause. I thought, “You can’t pattern match here, right? That would just be too convenient.”

Turns out you totally can. Here’s an example from the docs.

users = %{"melany" => "guest", "bob" => :admin}

with {:ok, role} when not is_binary(role) <- Map.fetch(users, "bob") do
  {:ok, to_string(role)}
end

Top comments (1)

Edison Yap • Jan 16 '20 • Edited

This is why the with syntax is so awesome.

If your pattern match fails, it tries to pattern match in the else block too, which allows you to handle all of your errors below, and all of your happy paths above, so at a glance it's clear what your intent is.

This is also basis to another really interesting pattern that I've really come to like - tagged tuple.

Sometimes your pattern matching might return something pretty generic, so it's hard for you to handle the errors for them, for example:

data = "a"
with true <- is_binary(a),
         true <- a == "a" do
...
else
  false ->
     # here you handle the error, but you don't know which one of the function fails.
end

Tagged tuple changes this, by wrapping each execution in a tuple, like this:

data = "a"
with {:string, true} <- {:string, is_binary(a)},
         {:a, true} <- {:a, a == "a"} do
...
else
   # now you can handle specific errors
   {:string, false} ->
     ...
   {:a, false} ->
     ...

end

I have an example running in the wild here:

github.com/edisonywh/committee/blo...

You can see how elegant error handling gets!

DEV Community

Pattern match in with clause 🤯

Top comments (1)

Read next

How are AI features in smartphones helping with customization and personalization? How are AI features in smartphones helping us customize and personalize things better? Like, is it just about wallpapers and themes, or does it go deeper into understanding

Every Phase Explained: An Overview of Successful Cloud Migration

💻📊 Effortless Data Integration with Pandas and PostgreSQL 🚀

🚀 Coming Soon: Eldora 2.0 – The Future of Page Design