Kind.t

Author: mununki

jscomp/others/js_json.res

@@ -35,13 +35,14 @@ type rec t =
   | Array(array<t>)
 
 module Kind = {
-  type rec kind<_> =
-    | String: kind<Js_string.t>
-    | Number: kind<float>
-    | Object: kind<Js_dict.t<t>>
-    | Array: kind<array<t>>
-    | Boolean: kind<bool>
-    | Null: kind<Js_types.null_val>
+  type json = t
+  type rec t<_> =
+    | String: t<Js_string.t>
+    | Number: t<float>
+    | Object: t<Js_dict.t<json>>
+    | Array: t<array<json>>
+    | Boolean: t<bool>
+    | Null: t<Js_types.null_val>
 }
 
 type tagged_t =
@@ -74,7 +75,7 @@ let classify = (x: t): tagged_t => {
   }
 }
 
-let test = (type a, x: 'a, v: Kind.kind<a>): bool =>
+let test = (type a, x: 'a, v: Kind.t<a>): bool =>
   switch v {
   | Kind.Number => Js.typeof(x) == "number"
   | Kind.Boolean => Js.typeof(x) == "boolean"

jscomp/others/js_json.resi

@@ -41,14 +41,15 @@ type rec t =
   | Array(array<t>)
 
 module Kind: {
+  type json = t
   /** Underlying type of a JSON value */
-  type rec kind<_> =
-    | String: kind<Js_string.t>
-    | Number: kind<float>
-    | Object: kind<Js_dict.t<t>>
-    | Array: kind<array<t>>
-    | Boolean: kind<bool>
-    | Null: kind<Js_types.null_val>
+  type rec t<_> =
+    | String: t<Js_string.t>
+    | Number: t<float>
+    | Object: t<Js_dict.t<json>>
+    | Array: t<array<json>>
+    | Boolean: t<bool>
+    | Null: t<Js_types.null_val>
 }
 
 type tagged_t =
@@ -65,7 +66,7 @@ type tagged_t =
 let classify: t => tagged_t
 
 /** `test(v, kind)` returns `true` if `v` is of `kind`. */
-let test: ('a, Kind.kind<'b>) => bool
+let test: ('a, Kind.t<'b>) => bool
 
 /** `decodeString(json)` returns `Some(s)` if `json` is a `string`, `None` otherwise. */
 let decodeString: t => option<Js_string.t>

jscomp/test/js_json_test.res

@@ -145,7 +145,7 @@ let () = {
 
 /* Check that the given json value is an array and that its element
  * a position [i] is equal to both the [kind] and [expected] value */
-let eq_at_i = (type a, loc: string, json: J.t, i: int, kind: J.Kind.kind<a>, expected: a): unit => {
+let eq_at_i = (type a, loc: string, json: J.t, i: int, kind: J.Kind.t<a>, expected: a): unit => {
   let ty = J.classify(json)
   switch ty {
   | J.JSONArray(x) =>