Expose deepStrict and deepStrip to js API

IDEAS.md

@@ -20,7 +20,6 @@ let trimContract: S.contract<string => string> = S.contract(s => {
 
 ## v9
 
-- deepStrict for js/ts
 - Update documentation:
   - Add Enums section to js docs
 

packages/tests/src/core/S_test.ts

@@ -916,6 +916,44 @@ test("Fails to parse strict object with exccess fields", (t) => {
   );
 });
 
+test("Fails to parse deep strict object with exccess fields", (t) => {
+  const schema = S.deepStrict(
+    S.schema({
+      foo: {
+        a: S.string,
+      },
+    })
+  );
+
+  t.throws(
+    () => {
+      const value = S.parseOrThrow(
+        {
+          foo: {
+            a: "bar",
+            b: true,
+          },
+        },
+        schema
+      );
+      expectType<
+        SchemaEqual<
+          typeof schema,
+          {
+            foo: {
+              a: string;
+            };
+          }
+        >
+      >(true);
+    },
+    {
+      name: "RescriptSchemaError",
+      message: `Failed parsing at ["foo"]. Reason: Encountered disallowed excess key "b" on an object`,
+    }
+  );
+});
+
 test("Fails to parse strict object with exccess fields which created using global config override", (t) => {
   S.setGlobalConfig({
     defaultUnknownKeys: "Strict",

src/S.d.ts

@@ -230,9 +230,15 @@ export function object<Output, Input extends Record<string, unknown>>(
 export function strip<Output, Input extends Record<string, unknown>>(
   schema: Schema<Output, Input>
 ): Schema<Output, Input>;
+export function deepStrip<Output, Input extends Record<string, unknown>>(
+  schema: Schema<Output, Input>
+): Schema<Output, Input>;
 export function strict<Output, Input extends Record<string, unknown>>(
   schema: Schema<Output, Input>
 ): Schema<Output, Input>;
+export function deepStrict<Output, Input extends Record<string, unknown>>(
+  schema: Schema<Output, Input>
+): Schema<Output, Input>;
 
 export function merge<O1, O2>(
   schema1: Schema<O1, Record<string, unknown>>,

src/S.js

@@ -35,7 +35,9 @@ export const assertOrThrow = S.assertOrThrow;
 export const recursive = S.recursive;
 export const merge = S.js_merge;
 export const strict = S.strict;
+export const deepStrict = S.deepStrict;
 export const strip = S.strip;
+export const deepStrip = S.deepStrip;
 export const custom = S.js_custom;
 export const tuple = S.tuple;
 export const asyncParserRefine = S.js_asyncParserRefine;