maps (stdlib v6.2.1)
View SourceMaps processing functions.
This module contains functions for maps processing. The Efficiency Guide contains a chapter that describes how to use maps efficiently.
Summary
Types
An iterator representing the associations in a map with keys of type Key
and
values of type Value
.
Key-based iterator order option that can be one of undefined
(default for
maps:iterator/1
), ordered
(sorted in map-key order),
reversed
(sorted in reverse map-key order), or a custom sorting function.
Functions
Returns a map Map
where each key-value pair from MapOrIter
satisfies
the predicate Pred(Key, Value)
.
Calls Fun(Key, Value1)
on each key-value pair of MapOrIter
to
update or remove associations from MapOrIter
.
Returns a tuple {ok, Value}
, where Value
is the value associated with Key
,
or error
if no value is associated with Key
in Map
.
Calls Fun(Key, Value, AccIn)
for every Key
to value Value
association in
MapOrIter
, starting with AccIn
bound to Acc0
.
Calls Fun(Key, Value)
for every Key
to Value
association in
MapOrIter
.
Takes a list of keys and a value and builds a map where all keys are associated with the same value.
Takes a list of key-value tuples and builds a map.
Returns value Value
associated with Key
if Map
contains Key
.
Returns the value associated with key Key
in Map
, or Default
if
Key
is not present in the map.
Partitions the given List
into a map of groups.
Partitions the given List
into a map of groups.
Computes the intersection of maps Map1
and Map2
, producing a
single map Map3
.
Computes the intersection of maps Map1
and Map2
, producing a
single map Map3
, where values having the same key are combined using
the Combiner
fun.
Returns true
if map Map
contains Key
; otherwise, returns false
.
Returns a map iterator Iterator
that can be used by maps:next/1
to traverse the key-value associations in a map.
Returns a map iterator Iterator
that can be used by maps:next/1
to traverse the key-value associations in a map sorted by key using the given
Order
.
Returns a complete list of keys contained in Map
, in any order.
Produces a new map Map
by calling function Fun(Key, Value1)
for every
Key
to value Value1
association in MapOrIter
.
Merges maps Map1
and Map2
into a single map Map3
, where values
from Map2
override those from Map1
for duplicate keys.
Merges maps Map1
and Map2
into a single map Map3
, combining values for
duplicate keys using the Combiner
fun.
Returns a new empty map.
Returns the next key-value association in Iterator
and a new iterator for the
remaining associations in the iterator.
Associates Key
with Value
in Map1, replacing any existing value, and
returns a new map Map2
with the updated association alongside the
original entries from Map1
.
Removes Key
and its associated value from Map1
, if it exists, and
returns a new map Map2
without Key
.
Returns the number of key-value associations in Map
.
Removes Key
and its associated value from Map1
, if it exists,
returning a tuple with the removed value Value
and the new map
Map2
; otherwise, returns error.
Returns a list of pairs representing the key-value associations of
MapOrIterator
.
If Key
exists in Map1
, its value is replaced with Value
, and the
function returns a new map Map2
with the updated association.
Updates a value in a Map1
associated with Key
by calling Fun
on the old
value to produce a new value.
Updates the value in Map1
for Key
by applying Fun
to the old value or
using Init
if Key
is not present in the map.
Returns a complete list of values contained in map Map
, in any order.
Returns a new map Map2
with the keys K1
through Kn
and their associated
values from map Map1
.
Returns a new map Map2
without keys K1
through Kn
and their associated
values from map Map1
.
Types
-opaque iterator(Key, Value)
An iterator representing the associations in a map with keys of type Key
and
values of type Value
.
Created using maps:iterator/1
or
maps:iterator/2
.
Consumed by:
-type iterator_order() :: iterator_order(term()).
-type iterator_order(Key) :: undefined | ordered | reversed | fun((A :: Key, B :: Key) -> boolean()).
Key-based iterator order option that can be one of undefined
(default for
maps:iterator/1
), ordered
(sorted in map-key order),
reversed
(sorted in reverse map-key order), or a custom sorting function.
Used by maps:iterator/2
.
The Expressions section contains descriptions of how terms are ordered.
Functions
-spec filter(Pred, MapOrIter) -> Map when Pred :: fun((Key, Value) -> boolean()), MapOrIter :: #{Key => Value} | iterator(Key, Value), Map :: #{Key => Value}.
Returns a map Map
where each key-value pair from MapOrIter
satisfies
the predicate Pred(Key, Value)
.
Unless MapOrIter
is an ordered iterator returned by iterator/2
,
the order of the Pred(Key, Value)
calls is not defined.
The call fails with a {badmap,Map}
exception if MapOrIter
is not a map or
valid iterator, or with badarg
if Pred
is not a function of arity 2.
Examples
> M = #{a => 2, b => 3, "a" => 1, "b" => 2}.
> Pred = fun(K, V) -> is_atom(K) andalso V rem 2 =:= 0 end.
> maps:filter(Pred, M).
#{a => 2}
-spec filtermap(Fun, MapOrIter) -> Map when Fun :: fun((Key, Value1) -> boolean() | {true, Value2}), MapOrIter :: #{Key => Value1} | iterator(Key, Value1), Map :: #{Key => Value1 | Value2}.
Calls Fun(Key, Value1)
on each key-value pair of MapOrIter
to
update or remove associations from MapOrIter
.
If Fun(Key, Value1)
returns true
, the association is copied to the result
map. If it returns false
, the association is not copied. If it returns
{true, NewValue}
, the value for Key
is replaced with NewValue
in the
result map.
Unless MapOrIter
is an ordered iterator returned by iterator/2
,
the order of the Fun(Key, Value1)
calls is not defined.
The call fails with a {badmap,Map}
exception if MapOrIter
is not a map or
valid iterator, or with badarg
if Fun
is not a function of arity 2.
Examples
> Fun = fun(K, V) when is_atom(K) -> {true, V*2};
(_, V) -> V rem 2 =:= 0
end.
> Map = #{k1 => 1, "k2" => 2, "k3" => 3}.
> maps:filtermap(Fun, Map).
#{k1 => 2,"k2" => 2}
-spec find(Key, Map) -> {ok, Value} | error when Map :: #{Key => Value, _ => _}.
Returns a tuple {ok, Value}
, where Value
is the value associated with Key
,
or error
if no value is associated with Key
in Map
.
The call fails with a {badmap,Map}
exception if Map
is not a map.
Examples
> Map = #{"hi" => 42}.
> Key = "hi".
> maps:find(Key, Map).
{ok,42}
-spec fold(Fun, Init, MapOrIter) -> Acc when Fun :: fun((Key, Value, AccIn) -> AccOut), Init :: term(), Acc :: AccOut, AccIn :: Init | AccOut, MapOrIter :: #{Key => Value} | iterator(Key, Value).
Calls Fun(Key, Value, AccIn)
for every Key
to value Value
association in
MapOrIter
, starting with AccIn
bound to Acc0
.
The Fun/3
fun must return a new accumulator, which is passed to the
next call. The function returns the final value of the
accumulator. The initial accumulator value Init
is returned if the
map is empty.
Unless MapOrIter
is an ordered iterator returned by iterator/2
,
the order of the Fun(Key, Value, AccIn)
calls is not defined.
The call fails with a {badmap,Map}
exception if MapOrIter
is not a
map or valid iterator, or with badarg
if Fun
is not a function of
arity 3.
Examples
> Fun = fun(K, V, AccIn) -> AccIn + V end.
> Map = #{k1 => 1, k2 => 2, k3 => 3}.
> maps:fold(Fun, 0, Map).
6
-spec foreach(Fun, MapOrIter) -> ok when Fun :: fun((Key, Value) -> term()), MapOrIter :: #{Key => Value} | iterator(Key, Value).
Calls Fun(Key, Value)
for every Key
to Value
association in
MapOrIter
.
Unless MapOrIter
is an ordered iterator returned by iterator/2
,
the order of the Fun(Key, Value)
calls is not defined.
The call fails with a {badmap,Map}
exception if MapOrIter
is not a map or
valid iterator, or with badarg
if Fun
is not a function of arity 2.
Examples
> Fun = fun(K, V) -> self() ! {K,V} end.
> Map = #{p => 1, q => 2,x => 10, y => 20, z => 30}.
> maps:foreach(Fun, maps:iterator(Map, ordered)).
ok
> [receive X -> X end || _ <- [1,2,3,4,5]].
[{p,1},{q,2},{x,10},{y,20},{z,30}]
Takes a list of keys and a value and builds a map where all keys are associated with the same value.
Examples
> Keys = ["a", "b", "c"].
> maps:from_keys(Keys, ok).
#{"a" => ok,"b" => ok,"c" => ok}
-spec from_list(List) -> Map when List :: [{Key, Value}], Key :: term(), Value :: term(), Map :: map().
Takes a list of key-value tuples and builds a map.
If the same key appears more than once, the last (rightmost) value is used, and previous values are ignored.
Examples
> List = [{"a",ignored},{1337,"value two"},{42,value_three},{"a",1}].
> maps:from_list(List).
#{42 => value_three,1337 => "value two","a" => 1}
Returns value Value
associated with Key
if Map
contains Key
.
The call fails with a {badmap,Map}
exception if Map
is not a map, or with a
{badkey,Key}
exception if no value is associated with Key
.
Examples
> Key = 1337.
> Map = #{42 => value_two,1337 => "value one","a" => 1}.
> maps:get(Key, Map).
"value one"
-spec get(Key, Map, Default) -> Value | Default when Map :: #{Key => Value, _ => _}.
Returns the value associated with key Key
in Map
, or Default
if
Key
is not present in the map.
The call fails with a {badmap,Map}
exception if Map
is not a map.
Examples
> Map = #{key1 => val1, key2 => val2}.
#{key1 => val1,key2 => val2}
> maps:get(key1, Map, "Default value").
val1
> maps:get(key3, Map, "Default value").
"Default value"
-spec groups_from_list(KeyFun, List) -> GroupsMap when KeyFun :: fun((Elem) -> Key), GroupsMap :: #{Key => Group}, Key :: term(), List :: [Elem], Group :: [Elem], Elem :: term().
Partitions the given List
into a map of groups.
The result is a map where each key is given by KeyFun
and each value is a list
of elements from the given List
for which KeyFun
returned the same key.
The order of elements within each group list is preserved from the original list.
Examples
> EvenOdd = fun(X) when X rem 2 =:= 0 -> even;
(_) -> odd
end.
> maps:groups_from_list(EvenOdd, [1, 2, 3]).
#{even => [2], odd => [1, 3]}
> maps:groups_from_list(fun length/1, ["ant", "buffalo", "cat", "dingo"]).
#{3 => ["ant", "cat"], 5 => ["dingo"], 7 => ["buffalo"]}
-spec groups_from_list(KeyFun, ValueFun, List) -> GroupsMap when KeyFun :: fun((Elem) -> Key), ValueFun :: fun((Elem) -> Value), GroupsMap :: #{Key := Group}, Key :: term(), Value :: term(), List :: [Elem], Group :: [Value], Elem :: term().
Partitions the given List
into a map of groups.
The result is a map where each key is given by KeyFun
and each value is a list
of elements from the given List
, mapped via ValueFun
, for which KeyFun
returned the same key.
The order of elements within each group list is preserved from the original list.
Examples
> EvenOdd = fun(X) -> case X rem 2 of 0 -> even; 1 -> odd end end.
> Square = fun(X) -> X * X end.
> maps:groups_from_list(EvenOdd, Square, [1, 2, 3]).
#{even => [4], odd => [1, 9]}
> maps:groups_from_list(
fun length/1,
fun lists:reverse/1,
["ant", "buffalo", "cat", "dingo"]).
#{3 => ["tna", "tac"],5 => ["ognid"],7 => ["olaffub"]}
-spec intersect(Map1, Map2) -> Map3 when Map1 :: #{Key => term()}, Map2 :: #{term() => Value2}, Map3 :: #{Key => Value2}.
Computes the intersection of maps Map1
and Map2
, producing a
single map Map3
.
If a key exists in both maps, the value in Map1
is superseded by the
value in Map2
. Keys existing in only one of the maps are discarded
along with their values.
The call fails with a {badmap,Map}
exception if Map1
or Map2
is not a map.
Examples
> Map1 = #{a => "one", b => "two"}.
> Map2 = #{a => 1, c => 3}.
> maps:intersect(Map1, Map2).
#{a => 1}
-spec intersect_with(Combiner, Map1, Map2) -> Map3 when Map1 :: #{Key => Value1}, Map2 :: #{term() => Value2}, Combiner :: fun((Key, Value1, Value2) -> CombineResult), Map3 :: #{Key => CombineResult}.
Computes the intersection of maps Map1
and Map2
, producing a
single map Map3
, where values having the same key are combined using
the Combiner
fun.
When Combiner
is applied, the key that exists in both maps is the
first parameter, the value from Map1
is the second parameter, and
the value from Map2
is the third parameter.
The call fails with a {badmap,Map}
exception if Map1
or Map2
is not a map.
The call fails with a badarg
exception if Combiner
is not a fun that takes
three arguments.
Examples
> Map1 = #{a => "one", b => "two"}.
> Map2 = #{a => 1, c => 3}.
> maps:intersect_with(fun(_Key, Val1, Val2) -> {Val1, Val2} end, Map1, Map2).
#{a => {"one",1}}
Returns true
if map Map
contains Key
; otherwise, returns false
.
The call fails with a {badmap,Map}
exception if Map
is not a map.
Examples
> Map = #{"42" => value}.
#{"42" => value}
> maps:is_key("42", Map).
true
> maps:is_key(value, Map).
false
-spec iterator(Map) -> Iterator when Map :: #{Key => Value}, Iterator :: iterator(Key, Value).
Returns a map iterator Iterator
that can be used by maps:next/1
to traverse the key-value associations in a map.
The order of iteration is undefined. When iterating over a map, the memory usage is guaranteed to be bounded no matter the size of the map.
The call fails with a {badmap,Map}
exception if Map
is not a map.
Examples
> M = #{ "foo" => 1, "bar" => 2 }.
#{"foo" => 1,"bar" => 2}
> I = maps:iterator(M).
> {K1, V1, I2} = maps:next(I), {K1, V1}.
{"bar",2}
> {K2, V2, I3} = maps:next(I2),{K2, V2}.
{"foo",1}
> maps:next(I3).
none
-spec iterator(Map, Order) -> Iterator when Map :: #{Key => Value}, Order :: iterator_order(Key), Iterator :: iterator(Key, Value).
Returns a map iterator Iterator
that can be used by maps:next/1
to traverse the key-value associations in a map sorted by key using the given
Order
.
The call fails with a {badmap,Map}
exception if Map
is not a map, or
with a badarg
exception if Order
is invalid.
Examples
Ordered iterator:
> M = #{a => 1, b => 2}.
> OrdI = maps:iterator(M, ordered).
> {K1, V1, OrdI2} = maps:next(OrdI), {K1, V1}.
{a,1}
> {K2, V2, OrdI3} = maps:next(OrdI2),{K2, V2}.
{b,2}
> maps:next(OrdI3).
none
Iterator ordered in reverse:
> M = #{a => 1, b => 2}.
> RevI = maps:iterator(M, reversed).
> {K2, V2, RevI2} = maps:next(RevI), {K2, V2}.
{b,2}
> {K1, V1, RevI3} = maps:next(RevI2),{K1, V1}.
{a,1}
> maps:next(RevI3).
none
> maps:to_list(RevI).
[{b,2},{a,1}]
Using a custom ordering function that orders binaries by size:
> M = #{<<"abcde">> => d, <<"y">> => b, <<"x">> => a, <<"pqr">> => c}.
> SizeI = fun(A, B) when byte_size(A) < byte_size(B) -> true;
(A, B) when byte_size(A) > byte_size(B) -> false;
(A, B) -> A =< B
end.
> SizeOrdI = maps:iterator(M, SizeI).
> maps:to_list(SizeOrdI).
[{<<"x">>,a},{<<"y">>,b},{<<"pqr">>,c},{<<"abcde">>,d}]
-spec keys(Map) -> Keys when Map :: #{Key => _}, Keys :: [Key].
Returns a complete list of keys contained in Map
, in any order.
The call fails with a {badmap,Map}
exception if Map
is not a map.
Examples
> Map = #{42 => three,1337 => "two","a" => 1}.
> maps:keys(Map).
[42,1337,"a"]
-spec map(Fun, MapOrIter) -> Map when Fun :: fun((Key, Value1) -> Value2), MapOrIter :: #{Key => Value1} | iterator(Key, Value1), Map :: #{Key => Value2}.
Produces a new map Map
by calling function Fun(Key, Value1)
for every
Key
to value Value1
association in MapOrIter
.
The Fun/2
fun must return value Value2
to be associated with key
Key
for the new map Map
.
Unless MapOrIter
is an ordered iterator returned by iterator/2
,
the order of the Fun(Key, Value1)
calls is not defined.
The call fails with a {badmap,Map}
exception if MapOrIter
is not a map or
valid iterator, or with badarg
if Fun
is not a function of arity 2.
Examples
> Fun = fun(K,V1) when is_list(K) -> V1*2 end.
> Map = #{"k1" => 1, "k2" => 2, "k3" => 3}.
> maps:map(Fun, Map).
#{"k1" => 2,"k2" => 4,"k3" => 6}
Merges maps Map1
and Map2
into a single map Map3
, where values
from Map2
override those from Map1
for duplicate keys.
The call fails with a {badmap,Map}
exception if Map1
or Map2
is not a map.
Examples
> Map1 = #{a => "one", b => "two"}.
> Map2 = #{a => 1, c => 3}.
> maps:merge(Map1, Map2).
#{a => 1,b => "two",c => 3}
-spec merge_with(Combiner, Map1, Map2) -> Map3
when
Map1 :: #{Key1 => Value1},
Map2 :: #{Key2 => Value2},
Combiner :: fun((Key1, Value1, Value2) -> CombineResult),
Map3 :: #{Key1 => CombineResult, Key1 => Value1, Key2 => Value2}.
Merges maps Map1
and Map2
into a single map Map3
, combining values for
duplicate keys using the Combiner
fun.
When Combiner
is applied, the key that exists in both maps is the
first parameter, the value from Map1
is the second parameter, and
the value from Map2
is the third parameter.
The call fails with a {badmap,Map}
exception if Map1
or Map2
is not a map.
The call fails with a badarg
exception if Combiner
is not a fun that takes
three arguments.
Examples
> Map1 = #{a => 3, b => 5}.
> Map2 = #{a => 4, c => 17}.
> maps:merge_with(fun(_Key, Val1, Val2) -> Val1 + Val2 end, Map1, Map2).
#{a => 7,b => 5,c => 17}
-spec new() -> Map when Map :: #{}.
Returns a new empty map.
Examples
> maps:new().
#{}
-spec next(Iterator) -> {Key, Value, NextIterator} | none when Iterator :: iterator(Key, Value), NextIterator :: iterator(Key, Value).
Returns the next key-value association in Iterator
and a new iterator for the
remaining associations in the iterator.
If there are no more associations in the iterator, none
is returned.
Examples
> Map = #{a => 1, b => 2, c => 3}.
#{a => 1,b => 2,c => 3}
> I = maps:iterator(Map, ordered).
> {K1, V1, I1} = maps:next(I), {K1, V1}.
{a,1}
> {K2, V2, I2} = maps:next(I1), {K2, V2}.
{b,2}
> {K3, V3, I3} = maps:next(I2), {K3, V3}.
{c,3}
> maps:next(I3).
none
-spec put(Key, Value, Map1) -> Map2 when Key :: term(), Value :: term(), Map1 :: map(), Map2 :: map().
Associates Key
with Value
in Map1, replacing any existing value, and
returns a new map Map2
with the updated association alongside the
original entries from Map1
.
The call fails with a {badmap,Map}
exception if Map1
is not a map.
Examples
> Map = #{"a" => 1}.
#{"a" => 1}
> maps:put("a", 42, Map).
#{"a" => 42}
> maps:put("b", 1337, Map).
#{"a" => 1,"b" => 1337}
Removes Key
and its associated value from Map1
, if it exists, and
returns a new map Map2
without Key
.
The call fails with a {badmap,Map}
exception if Map1
is not a map.
Examples
> Map = #{"a" => 1}.
#{"a" => 1}
> maps:remove("a", Map).
#{}
> maps:remove("b", Map).
#{"a" => 1}
-spec size(Map) -> non_neg_integer() when Map :: map().
Returns the number of key-value associations in Map
.
This operation occurs in constant time.
Examples
> Map = #{42 => value_two,1337 => "value one","a" => 1}.
> maps:size(Map).
3
-spec take(Key, Map1) -> {Value, Map2} | error when Map1 :: #{Key => Value, _ => _}, Map2 :: #{_ => _}.
Removes Key
and its associated value from Map1
, if it exists,
returning a tuple with the removed value Value
and the new map
Map2
; otherwise, returns error.
The call will fail with a {badmap,Map}
exception if Map1
is not a map.
Example:
> Map = #{"a" => "hello", "b" => "world"}.
#{"a" => "hello", "b" => "world"}
> maps:take("a", Map).
{"hello",#{"b" => "world"}}
> maps:take("does not exist", Map).
error
-spec to_list(MapOrIterator) -> [{Key, Value}] when MapOrIterator :: #{Key => Value} | iterator(Key, Value).
Returns a list of pairs representing the key-value associations of
MapOrIterator
.
Unless MapOrIter
is an ordered iterator returned by iterator/2
,
the order of the {Key, Value}
tuples in the resulting list is not
defined.
The call fails with a {badmap,Map}
exception if MapOrIterator
is not a map
or an iterator obtained by a call to iterator/1
or iterator/2
.
Examples
> Map = #{42 => value_three,1337 => "value two","a" => 1}.
> maps:to_list(Map).
[{42,value_three},{1337,"value two"},{"a",1}]
Using an ordered iterator to return an ordered list:
> Map = #{z => 1, y => 2, x => 3}.
> maps:to_list(maps:iterator(Map, ordered)).
[{x,3},{y,2},{z,1}]
-spec update(Key, Value, Map1) -> Map2 when Map1 :: #{Key := _, _ => _}, Map2 :: #{Key := Value, _ => _}.
If Key
exists in Map1
, its value is replaced with Value
, and the
function returns a new map Map2
with the updated association.
The call fails with a {badmap,Map}
exception if Map1
is not a map, or with a
{badkey,Key}
exception if no value is associated with Key
.
Examples
> Map = #{"a" => 1}.
#{"a" => 1}
> maps:update("a", 42, Map).
#{"a" => 42}
-spec update_with(Key, Fun, Map1) -> Map2
when
Map1 :: #{Key := Value1, _ => _},
Map2 :: #{Key := Value2, _ => _},
Fun :: fun((Value1) -> Value2).
Updates a value in a Map1
associated with Key
by calling Fun
on the old
value to produce a new value.
The call fails with a {badkey,Key}
exception if Key
is not present
in the map.
Examples
> Map = #{counter => 1}.
> Fun = fun(V) -> V + 1 end.
> maps:update_with(counter, Fun, Map).
#{counter => 2}
-spec update_with(Key, Fun, Init, Map1) -> Map2
when
Map1 :: #{Key => Value1, _ => _},
Map2 :: #{Key := Value2 | Init, _ => _},
Fun :: fun((Value1) -> Value2).
Updates the value in Map1
for Key
by applying Fun
to the old value or
using Init
if Key
is not present in the map.
Examples
> Map = #{"counter" => 1}.
> Fun = fun(V) -> V + 1 end.
> maps:update_with("counter", Fun, 42, Map).
#{"counter" => 2}
> maps:update_with("new counter", Fun, 42, Map).
#{"counter" => 1,"new counter" => 42}
-spec values(Map) -> Values when Map :: #{_ => Value}, Values :: [Value].
Returns a complete list of values contained in map Map
, in any order.
The call fails with a {badmap,Map}
exception if Map
is not a map.
Examples
> Map = #{42 => value_three,1337 => "value two","a" => 1}.
> maps:values(Map).
[value_three,"value two",1]
-spec with(Ks, Map1) -> Map2 when Ks :: [K], Map1 :: #{K => V, _ => _}, Map2 :: #{K => V}.
Returns a new map Map2
with the keys K1
through Kn
and their associated
values from map Map1
.
Any key in Ks
that does not exist in Map1
is ignored.
Examples
> Map = #{42 => value_three,1337 => "value two","a" => 1}.
> Keys = ["a",42,"other key"].
> maps:with(Keys, Map).
#{42 => value_three,"a" => 1}
Returns a new map Map2
without keys K1
through Kn
and their associated
values from map Map1
.
Any key in Ks
that does not exist in Map1
is ignored.
Examples
> Map = #{42 => value_three, 1337 => "value two", "a" => 1}.
> Keys = ["a",42,"other key"].
> maps:without(Keys, Map).
#{1337 => "value two"}