@colisweb/rescript-toolkit 4.17.1 → 4.18.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@colisweb/rescript-toolkit",
-  "version": "4.17.1",
+  "version": "4.18.0",
   "type": "module",
   "scripts": {
     "clean": "rescript clean",

package/src/identifier/Toolkit__Identifier.res

@@ -4,6 +4,7 @@ module MakeString = () => {
     type t
     module Dict: {
       type key = t
+      @decco
       type t<'a>
       let get: (t<'a>, key) => option<'a>
       @set_index
@@ -18,11 +19,42 @@ module MakeString = () => {
       let fromList: list<(key, 'a)> => t<'a>
       let fromArray: array<(key, 'a)> => t<'a>
       let map: ((. 'a) => 'b, t<'a>) => t<'b>
+      let deleteKey: (t<'a>, key) => t<'a>
     }
   } = {
     @decco
     type t = string
-    module Dict = Js.Dict
+    module Dict = {
+      include Js.Dict
+
+      let deleteKey: (t<'a>, string) => t<'a> = %raw("function (dict, key) {
+  const newDict = Object.assign({},dict);
+  delete newDict[key];
+  return newDict;
+}")
+      let t_encode = (encoder, dict) => dict->Js.Dict.map((. a) => encoder(a), _)->Js.Json.object_
+
+      let t_decode = (decoder, json) => {
+        open Decco
+        switch Js.Json.decodeObject(json) {
+        | Some(dict) =>
+          dict
+          ->Js.Dict.entries
+          ->Belt.Array.reduce(Ok(Js.Dict.empty()), (acc, (key, value)) =>
+            switch (acc, decoder(value)) {
+            | (Error(_), _) => acc
+
+            | (_, Error({path} as error)) => Error({...error, path: "." ++ key ++ path})
+
+            | (Ok(prev), Ok(newVal)) =>
+              let () = prev->Js.Dict.set(key, newVal)
+              Ok(prev)
+            }
+          )
+        | None => Error({path: "", message: "Not a dict", value: json})
+        }
+      }
+    }
   }
 
   @decco
@@ -52,3 +84,72 @@ module MakeInt = () => {
   let toString = t => t->toInt->Int.toString
   let castAsString = t => t->toInt->Int.toString->magic
 }
+
+module MakeStringOrInt = () => {
+  module Id: {
+    @decco
+    type t
+    module Dict: {
+      type key = t
+      @decco
+      type t<'a>
+      let get: (t<'a>, key) => option<'a>
+      @set_index
+      external set: (t<'a>, key, 'a) => unit = ""
+      @val
+      external keys: t<'a> => array<string> = "Object.keys"
+      @obj /** Returns an empty dictionary. */
+      external empty: unit => t<'a> = ""
+      let unsafeDeleteKey: (. t<string>, string) => unit
+      let entries: t<'a> => array<(key, 'a)>
+      let values: t<'a> => array<'a>
+      let fromList: list<(key, 'a)> => t<'a>
+      let fromArray: array<(key, 'a)> => t<'a>
+      let map: ((. 'a) => 'b, t<'a>) => t<'b>
+      let deleteKey: (t<'a>, key) => t<'a>
+    }
+  } = {
+    @decco
+    type t = string
+    module Dict = {
+      include Js.Dict
+
+      let deleteKey: (t<'a>, string) => t<'a> = %raw("function (dict, key) {
+  const newDict = Object.assign({},dict);
+  delete newDict[key];
+  return newDict;
+}")
+
+      let t_encode = (encoder, dict) => dict->Js.Dict.map((. a) => encoder(a), _)->Js.Json.object_
+
+      let t_decode = (decoder, json) => {
+        open Decco
+        switch Js.Json.decodeObject(json) {
+        | Some(dict) =>
+          dict
+          ->Js.Dict.entries
+          ->Belt.Array.reduce(Ok(Js.Dict.empty()), (acc, (key, value)) =>
+            switch (acc, decoder(value)) {
+            | (Error(_), _) => acc
+
+            | (_, Error({path} as error)) => Error({...error, path: "." ++ key ++ path})
+
+            | (Ok(prev), Ok(newVal)) =>
+              let () = prev->Js.Dict.set(key, newVal)
+              Ok(prev)
+            }
+          )
+        | None => Error({path: "", message: "Not a dict", value: json})
+        }
+      }
+    }
+  }
+
+  @decco
+  type t = Id.t
+
+  module Dict = Id.Dict
+
+  external make: string => t = "%identity"
+  external toString: t => string = "%identity"
+}