Patterns and guards — Elixir v1.16.3

Search documentation of Elixir

# View Source Patterns and guards

Elixir provides pattern matching, which allows us to assert on the shape or extract values from data structures. Patterns are often augmented with guards, which give developers the ability to perform more complex checks, albeit limited.

This document provides a complete reference on patterns and guards, their semantics, where they are allowed, and how to extend them.

## Patterns

Patterns in Elixir are made of variables, literals, and data structure specific syntax. One of the most used constructs to perform pattern matching is the match operator (`=`):

    iex> x = 1
    1
    iex> 1 = x
    1

In the example above, `x` starts without a value and has `1` assigned to it. Then, we compare the value of `x` to the literal `1`, which succeeds as they are both `1`.

Matching `x` against 2 would raise:

    iex> 2 = x
    ** (MatchError) no match of right hand side value: 1

Patterns are not bidirectional. If you have a variable `y` that was never assigned to (often called an unbound variable) and you write `1 = y`, an error will be raised:

    iex> 1 = y
    ** (CompileError) iex:2: undefined variable "y"

In other words, patterns are allowed only on the left side of `=`. The right side of `=` follows the regular evaluation semantics of the language.

Now let's cover the pattern matching rules for each construct and then for each relevant data types.

### Variables

Variables in patterns are always assigned to:

    iex> x = 1
    1
    iex> x = 2
    2
    iex> x
    2

In other words, Elixir supports rebinding. In case you don't want the value of a variable to change, you can use the pin operator (`^`):

    iex> x = 1
    1
    iex> ^x = 2
    ** (MatchError) no match of right hand side value: 2

If the same variable appears multiple times in the same pattern, then all of them must be bound to the same value:

    iex> {x, x} = {1, 1}
    {1, 1}
    iex> {x, x} = {1, 2}
    ** (MatchError) no match of right hand side value: {1, 2}

The underscore variable (`_`) has a special meaning as it can never be bound to any value. It is especially useful when you don't care about certain value in a pattern:

    iex> {_, integer} = {:not_important, 1}
    {:not_important, 1}
    iex> integer
    1
    iex> _
    ** (CompileError) iex:3: invalid use of _

### Literals (numbers and atoms)

Atoms and numbers (integers and floats) can appear in patterns and they are always represented as is. For example, an atom will only match an atom if they are the same atom:

    iex> :atom = :atom
    :atom
    iex> :atom = :another_atom
    ** (MatchError) no match of right hand side value: :another_atom

Similar rule applies to numbers. Finally, note that numbers in patterns perform strict comparison. In other words, integers to do not match floats:

    iex> 1 = 1.0
    ** (MatchError) no match of right hand side value: 1.0

### Tuples

Tuples may appear in patterns using the curly brackets syntax (`{}`). A tuple in a pattern will match only tuples of the same size, where each individual tuple element must also match:

    iex> {:ok, integer} = {:ok, 13}
    {:ok, 13}

    # won't match due to different size
    iex> {:ok, integer} = {:ok, 11, 13}
    ** (MatchError) no match of right hand side value: {:ok, 11, 13}

    # won't match due to mismatch on first element
    iex> {:ok, binary} = {:error, :enoent}
    ** (MatchError) no match of right hand side value: {:error, :enoent}

### Lists

Lists may appear in patterns using the square brackets syntax (`[]`). A list in a pattern will match only lists of the same size, where each individual list element must also match:

    iex> [:ok, integer] = [:ok, 13]
    [:ok, 13]

    # won't match due to different size
    iex> [:ok, integer] = [:ok, 11, 13]
    ** (MatchError) no match of right hand side value: [:ok, 11, 13]

    # won't match due to mismatch on first element
    iex> [:ok, binary] = [:error, :enoent]
    ** (MatchError) no match of right hand side value: [:error, :enoent]

Opposite to tuples, lists also allow matching on non-empty lists by using the `[head | tail]` notation, which matches on the `head` and `tail` of a list:

    iex> [head | tail] = [1, 2, 3]
    [1, 2, 3]
    iex> head
    1
    iex> tail
    [2, 3]

Multiple elements may prefix the `| tail` construct:

    iex> [first, second | tail] = [1, 2, 3]
    [1, 2, 3]
    iex> tail
    [3]

Note `[head | tail]` does not match empty lists:

    iex> [head | tail] = []
    ** (MatchError) no match of right hand side value: []

Given charlists are represented as a list of integers, one can also perform prefix matches on charlists using the list concatenation operator (`++`):

    iex> ~c"hello " ++ world = ~c"hello world"
    ~c"hello world"
    iex> world
    ~c"world"

Which is equivalent to matching on `[?h, ?e, ?l, ?l, ?o, ?\s | world]`. Suffix matches (`hello ++ ~c" world"`) are not valid patterns.

### Maps

Maps may appear in patterns using the percentage sign followed by the curly brackets syntax (`%{}`). Opposite to lists and tuples, maps perform a subset match. This means a map pattern will match any other map that has at least all of the keys in the pattern.

Here is an example where all keys match:

    iex> %{name: name} = %{name: "meg"}
    %{name: "meg"}
    iex> name
    "meg"

