MapSerializer.dumpDg

Writes a map to a file.

class MapSerializer
void
dumpDg
(
K
V
)

Parameters

file_path cstring

path to where the map should be dumped to

adder AdderDg!(K, V)

function called with a delegate that can be used to add elements that are to be dumped. Once that delegate returns, the rest will be written.

Meta