Maps

Map is the Map from Erlang. Map k v is the type of a Map.

We can construct a Map like this:

m1 :: Map String Integer
m1 = #{"Hello" => 5, "World" => 17}
> lookup m1 "Hello"
Just  5
> insert "!" 0 m1
#{"Hello" => 5, "World" => 17, "!" => 0}