Here is when a subset of the keys match:

    iex> %{name: name} = %{name: "meg", age: 23}
    %{age: 23, name: "meg"}
    iex> name
    "meg"

If a key in the pattern is not available in the map, then they won't match:

    iex> %{name: name, age: age} = %{name: "meg"}
    ** (MatchError) no match of right hand side value: %{name: "meg"}

Note that the empty map will match all maps, which is a contrast to tuples and lists, where an empty tuple or an empty list will only match empty tuples and empty lists respectively:

    iex> %{} = %{name: "meg"}
    %{name: "meg"}

Finally, note map keys in patterns must always be literals or previously bound variables matched with the pin operator.

### Structs

Structs may appear in patterns using the percentage sign, the struct module name or a variable followed by the curly brackets syntax (`%{}`).

Given the following struct:

    defmodule User do
      defstruct [:name]
    end

Here is an example where all keys match:

    iex> %User{name: name} = %User{name: "meg"}
    %User{name: "meg"}
    iex> name
    "meg"

If an unknown key is given, the compiler will raise an error:

    iex> %User{type: type} = %User{name: "meg"}
    ** (CompileError) iex: unknown key :type for struct User

The struct name can be extracted when putting a variable instead of a module name:

    iex> %struct_name{} = %User{name: "meg"}
    %User{name: "meg"}
    iex> struct_name
    User

### Binaries

Binaries may appear in patterns using the double less-than/greater-than syntax (`<<>>`). A binary in a pattern can match multiple segments at the same time, each with different type, size, and unit:

    iex> <<val::unit(8)-size(2)-integer>> = <<123, 56>>
    "{8"
    iex> val
    31544

See the documentation for `<<>>` for a complete definition of pattern matching for binaries.

Finally, remember that strings in Elixir are UTF-8 encoded binaries. This means that, similar to charlists, prefix matches on strings are also possible with the binary concatenation operator (`<>`):

    iex> "hello " <> world = "hello world"
    "hello world"
    iex> world
    "world"

Suffix matches (`hello <> " world"`) are not valid patterns.

## Guards

Guards are a way to augment pattern matching with more complex checks. They are allowed in a predefined set of constructs where pattern matching is allowed, such as function definitions, case clauses, and others.

Not all expressions are allowed in guard clauses, but only a handful of them. This is a deliberate choice. This way, Elixir (and Erlang) can make sure that nothing bad happens while executing guards and no mutations happen anywhere. It also allows the compiler to optimize the code related to guards efficiently.

### List of allowed functions and operators

You can find the built-in list of guards in the `Kernel` module. Here is an overview:

- comparison operators (`==`, `!=`, `===`, `!==`, `<`, `<=`, `>`, `>=`)
- strictly boolean operators (`and`, `or`, `not`). Note `&&`, `||`, and `!` sibling operators are not allowed as they're not strictly boolean - meaning they don't require arguments to be booleans
- arithmetic unary operators (`+`, `-`)
- arithmetic binary operators (`+`, `-`, `*`, `/`)
- `in` and `not in` operators (as long as the right-hand side is a list or a range)
- "type-check" functions (`is_list/1`, `is_number/1`, and the like)
- functions that work on built-in datatypes (`abs/1`, `hd/1`, `map_size/1`, and others)
- the `map.field` syntax

The module `Bitwise` also includes a handful of Erlang bitwise operations as guards.

Macros constructed out of any combination of the above guards are also valid guards - for example, `Integer.is_even/1`. For more information, see the "Custom patterns and guards expressions" section shown below.

### Why guards

Let's see an example of a guard used in a function clause:

    def empty_map?(map) when map_size(map) == 0, do: true
    def empty_map?(map) when is_map(map), do: false

Guards start with the `when` operator, followed by a guard expression. The clause will be executed if and only if the guard expression returns `true`. Multiple boolean conditions can be combined with the `and` and `or` operators.

Writing the `empty_map?/1` function by only using pattern matching would not be possible (as pattern matching on `%{}` would match any map, not only the empty ones).

### Non-passing guards

A function clause will be executed if and only if its guard expression evaluates to `true`. If any other value is returned, the function clause will be skipped. In particular, guards have no concept of "truthy" or "falsy".

For example, imagine a function that checks that the head of a list is not `nil`:

    def not_nil_head?([head | _]) when head, do: true
    def not_nil_head?(_), do: false

    not_nil_head?(["some_value", "another_value"])
    #=> false

Even though the head of the list is not `nil`, the first clause for `not_nil_head?/1` fails because the expression does not evaluate to `true`, but to `"some_value"`, therefore triggering the second clause which returns `false`. To make the guard behave correctly, you must ensure that the guard evaluates to `true`, like so:

    def not_nil_head?([head | _]) when head != nil, do: true
    def not_nil_head?(_), do: false

    not_nil_head?(["some_value", "another_value"])
    #=> true

### Errors in guards

In guards, when functions would normally raise exceptions, they cause the guard to fail instead.

