Version: v0.6.0 - Beta.  We welcome contributors & feedback.  THanks!

Map.copy

copy()

Description

Copy the Map into a new Map.

$map1 = { a: 1, b: 2 };
$map2 = $map1.copy();

$map1.b = 11;
$map2.b = 22;

print($map1);
//= { a: 1, b: 11 }

print($map2);
//= { a: 1, b: 22 }