[schema] rename s.null / s.void because typescript produces erroneous declaration files microsoft/TypeScript#62081

Author: dmonad

schema.js

@@ -89,7 +89,7 @@ export class $Schema {
    * @type {$Schema<T?>}
    */
   get nullable () {
-    return union(this, null_)
+    return union(this, $null)
   }
 
   /**
@@ -411,7 +411,7 @@ export class $Lambda extends $Schema {
  * @param {Args} args
  * @return {$Schema<(...args:UnwrapArray<TuplePop<Args>>)=>Unwrap<TupleLast<Args>>>}
  */
-export const lambda = (...args) => new $Lambda(args.length > 0 ? args : [void_])
+export const lambda = (...args) => new $Lambda(args.length > 0 ? args : [$void])
 
 /**
  * @template {Array<$Schema<any>>} T
@@ -505,19 +505,16 @@ export const string = constructedBy(String)
 /**
  * @type {$Schema<undefined>}
  */
-const undefined_ = literal(undefined)
+const $undefined = literal(undefined)
 
-/**
- * @type {$Schema<void>}
- */
-const void_ = undefined_
+export { $undefined as undefined }
 
 /**
- * @type {$Schema<null>}
+ * @type {$Schema<void>}
  */
-const null_ = literal(null)
+export const $void = literal(undefined)
 
-export { null_ as null, void_ as void, undefined_ as undefined }
+export const $null = /** @type {$Schema<null>} */ (literal(null))
 
 /* c8 ignore start */
 /**

schema.test.js

@@ -204,31 +204,31 @@ export const testSchemas = _tc => {
     s.number.validate(known)
     // @ts-expect-error
     s.number.validate(unknown)
-    const f = s.lambda(s.number, s.void).ensure((_x) => {})
+    const f = s.lambda(s.number, s.$void).ensure((_x) => {})
     // should match a function with more parameters
-    t.assert(s.lambda(s.number, s.string, s.void).validate(f))
+    t.assert(s.lambda(s.number, s.string, s.$void).validate(f))
     // should still not match a different function
     // @ts-expect-error
-    s.lambda(s.string, s.void).validate(f)
-    const x = s.object({ f: s.lambda(s.string, s.void), n: s.number }).ensure({ f: () => {}, n: 99 })
+    s.lambda(s.string, s.$void).validate(f)
+    const x = s.object({ f: s.lambda(s.string, s.$void), n: s.number }).ensure({ f: () => {}, n: 99 })
     t.assert(x.n === 99)
     s.lambda().cast(() => {})
   })
   t.group('lambda', () => {
     const $fun = s.lambda(s.number, s.string, s.string)
     t.assert($fun.validate(() => ''))
-    t.assert($fun.validate(/** @param {number} n */ (n) => ''))
+    t.assert($fun.validate(/** @param {number} _n */ (_n) => ''))
     // @ts-expect-error
     $fun.validate(/** @param {number} n */ (n) => n) // expected string result
-    const $fun2 = s.lambda(s.number, s.string, s.void)
+    const $fun2 = s.lambda(s.number, s.string, s.$void)
     t.assert($fun2.validate(() => ''))
     t.assert($fun2.validate(/** @param {number} n */ (n) => n + ''))
     t.assert($fun2.validate(/** @param {number} n */ (n) => n)) // this works now, because void is the absense of value
     const $fun3 = s.lambda(s.number, s.undefined)
     // @ts-expect-error
     $fun3.validate(/** @param {number} n */ (n) => n) // this doesn't work, because expected the literal undefined.
     // @ts-expect-error
-    t.assert(!$fun3.validate(/** @type {(a: number, b: number) => undefined} */ (a, b) => undefined)) // too many parameters
+    t.assert(!$fun3.validate(/** @type {(a: number, b: number) => undefined} */ (_a, _b) => undefined)) // too many parameters
   })
 }
 

tsconfig.json

@@ -1,8 +1,8 @@
 {
   "compilerOptions": {
-    "target": "ES2022",
-    "lib": ["ES2022", "dom"],
-    "module": "NodeNext",
+    "target": "esnext",
+    "lib": ["dom", "ES2022"],
+    "module": "nodenext",
     "allowJs": true,
     "checkJs": true,
     "declaration": true,