For example, the `tuple_size/1` function only works with tuples. If we use it with anything else, an argument error is raised:

    iex> tuple_size("hello")
    ** (ArgumentError) argument error

However, when used in guards, the corresponding clause will fail to match instead of raising an error:

    iex> case "hello" do
    ...>   something when tuple_size(something) == 2 ->
    ...>     :worked
    ...>   _anything_else ->
    ...>     :failed
    ...> end
    :failed

In many cases, we can take advantage of this. In the code above, we used `tuple_size/1` to both check that the given value is a tuple and check its size (instead of using `is_tuple(something) and tuple_size(something) == 2`).

However, if your guard has multiple conditions, such as checking for tuples or maps, it is best to call type-check functions like `is_tuple/1` before `tuple_size/1`, otherwise the whole guard will fail if a tuple is not given. Alternatively, your function clause can use multiple guards as shown in the following section.

### Multiple guards in the same clause

There exists an additional way to simplify a chain of `or` expressions in guards: Elixir supports writing "multiple guards" in the same clause. The following code:

    def is_number_or_nil(term) when is_integer(term) or is_float(term) or is_nil(term),
      do: :maybe_number
    def is_number_or_nil(_other),
      do: :something_else

can be alternatively written as:

    def is_number_or_nil(term)
        when is_integer(term)
        when is_float(term)
        when is_nil(term) do
      :maybe_number
    end

    def is_number_or_nil(_other) do
      :something_else
    end

If each guard expression always returns a boolean, the two forms are equivalent. However, recall that if any function call in a guard raises an exception, the entire guard fails. To illustrate this, the following function will not detect empty tuples:

    defmodule Check do
      # If given a tuple, map_size/1 will raise, and tuple_size/1 will not be evaluated
      def empty?(val) when map_size(val) == 0 or tuple_size(val) == 0, do: true
      def empty?(_val), do: false
    end

    Check.empty?(%{})
    #=> true

    Check.empty?({})
    #=> false # true was expected!

This could be corrected by ensuring that no exception is raised, either via type checks like `is_map(val) and map_size(val) == 0`, or by using multiple guards, so that if an exception causes one guard to fail, the next one is evaluated.

    defmodule Check do
      # If given a tuple, map_size/1 will raise, and the second guard will be evaluated
      def empty?(val)
          when map_size(val) == 0
          when tuple_size(val) == 0,
          do: true

      def empty?(_val), do: false
    end

    Check.empty?(%{})
    #=> true

    Check.empty?({})
    #=> true

## Where patterns and guards can be used

In the examples above, we have used the match operator (`=`) and function clauses to showcase patterns and guards respectively. Here is the list of the built-in constructs in Elixir that support patterns and guards.

- `match?/2`:

      match?({:ok, value} when value > 0, {:ok, 13})

- function clauses:

      def type(term) when is_integer(term), do: :integer
      def type(term) when is_float(term), do: :float

- `case` expressions:

      case x do
        1 -> :one
        2 -> :two
        n when is_integer(n) and n > 2 -> :larger_than_two
      end

- anonymous functions (`fn/1`):

      larger_than_two? = fn
        n when is_integer(n) and n > 2 -> true
        n when is_integer(n) -> false
      end

- `for` and `with` support patterns and guards on the left side of `<-`:

      for x when x >= 0 <- [1, -2, 3, -4], do: x

  `with` also supports the `else` keyword, which supports patterns matching and guards.

- `try` supports patterns and guards on `catch` and `else`

- `receive` supports patterns and guards to match on the received messages.

- custom guards can also be defined with `defguard/1` and `defguardp/1`. A custom guard can only be defined based on existing guards.

Note that the match operator (`=`) does not support guards:

    {:ok, binary} = File.read("some/file")

## Custom patterns and guards expressions

Only the constructs listed in this page are allowed in patterns and guards. However, we can take advantage of macros to write custom patterns guards that can simplify our programs or make them more domain-specific. At the end of the day, what matters is that the output of the macros boils down to a combination of the constructs above.

For example, the `Record` module in Elixir provides a series of macros to be used in patterns and guards that allows tuples to have named fields during compilation.

For defining your own guards, Elixir even provides conveniences in `defguard` and `defguardp`. Let's look at a quick case study: we want to check whether an argument is an even or an odd integer. With pattern matching this is impossible because there is an infinite number of integers, and therefore we can't pattern match on every single one of them. Therefore we must use guards. We will just focus on checking for even numbers since checking for the odd ones is almost identical.

Such a guard would look like this:

    def my_function(number) when is_integer(number) and rem(number, 2) == 0 do
      # do stuff
    end

It would be repetitive to write every time we need this check. Instead, you can use `defguard/1` and `defguardp/1` to create guard macros. Here's an example how:

    defmodule MyInteger do
      defguard is_even(term) when is_integer(term) and rem(term, 2) == 0
    end

and then:

    import MyInteger, only: [is_even: 1]

    def my_function(number) when is_even(number) do
      # do stuff
    end

While it's possible to create custom guards with macros, it's recommended to define them using `defguard/1` and `defguardp/1` which perform additional compile-time checks.

← Previous Page Operators reference
Next Page → Syntax reference