inferred-types 0.20.0 → 0.22.5

package/src/utility/dictionary/kv/dictToKv.ts

@@ -1,6 +1,8 @@
-import { Mutable, Narrowable, UnionToTuple } from "~/types";
-import { KvFrom } from "~/types/kv/KvFrom";
-import { keys } from "~/utility/keys";
+import { KvFrom } from "src/types/kv";
+import { Mutable } from "src/types/Mutable";
+import { Narrowable } from "src/types/Narrowable";
+import { UnionToTuple } from "src/types/type-conversion";
+import { keys } from "src/utility/keys";
 
 /**
  * Converts a dictionary object into an array of dictionaries with `key` and `value` properties

package/src/utility/dictionary/kv/filterDictArray.ts

@@ -1,5 +1,5 @@
-import type { DictArray, DictArrayFilterCallback } from "~/types";
-import { Configurator, IConfigurator } from "~/utility/state";
+import { DictArray, DictArrayFilterCallback } from "src/types/tuples";
+import { Configurator, IConfigurator } from "src/utility/state";
 
 export interface Array<T> {
   filter<U extends T>(pred: (a: T) => a is U): U[];
@@ -11,12 +11,11 @@ export interface Array<T> {
  */
 export function filterDictArray<
   T extends object,
-  C extends DictArrayFilterCallback<keyof T, T, true | false>,
-  >(dictArr: DictArray<T>, cb: C) {
-
+  C extends DictArrayFilterCallback<keyof T, T, true | false>
+>(dictArr: DictArray<T>, cb: C) {
   const state: IConfigurator = Configurator();
 
-  const updated = dictArr.filter(i => {
+  const updated = dictArr.filter((i) => {
     const [k, v] = i;
     const keep = cb(k, v);
     if (!keep) {
@@ -30,4 +29,3 @@ export function filterDictArray<
   type ExcludedKeys = "";
   return updated as unknown as DictArray<Omit<T, ExcludedKeys>>;
 }
-

package/src/utility/dictionary/kv/index.ts

@@ -1,7 +1,7 @@
 // #autoindex
-// #region autoindexed files
-// index last changed at: 1st Jan, 2022, 03:27 PM ( GMT-8 )
-// hash-code: e1ea6f41
+// #region auto-indexed files
+// index last changed at: 8th Aug, 2022, 09:51 AM ( GMT-7 )
+// hash-code: dd4e4592
 
 // file exports
 export * from "./dictToKv";
@@ -9,30 +9,7 @@ export * from "./filterDictArray";
 export * from "./kv";
 export * from "./kvToDict";
 
-// #endregion
+// #endregion auto-indexed files
 
-// This file was created by running: "dd autoindex"; it assumes you have
-// the 'do-devops' pkg (that's "dd" on npm) installed as a dev dep.
-//
-// By default it assumes that exports are named exports but this can be changed by
-// adding a modifier to the '// #autoindex' syntax:
-//
-//    - autoindex:named     same as default, exports "named symbols"
-//    - autoindex:default   assumes each file is exporting a default export and
-//                          converts the default export to the name of the file
-//    - autoindex:offset    assumes files export "named symbols" but that each
-//                          file's symbols should be offset by the file's name
-//
-// You may also exclude certain files or directories by adding it to the
-// autoindex command. As an example:
-//
-//    - autoindex:named, exclude: foo,bar,baz
-//
-// Inversely, if you state a file to be an "orphan" then autoindex files
-// below this file will not reference this autoindex file:
-//
-//    - autoindex:named, orphan
-// 
-// All content outside the "// #region" section in this file will be
-// preserved in situations where you need to do something paricularly awesome.
-// Keep on being awesome.
+// see https://github.com/inocan-group/do-devops/docs/autoindex.md
+// for more info

package/src/utility/dictionary/kv/kv.ts

@@ -1,13 +1,18 @@
-import { ExpandRecursively, Narrowable } from "~/types";
+import { ExpandRecursively } from "src/types/ExpandRecursively";
+import { Narrowable } from "src/types/Narrowable";
 
 /**
  * Build a key-value pair where both _key_ and _value_ are inferred. This
  * includes ensuring that the _key_ is a type literal not just a "string".
  *
  * > note: the value will be inferred but if you need to constrain it
- * > to a narrower type then both inferrences will break and you should
+ * > to a narrower type then both inferences will break and you should
  * > instead use `KV2` to get this capability.
  */
-export function kv<K extends string, N extends Narrowable, V extends Record<any, N> | boolean | number | string | null | undefined>(key: K, value: V) {
+export function kv<
+  K extends string,
+  N extends Narrowable,
+  V extends Record<any, N> | boolean | number | string | null | undefined
+>(key: K, value: V) {
   return { [key]: value } as ExpandRecursively<Record<K, V>>;
 }

package/src/utility/dictionary/kv/kvToDict.ts

@@ -1,5 +1,6 @@
-import { Mutable, Narrowable } from "~/types";
-import { DictFromKv } from "~/types/kv";
+import { DictFromKv } from "src/types/kv";
+import { Mutable } from "src/types/Mutable";
+import { Narrowable } from "src/types/Narrowable";
 
 /**
  * Converts an array of dictionaries with `key` and `value` properties to a singular dictionary.

package/src/utility/dictionary/mapValues.ts

@@ -1,20 +1,23 @@
-import { Narrowable } from "~/types";
+import { Narrowable } from "src/types/Narrowable";
 import { entries } from "./entries";
 
 /**
  * **mapValues**
- * 
+ *
  * Maps over a dictionary, preserving the keys but allowing the values to be mutated.
- * 
+ *
  * ```ts
  * const colors = { red: 4, blue: 2, green: 3 };
  * // { red: 8, blue: 4, green: 6 }
  * const twoX = mapValues(colors, v => v * 2);
  * ```
  */
-export function mapValues<N extends Narrowable, T extends Record<string, N>, V>(obj: T, valueMapper: (k: T[keyof T]) => V) {
+export function mapValues<N extends Narrowable, T extends Record<string, N>, V>(
+  obj: T,
+  valueMapper: (k: T[keyof T]) => V
+) {
   return Object.fromEntries(
     // TODO: fix the type error with v and valueMapper
     [...entries(obj)].map(([k, v]) => [k, valueMapper(v as any)])
   ) as { [K in keyof T]: V };
-}
+}

package/src/utility/dictionary/strArrayToDict.ts

@@ -1,5 +1,4 @@
-import { ExpandRecursively } from "~/types/ExpandRecursively";
-
+import { ExpandRecursively } from "src/types/ExpandRecursively";
 
 /**
  * converts an array of strings `["a", "b", "c"]` into a more type friendly

package/src/utility/errors/ReadOnlyViolation.ts

@@ -0,0 +1,3 @@
+import { createError } from "brilliant-errors";
+
+export default createError("read-only-violation", "inferred-types")()()()();

package/src/utility/errors/index.ts

@@ -0,0 +1,12 @@
+// #autoindex
+// #region auto-indexed files
+// index last changed at: 8th Aug, 2022, 09:51 AM ( GMT-7 )
+// hash-code: 30d9ddb2
+
+// file exports
+export * from "./ReadOnlyViolation";
+
+// #endregion auto-indexed files
+
+// see https://github.com/inocan-group/do-devops/docs/autoindex.md
+// for more info

package/src/utility/index.ts

@@ -1,8 +1,8 @@
 // #autoindex
 
-// #region autoindexed files
-// index last changed at: 1st Jan, 2022, 03:27 PM ( GMT-8 )
-// hash-code: 6886d37a
+// #region auto-indexed files
+// index last changed at: 8th Aug, 2022, 09:51 AM ( GMT-7 )
+// hash-code: 9dd9ac96
 
 // file exports
 export * from "./createFnWithProps";
@@ -11,6 +11,7 @@ export * from "./ruleset";
 // directory exports
 export * from "./api/index";
 export * from "./dictionary/index";
+export * from "./errors/index";
 export * from "./lists/index";
 export * from "./literals/index";
 export * from "./map-reduce/index";
@@ -18,30 +19,7 @@ export * from "./modelling/index";
 export * from "./runtime/index";
 export * from "./state/index";
 
-// #endregion
+// #endregion auto-indexed files
 
-// This file was created by running: "dd autoindex"; it assumes you have
-// the 'do-devops' pkg (that's "dd" on npm) installed as a dev dep.
-//
-// By default it assumes that exports are named exports but this can be changed by
-// adding a modifier to the '// #autoindex' syntax:
-//
-//    - autoindex:named     same as default, exports "named symbols"
-//    - autoindex:default   assumes each file is exporting a default export and
-//                          converts the default export to the name of the file
-//    - autoindex:offset    assumes files export "named symbols" but that each
-//                          file's symbols should be offset by the file's name
-//
-// You may also exclude certain files or directories by adding it to the
-// autoindex command. As an example:
-//
-//    - autoindex:named, exclude: foo,bar,baz
-//
-// Inversely, if you state a file to be an "orphan" then autoindex files
-// below this file will not reference this autoindex file:
-//
-//    - autoindex:named, orphan
-// 
-// All content outside the "// #region" section in this file will be
-// preserved in situations where you need to do something paricularly awesome.
-// Keep on being awesome.
+// see https://github.com/inocan-group/do-devops/docs/autoindex.md
+// for more info

package/src/utility/keys.ts

@@ -1,12 +1,16 @@
-import { Keys, Length } from "~/types";
+import { Keys } from "src/types/Keys";
+import { Length } from "src/types/Length";
 
 /**
  * Provides the _keys_ of an object with the `keyof T` made explicit.
  */
 export function keys<T extends {}, W extends readonly string[]>(obj: T, ...without: W) {
-  const v = without.length > 0
-    ? Object.keys(obj).filter(k => !without.includes(k)) as unknown as Array<Exclude<keyof T, Keys<W>>>
-    : Object.keys(obj) as unknown as Array<keyof T>;
+  const v =
+    without.length > 0
+      ? (Object.keys(obj).filter((k) => !without.includes(k)) as unknown as Array<
+          Exclude<keyof T, Keys<W>>
+        >)
+      : (Object.keys(obj) as unknown as Array<keyof T>);
 
   return v as unknown as Length<W> extends 0 ? Array<keyof T> : Array<Exclude<keyof T, Keys<W>>>;
 }

package/src/utility/lists/groupBy.ts

@@ -1,5 +1,4 @@
-import { Narrowable } from "~/types";
-// import { UniqueForProp } from "~/types/lists/UniqueForProp";
+import { Narrowable } from "src/types/Narrowable";
 
 /**
  * Groups an array of data based on the value of a property
@@ -11,12 +10,6 @@ import { Narrowable } from "~/types";
  *
  * @ignore not implemented
  */
-export function groupBy<T extends Record<string, Narrowable>, K extends keyof T & string>(
-  _data: Readonly<T[]>
-) {
+export function groupBy<T extends Record<string, Narrowable>>(_data: Readonly<T[]>) {
   throw new Error("not implemented");
-  return (_groupBy: K) => {
-    // type _GroupedBy = UniqueForProp<typeof data, K>;
-    // const _output = {} as Record<GroupedBy, Narrowable>;
-  };
 }

package/src/utility/lists/index.ts

@@ -1,36 +1,13 @@
 // #autoindex
 
-// #region autoindexed files
-// index last changed at: 1st Jan, 2022, 03:27 PM ( GMT-8 )
-// hash-code: 150c313
+// #region auto-indexed files
+// index last changed at: 8th Aug, 2022, 09:51 AM ( GMT-7 )
+// hash-code: bf4a6791
 
 // file exports
 export * from "./groupBy";
 
-// #endregion
+// #endregion auto-indexed files
 
-// This file was created by running: "dd autoindex"; it assumes you have
-// the 'do-devops' pkg (that's "dd" on npm) installed as a dev dep.
-//
-// By default it assumes that exports are named exports but this can be changed by
-// adding a modifier to the '// #autoindex' syntax:
-//
-//    - autoindex:named     same as default, exports "named symbols"
-//    - autoindex:default   assumes each file is exporting a default export and
-//                          converts the default export to the name of the file
-//    - autoindex:offset    assumes files export "named symbols" but that each
-//                          file's symbols should be offset by the file's name
-//
-// You may also exclude certain files or directories by adding it to the
-// autoindex command. As an example:
-//
-//    - autoindex:named, exclude: foo,bar,baz
-//
-// Inversely, if you state a file to be an "orphan" then autoindex files
-// below this file will not reference this autoindex file:
-//
-//    - autoindex:named, orphan
-// 
-// All content outside the "// #region" section in this file will be
-// preserved in situations where you need to do something paricularly awesome.
-// Keep on being awesome.
+// see https://github.com/inocan-group/do-devops/docs/autoindex.md
+// for more info

package/src/utility/literals/arrayToObject.ts

@@ -1,22 +1,28 @@
-import { Narrowable } from "~/types/Narrowable";
-
+import { Narrowable } from "src/types/Narrowable";
 
 /**
  * **UniqueDictionary**
- * 
+ *
  * A dictionary converted by `arrayToObject()` which expects each key `S` to have a only a
  * single/unique value.
  */
-export type UniqueDictionary<S extends PropertyKey, N extends Narrowable, T extends Record<keyof T, N> & Record<S, any>> = { [V in T as V[S]]: V };
+export type UniqueDictionary<
+  S extends PropertyKey,
+  N extends Narrowable,
+  T extends Record<keyof T, N> & Record<S, any>
+> = { [V in T as V[S]]: V };
 
 /**
  * **GeneralDictionary**
- * 
+ *
  * A dictionary converted by `arrayToObject()` which expects each key `S` to have an
  * array of values.
  */
-export type GeneralDictionary<S extends PropertyKey, N extends Narrowable, T extends Record<keyof T, N> & Record<S, any>> = { [V in T as V[S]]: V[] };
-
+export type GeneralDictionary<
+  S extends PropertyKey,
+  N extends Narrowable,
+  T extends Record<keyof T, N> & Record<S, any>
+> = { [V in T as V[S]]: V[] };
 
 export type ArrayConverter<S extends PropertyKey, U extends boolean> =
   /**
@@ -28,45 +34,40 @@ export type ArrayConverter<S extends PropertyKey, U extends boolean> =
     arr: readonly T[]
   ) => true extends U ? UniqueDictionary<S, N, T> : GeneralDictionary<S, N, T>;
 
-
 /**
  * Converts an array of objects into a dictionary by picking a property name contained
  * by all objects and using that as the key to the dictionary.
- * 
+ *
  * ```ts
- * const arr = [ 
+ * const arr = [
  *   { kind: "color", favorite: "blue", likes: 100 },
  *   { kind: "song", favorite: "some song", likes: 25 }
  * ];
  * const dict = arrayToObject("kind")(arr);
  * ```
- * 
+ *
  * This will produce a dictionary with keys of `color` and `song`.
  */
-export function arrayToObject<
-  S extends PropertyKey,
-  U extends boolean
->(prop: S, unique?: U) {
+export function arrayToObject<S extends PropertyKey, U extends boolean>(prop: S, unique?: U) {
   type X = true extends U ? true : false;
   /**
    * **arrayToObject** - partially applied
-   * 
+   *
    * pass in an array of objects to complete application of arrayToObject()
    */
-  const transform: ArrayConverter<S, X> = <N extends Narrowable, T extends Record<keyof T, N> & Record<S, any>>(
+  const transform: ArrayConverter<S, X> = <
+    N extends Narrowable,
+    T extends Record<keyof T, N> & Record<S, any>
+  >(
     arr: readonly T[]
   ): true extends X ? UniqueDictionary<S, N, T> : GeneralDictionary<S, N, T> => {
-
-    const result = unique !== false
-      ? arr.reduce(
-        (acc, v) => ({ ...acc, [v[prop]]: v }), {} as UniqueDictionary<S, N, T>
-      )
-      : arr.reduce(
-        (acc, v) => {
-          const existing = acc[v[prop] as T[S]] || [];
-          return { ...acc, [v[prop]]: [...existing, v] };
-        }, {} as GeneralDictionary<S, N, T>
-      );
+    const result =
+      unique !== false
+        ? arr.reduce((acc, v) => ({ ...acc, [v[prop]]: v }), {} as UniqueDictionary<S, N, T>)
+        : arr.reduce((acc, v) => {
+            const existing = acc[v[prop] as T[S]] || [];
+            return { ...acc, [v[prop]]: [...existing, v] };
+          }, {} as GeneralDictionary<S, N, T>);
 
     // type cast based on `U`
     return result as true extends X ? UniqueDictionary<S, N, T> : GeneralDictionary<S, N, T>;
@@ -75,4 +76,3 @@ export function arrayToObject<
   return transform;
   // return converter(prop, unique);
 }
-

package/src/utility/literals/defineType.ts

@@ -1,15 +1,15 @@
-import { ExpandRecursively, Narrowable } from "~/types";
+import { ExpandRecursively } from "src/types/ExpandRecursively";
+import { Narrowable } from "src/types/Narrowable";
 
 /**
  * Build a _type_ from two run-time dictionaries.
- * 
+ *
  * 1. The _first_ -- which is optional -- is interpreted as a _literal_ type definition
  * 2. The _second_ dictionary is interpreted as a "wide" definition of prop types
  */
-export function defineType<
-  N extends Narrowable,
-  TLiteral extends Record<string, N>
->(literal: TLiteral = {} as TLiteral) {
+export function defineType<N extends Narrowable, TLiteral extends Record<string, N>>(
+  literal: TLiteral = {} as TLiteral
+) {
   /**
    * Add any key/value pairs which you want to have _wide_ types associated;
    * literal types are defined already and stated above.

package/src/utility/literals/identity.ts

@@ -1,4 +1,5 @@
-import { Narrowable } from "~/types/Narrowable";
+import { Narrowable } from "src/types/Narrowable";
+
 /**
  * An identity function for any type, with the goal of preserving literal type information
  * whereever possible.
@@ -6,4 +7,6 @@ import { Narrowable } from "~/types/Narrowable";
 export const identity = <
   N extends Narrowable,
   T extends Record<any, N> | number | string | boolean | symbol | undefined | null
->(v: T) => v;
+>(
+  v: T
+) => v;

package/src/utility/literals/index.ts

@@ -1,7 +1,7 @@
 // #autoindex
-// #region autoindexed files
-// index last changed at: 1st Jan, 2022, 03:27 PM ( GMT-8 )
-// hash-code: b7a5f43
+// #region auto-indexed files
+// index last changed at: 8th Aug, 2022, 09:51 AM ( GMT-7 )
+// hash-code: 7a22bbbc
 
 // file exports
 export * from "./ExplicitFunction";
@@ -10,30 +10,7 @@ export * from "./defineType";
 export * from "./identity";
 export * from "./literal";
 
-// #endregion
+// #endregion auto-indexed files
 
-// This file was created by running: "dd autoindex"; it assumes you have
-// the 'do-devops' pkg (that's "dd" on npm) installed as a dev dep.
-//
-// By default it assumes that exports are named exports but this can be changed by
-// adding a modifier to the '// #autoindex' syntax:
-//
-//    - autoindex:named     same as default, exports "named symbols"
-//    - autoindex:default   assumes each file is exporting a default export and
-//                          converts the default export to the name of the file
-//    - autoindex:offset    assumes files export "named symbols" but that each
-//                          file's symbols should be offset by the file's name
-//
-// You may also exclude certain files or directories by adding it to the
-// autoindex command. As an example:
-//
-//    - autoindex:named, exclude: foo,bar,baz
-//
-// Inversely, if you state a file to be an "orphan" then autoindex files
-// below this file will not reference this autoindex file:
-//
-//    - autoindex:named, orphan
-// 
-// All content outside the "// #region" section in this file will be
-// preserved in situations where you need to do something paricularly awesome.
-// Keep on being awesome.
+// see https://github.com/inocan-group/do-devops/docs/autoindex.md
+// for more info

package/src/utility/literals/literal.ts

@@ -1,6 +1,6 @@
 /* eslint-disable no-use-before-define */
 
-import { Narrowable } from "~/types";
+import { Narrowable } from "src/types/Narrowable";
 
 /**
  * Takes an object as input --which has an `id` property and returns it as the same
@@ -39,8 +39,8 @@ export function idTypeGuard<T extends { id: I }, I extends PropertyKey>(
 /**
  * Takes an object as input and infers the narrow literal types of the property
  * values on the object.
- * 
- * > Note: this addresses this [a known TS gap](https://github.com/microsoft/TypeScript/issues/30680). 
+ *
+ * > Note: this addresses this [a known TS gap](https://github.com/microsoft/TypeScript/issues/30680).
  * > Hopefully at some point this will be addressed in the language.
  */
 export function literal<N extends Narrowable, T extends Record<keyof T, N>>(obj: T) {

package/src/utility/map-reduce/index.ts

@@ -1,35 +1,12 @@
 // #autoindex
-// #region autoindexed files
-// index last changed at: 1st Jan, 2022, 03:27 PM ( GMT-8 )
-// hash-code: 73454cdf
+// #region auto-indexed files
+// index last changed at: 8th Aug, 2022, 09:51 AM ( GMT-7 )
+// hash-code: 5ffc538b
 
 // file exports
 export * from "./filter";
 
-// #endregion
+// #endregion auto-indexed files
 
-// This file was created by running: "dd autoindex"; it assumes you have
-// the 'do-devops' pkg (that's "dd" on npm) installed as a dev dep.
-//
-// By default it assumes that exports are named exports but this can be changed by
-// adding a modifier to the '// #autoindex' syntax:
-//
-//    - autoindex:named     same as default, exports "named symbols"
-//    - autoindex:default   assumes each file is exporting a default export and
-//                          converts the default export to the name of the file
-//    - autoindex:offset    assumes files export "named symbols" but that each
-//                          file's symbols should be offset by the file's name
-//
-// You may also exclude certain files or directories by adding it to the
-// autoindex command. As an example:
-//
-//    - autoindex:named, exclude: foo,bar,baz
-//
-// Inversely, if you state a file to be an "orphan" then autoindex files
-// below this file will not reference this autoindex file:
-//
-//    - autoindex:named, orphan
-// 
-// All content outside the "// #region" section in this file will be
-// preserved in situations where you need to do something paricularly awesome.
-// Keep on being awesome.
+// see https://github.com/inocan-group/do-devops/docs/autoindex.md
+// for more info

package/src/utility/modelling/index.ts

@@ -1,35 +1,12 @@
 // #autoindex, exclude: IoModel
-// #region autoindexed files
-// index last changed at: 1st Jan, 2022, 03:27 PM ( GMT-8 )
-// hash-code: 34d6be17
+// #region auto-indexed files
+// index last changed at: 8th Aug, 2022, 09:51 AM ( GMT-7 )
+// hash-code: db68628c
 
 // file exports
 export * from "./Model";
 
-// #endregion
+// #endregion auto-indexed files
 
-// This file was created by running: "dd autoindex"; it assumes you have
-// the 'do-devops' pkg (that's "dd" on npm) installed as a dev dep.
-//
-// By default it assumes that exports are named exports but this can be changed by
-// adding a modifier to the '// #autoindex' syntax:
-//
-//    - autoindex:named     same as default, exports "named symbols"
-//    - autoindex:default   assumes each file is exporting a default export and
-//                          converts the default export to the name of the file
-//    - autoindex:offset    assumes files export "named symbols" but that each
-//                          file's symbols should be offset by the file's name
-//
-// You may also exclude certain files or directories by adding it to the
-// autoindex command. As an example:
-//
-//    - autoindex:named, exclude: foo,bar,baz
-//
-// Inversely, if you state a file to be an "orphan" then autoindex files
-// below this file will not reference this autoindex file:
-//
-//    - autoindex:named, orphan
-// 
-// All content outside the "// #region" section in this file will be
-// preserved in situations where you need to do something paricularly awesome.
-// Keep on being awesome.
+// see https://github.com/inocan-group/do-devops/docs/autoindex.md
+// for more info

package/src/utility/ruleset.ts

@@ -1,5 +1,6 @@
 /* eslint-disable no-use-before-define */
-import type { Narrowable } from "~/types";
+
+import { Narrowable } from "src/types/Narrowable";
 
 // TODO: get ruleset functionality working!
 
@@ -15,21 +16,23 @@ import type { Narrowable } from "~/types";
 
 /**
  * **ruleSet**
- * 
+ *
  * Defines a ruleset composed of _dynamic_ and _static_ boolean operators.
- * 
+ *
  * - the first function call defines _dynamic_ props (_optional_)
  * - the second function call defines static values
- * 
+ *
  * ```ts
- * const rs = ruleSet( 
+ * const rs = ruleSet(
  *    r => r.state()( { maybe: r => r.extends({ foo: 1 }) })
- * )( 
- *    { color: true, age: false } 
+ * )(
+ *    { color: true, age: false }
  * );
  * ```
  */
-export function ruleSet<N extends Narrowable, TState extends Record<keyof TState, N>>(defn?: TState) {
+export function ruleSet<N extends Narrowable, TState extends Record<keyof TState, N>>(
+  defn?: TState
+) {
   // return <
   //   TStatic extends { [K in keyof TStatic]: Readonly<true | false> },
   //   >(rules: TStatic) => {
@@ -37,4 +40,3 @@ export function ruleSet<N extends Narrowable, TState extends Record<keyof TState
   // };
   return defn;
 }
-