From a235fd3087eab6cf671c01c10ffc2b8ed20752aa Mon Sep 17 00:00:00 2001
From: muehlhaus <muehlhaus@rptu.de>
Date: Mon, 31 Jul 2023 21:16:00 +0200
Subject: [PATCH] Add dictionary copy and deepCopy

---
 src/FSharpAux.Core/Dictionary.fs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/FSharpAux.Core/Dictionary.fs b/src/FSharpAux.Core/Dictionary.fs
index c8c2a7a..24a6116 100644
--- a/src/FSharpAux.Core/Dictionary.fs
+++ b/src/FSharpAux.Core/Dictionary.fs
@@ -117,6 +117,20 @@ module Dictionary =
         | true -> Some v
         | false -> None
 
+    /// <summary>Performs a shallow copy of the input dictionary</summary>
+    /// <param name="table">The input dictionary.</param>
+    /// <returns>A shallow copy of the dictionary.</returns>
+    let copy (table: IDictionary<'k,'v>) = new Dictionary<'k,'v>(table)
+
+    /// <summary>Performs a deep copy of the input dictionary</summary>
+    /// <param name="table">The input dictionary.</param>
+    /// <returns>A deep copy of the dictionary.</returns>
+    let deepCopy (table: IDictionary<'k,'v> when 'v :> ICloneable) = 
+        let ret = new Dictionary<'k,'v>(table.Count)
+        for entry in table do
+            ret.Add(entry.Key, entry.Value.Clone() :?> 'v )    
+        ret
+
 
 //    /// <summary>Folds over the bindings in the dictionary </summary>
 //    /// <param name="folder">The function to update the state given the input key/value pairs.</param>