Getting started
Hello world
# hello.exs
defmodule Greeter do
def greet(name) do
message = "Hello, " <> name <> "!"
IO.puts message
end
end
Greeter.greet("world")
elixir hello.exs
# Hello, world!
Variables
age = 23
Maps
user = %{
name: "John",
city: "Melbourne"
}
IO.puts "Hello, " <> user.name
Lists
users = [ "Tom", "Dick", "Harry" ]
Enum.map(users, fn user ->
IO.puts "Hello " <> user
end)
Piping
source
|> transform(:hello)
|> print()
# Same as:
print(transform(source, :hello))
These two are equivalent.
Pattern matching
user = %{name: "Tom", age: 23}
%{name: username} = user
This sets username
to "Tom"
.
Pattern matching in functions
def greet(%{name: username}) do
IO.puts "Hello, " <> username
end
user = %{name: "Tom", age: 23}
Pattern matching works in function parameters too.
Control flow
If
if false do
"This will never be seen"
else
"This will"
end
Case
case {1, 2, 3} do
{4, 5, 6} ->
"This clause won't match"
{1, x, 3} ->
"This will match and bind x to 2"
_ ->
"This will match any value"
end
Cond
cond do
1 + 1 == 3 ->
"I will never be seen"
2 * 5 == 12 ->
"Me neither"
true ->
"But I will (this is essentially an else)"
end
Errors
try do
throw(:hello)
catch
message -> "Got #{message}."
after
IO.puts("I'm the after clause.")
end
Types
Primitives
Sample | Type |
---|---|
nil |
Nil/null |
true / false |
Boolean |
?a |
Integer (ASCII) |
23 |
Integer |
3.14 |
Float |
'hello' |
Charlist |
<<2, 3>> |
Binary |
"hello" |
Binary string |
:hello |
Atom |
[a, b] |
List |
{a, b} |
Tuple |
%{a: "hello"} |
Map |
%MyStruct{a: "hello"} |
Struct |
fn -> ... end |
Function |
Type checks
is_atom/1
is_bitstring/1
is_boolean/1
is_function/1
is_function/2
is_integer/1
is_float/1
is_binary/1
is_list/1
is_map/1
is_tuple/1
is_nil/1
is_number/1
is_pid/1
is_port/1
is_reference/1
Operators
left != right # equal
left !== right # match
left ++ right # concat lists
left <> right # concat string/binary
left =~ right # regexp
Modules
Importing
require Redux # compiles a module
import Redux # compiles, and you can use without the `Redux.` prefix
use Redux # compiles, and runs Redux.__using__/1
use Redux, async: true
import Redux, only: [duplicate: 2]
import Redux, only: :functions
import Redux, only: :macros
import Foo.{Bar, Baz}
Aliases
alias Foo.Bar, as: Bar
alias Foo.Bar # same as above
alias Foo.{Bar, Baz}
String
Functions
import String
str = "hello"
str |> length() # → 5
str |> codepoints() # → ["h", "e", "l", "l", "o"]
str |> slice(2..-1) # → "llo"
str |> split(" ") # → ["hello"]
str |> capitalize() # → "Hello"
str |> match(regex)
Inspecting objects
inspect(object, opts \\ [])
value |> IO.inspect()
value |> IO.inspect(label: "value")
Numbers
Operations
abs(n)
round(n)
rem(a, b) # remainder (modulo)
div(a, b) # integer division
Float
import Float
n = 10.3
n |> ceil() # → 11.0
n |> ceil(2) # → 11.30
n |> to_string() # → "1.030000+e01"
n |> to_string([decimals: 2, compact: true])
Float.parse("34") # → { 34.0, "" }
Integer
import Integer
n = 12
n |> digits() # → [1, 2]
n |> to_charlist() # → '12'
n |> to_string() # → "12"
n |> is_even()
n |> is_odd()
# Different base:
n |> digits(2) # → [1, 1, 0, 0]
n |> to_charlist(2) # → '1100'
n |> to_string(2) # → "1100"
parse("12") # → {12, ""}
undigits([1, 2]) # → 12
Type casting
Float.parse("34.1") # → {34.1, ""}
Integer.parse("34") # → {34, ""}
Float.to_string(34.1) # → "3.4100e+01"
Float.to_string(34.1, [decimals: 2, compact: true]) # → "34.1"
Map
Defining
m = %{name: "hi"} # atom keys (:name)
m = %{"name" => "hi"} # string keys ("name")
Updating
import Map
m = %{m | name: "yo"} # key must exist
m |> put(:id, 2) # → %{id: 2, name: "hi"}
m |> put_new(:id, 2) # only if `id` doesn't exist (`||=`)
m |> put(:b, "Banana")
m |> merge(%{b: "Banana"})
m |> update(:a, &(&1 + 1))
m |> update(:a, fun a -> a + 1 end)
m |> get_and_update(:a, &(&1 || "default"))
# → {old, new}
Deleting
m |> delete(:name) # → %{}
m |> pop(:name) # → {"John", %{}}
Reading
m |> get(:id) # → 1
m |> keys() # → [:id, :name]
m |> values() # → [1, "hi"]
m |> to_list() # → [id: 1, name: "hi"]
# → [{:id, 1}, {:name, "hi"}]
Deep
put_in(map, [:b, :c], "Banana")
put_in(map[:b][:c], "Banana") # via macros
get_and_update_in(users, ["john", :age], &{&1, &1 + 1})
Constructing from lists
Map.new([{:b, 1}, {:a, 2}])
Map.new([a: 1, b: 2])
Map.new([:a, :b], fn x -> {x, x} end) # → %{a: :a, b: :b}
List
import List
l = [ 1, 2, 3, 4 ]
l = l ++ [5] # push (append)
l = [ 0 | list ] # unshift (prepend)
l |> first()
l |> last()
l |> flatten()
l |> flatten(tail)
Also see Enum.
Enum
Usage
import Enum
list = [:a, :b, :c]
list |> at(0) # → :a
list |> count() # → 3
list |> empty?() # → false
list |> any?() # → true
list |> concat([:d]) # → [:a, :b, :c, :d]
Also, consider streams instead.
Map/reduce
list |> reduce(fn)
list |> reduce(acc, fn)
list |> map(fn)
list |> reject(fn)
list |> any?(fn)
list |> empty?(fn)
[1, 2, 3, 4]
|> Enum.reduce(0, fn(x, acc) -> x + acc end)
Tuple
Tuples
import Tuple
t = { :a, :b }
t |> elem(1) # like tuple[1]
t |> put_elem(index, value)
t |> tuple_size()
Keyword lists
list = [{ :name, "John" }, { :age, 15 }]
list[:name]
# For string-keyed keyword lists
list = [{"size", 2}, {"type", "shoe"}]
List.keyfind(list, "size", 0) # → {"size", 2}
Functions
Lambdas
square = fn n -> n*n end
square.(20)
& syntax
square = &(&1 * &1)
square.(20)
square = &Math.square/1
Running
fun.(args)
apply(fun, args)
apply(module, fun, args)
Function heads
def join(a, b \\ nil)
def join(a, b) when is_nil(b) do: a
def join(a, b) do: a <> b
Structs
Structs
defmodule User do
defstruct name: "", age: nil
end
%User{name: "John", age: 20}
%User{}.struct # → User
See: Structs
Protocols
Defining protocols
defprotocol Blank do
@doc "Returns true if data is considered blank/empty"
def blank?(data)
end
defimpl Blank, for: List do
def blank?([]), do: true
def blank?(_), do: false
end
Blank.blank?([]) # → true
Any
defimpl Blank, for: Any do ... end
defmodule User do
@derive Blank # Falls back to Any
defstruct name: ""
end
Examples
Enumerable
andEnum.map()
Inspect
andinspect()
Comprehensions
For
for n <- [1, 2, 3, 4], do: n * n
for n <- 1..4, do: n * n
for {key, val} <- %{a: 10, b: 20}, do: val
# → [10, 20]
for {key, val} <- %{a: 10, b: 20}, into: %{}, do: {key, val*val}
Conditions
for n <- 1..10, rem(n, 2) == 0, do: n
# → [2, 4, 6, 8, 10]
Complex
for dir <- dirs,
file <- File.ls!(dir), # nested comprehension
path = Path.join(dir, file), # invoked
File.regular?(path) do # condition
IO.puts(file)
end
Misc
Metaprogramming
__MODULE__
__MODULE__.__info__
@after_compile __MODULE__
def __before_compile__(env)
def __after_compile__(env, _bytecode)
def __using__(opts) # invoked on `use`
@on_definition {__MODULE__, :on_def}
def on_def(_env, kind, name, args, guards, body)
@on_load :load_check
def load_check
Regexp
exp = ~r/hello/
exp = ~r/hello/i
"hello world" =~ exp
Sigils
~r/regexp/
~w(list of strings)
~s|strings with #{interpolation} and \x20 escape codes|
~S|no interpolation and no escapes|
~c(charlist)
Allowed chars: /
|
"
'
(
[
{
<
"""
.
See: Sigils
Type specs
@spec round(number) :: integer
@type number_with_remark :: {number, String.t}
@spec add(number, number) :: number_with_remark
Useful for dialyzer. See: Typespecs
Behaviours
defmodule Parser do
@callback parse(String.t) :: any
@callback extensions() :: [String.t]
end
defmodule JSONParser do
@behaviour Parser
def parse(str), do: # ... parse JSON
def extensions, do: ["json"]
end
See: Module