inferred-types 0.16.0 → 0.18.1

package/src/errors/InferenceError.ts

@@ -1,3 +1,3 @@
 import { createError } from "brilliant-errors";
 
-export const InferenceError = createError("InferenceError", "inferred-types");
+export const [InferenceError, isInferenceError] = createError("InferenceError", "inferred-types")()()()();

package/src/shared/randomString.ts

@@ -1,5 +1,5 @@
 export function randomString() {
-  return Math.trunc((1 + Math.random()) * 0x10000)
+  return Math.trunc((1 + Math.random()) * 0x1_00_00)
     .toString(16)
     .slice(1);
 }

package/src/types/Constructor.ts

@@ -0,0 +1,5 @@
+/**
+ * Define a class constructor; allowing strong typing for constructor's parameters
+ * and the returned class structure.
+ */
+export type Constructor<Ctor extends any[], Klass extends any> = new (...props: Ctor) => Klass;

package/src/types/Not.ts

@@ -1,5 +1,5 @@
 /**
- * Provides a negation of a type of the type `T` _not_ `U`
+ * Provides a negation of a type of the type `T` _not_ `U`.
  * ```ts
  * const foo = 42;
  * // 33
@@ -7,5 +7,7 @@
  * // never
  * type NotTheMeaningOfLife = Not<42, 42>;
  * ```
+ * 
+ * Note: same as `Exclude`
  */
 export type Not<T, U> = T extends U ? never : T;

package/src/types/Transformer.ts

@@ -1,4 +1,4 @@
-import { SameKeys } from "./SameKeys";
+import { SameKeys } from "./type-conversion/SameKeys";
 
 /**
  * **Transformer**
@@ -13,4 +13,3 @@ export type Transformer<I extends object, O extends SameKeys<I>, K extends keyof
   input: I,
   key: K
 ) => O[K];
-

package/src/types/Where.ts

@@ -0,0 +1,36 @@
+import { Include } from "native-dash";
+
+/**
+ * Allows filtering down `T` to those which extend a given type `U`.
+ * 
+ * - `T` is either a dictionary (where keys will be used to compare) or
+ * a readonly sting array.
+ * ```ts
+ * const arr = ["foo", "bar", "baz"];
+ * // "bar" | "baz"
+ * type BA = Where<typeof arr, `ba${string}`>;
+ * ```
+ */
+ export type Where<T extends Record<string, any> | readonly string[], U> = T extends readonly string[]
+ ? Include<T[number], U>
+ : {
+  [K in keyof T]: K extends U ? K : never;
+}[keyof T];
+
+
+/**
+ * Allows filtering down `T` to those which extend a given type `U`.
+ * 
+ * - `T` is either a dictionary (where keys will be used to compare) or
+ * a readonly sting array.
+ * ```ts
+ * const arr = ["foo", "bar", "baz"];
+ * // "foo"
+ * type F = WhereNot<typeof arr, `ba${string}`>;
+ * ```
+ */
+export type WhereNot<T extends Record<string, any> | readonly string[], U> = T extends readonly string[]
+? Exclude<T[number], U>
+: {
+ [K in keyof T]: K extends U ? never : K;
+}[keyof T];

package/src/types/alphabetic/PascalCase.ts

@@ -1,5 +1,5 @@
 /* eslint @typescript-eslint/no-unused-vars: "off" */
-import type { Capitalize, LowerAllCaps, Trim } from "~/types";
+import type { LowerAllCaps, Trim } from "~/types";
 
 type Delimiter = "_" | "-" | " ";
 
@@ -10,7 +10,7 @@ type DashDelim<T extends string> = T extends `${infer Begin}${" "}${infer Rest}`
   ? DashDelim<`${Begin}-${Rest}`>
   : T;
 
-/** 
+/**
  * Converts a string literal type to a **PascalCase** representation.
  * ```ts
  * // "FooBar"
@@ -20,7 +20,8 @@ type DashDelim<T extends string> = T extends `${infer Begin}${" "}${infer Rest}`
  * type T = PascalCase<"\n foo_bar \t">;
  * ```
  */
-export type PascalCase<S extends string> = string extends S ? string :
-  Trim<DashDelim<LowerAllCaps<S>>> extends `${infer Begin}${Delimiter}${infer Rest}`
+export type PascalCase<S extends string> = string extends S
+  ? string
+  : Trim<DashDelim<LowerAllCaps<S>>> extends `${infer Begin}${Delimiter}${infer Rest}`
   ? PascalCase<`${Capitalize<Begin>}${Capitalize<Rest>}`>
   : Capitalize<Trim<LowerAllCaps<S>>>;

package/src/types/alphabetic/index.ts

@@ -1,9 +1,9 @@
 // #autoindex, exclude: Alpha
 // #region autoindexed files
 
-// index last changed at: 7th Jul, 2021, 01:59 PM ( GMT-7 )
+// index last changed at: 12th Dec, 2021, 12:24 PM ( GMT-8 )
 // export: named; exclusions: Alpha, index, private.
-// files: AllCaps, CamelCase, CapFirstAlpha, CapitalizeWords, DashToSnake, DashUppercase, Dasherize, HasUppercase, Intrinsic, IsCapitalized, KebabCase, LowerAllCaps, PascalCase, Pluralize, SnakeCase, alpha-characters.
+// files: AllCaps, CamelCase, CapFirstAlpha, CapitalizeWords, DashToSnake, DashUppercase, Dasherize, HasUppercase, IsCapitalized, KebabCase, LowerAllCaps, PascalCase, Pluralize, SnakeCase, alpha-characters.
 
 // local file exports
 export * from "./AllCaps";
@@ -14,7 +14,6 @@ export * from "./DashToSnake";
 export * from "./DashUppercase";
 export * from "./Dasherize";
 export * from "./HasUppercase";
-export * from "./Intrinsic";
 export * from "./IsCapitalized";
 export * from "./KebabCase";
 export * from "./LowerAllCaps";
@@ -26,7 +25,7 @@ export * from "./alpha-characters";
 // Note:
 // -----
 // This file was created by running: "dd devops autoindex"; it assumes you have
-// the 'do-devops' pkg installed as a dev dep.
+// 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:
@@ -45,7 +44,12 @@ export * from "./alpha-characters";
 //
 //    - autoindex:named, exclude: foo,bar,baz
 //
-// Also be aware that all of your content outside the defined region in this file
+// 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
+// 
+// Also be aware that all of your 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.
 

package/src/types/{fluent.ts → fluent/fluent.ts}

@@ -14,8 +14,7 @@ export type ToFluent<
   X extends object = {}
 > = {
   [K in keyof T]: (...args: Parameters<T[K]>) => ToFluent<T, X> & X;
-} &
-  X;
+} & X;
 
 /**
  * A _pure_ Fluent API which promotes an API surface where _every_ API endpoint must be a function
@@ -53,10 +52,10 @@ export type PureFluentApi<
  * pass out the interior state which has been configured by the fluent parts of the API
  * - `TExclude` represents part of the API which -- due to the internal state -- should be hidden
  */
-export type FluentApi<
-  TFluent extends {
-    [K in keyof TFluent]: (...args: Parameters<TFluent[K]>) => FluentApi<TFluent, TEscape>;
-  },
-  TEscape extends object = {},
-  TExclude extends string = ""
-> = Omit<TFluent & TEscape, TExclude>;
+// export type FluentApi<
+//   TFluent extends {
+//     [K in keyof TFluent]: (...args: Parameters<TFluent[K]>) => FluentApi<TFluent, TEscape>;
+//   },
+//   TEscape extends object = {},
+//   TExclude extends string = ""
+// > = Omit<TFluent & TEscape, TExclude>;

package/src/types/fluent/index.ts

@@ -0,0 +1,42 @@
+// #autoindex
+// #region autoindexed files
+
+// index last changed at: 12th Dec, 2021, 12:28 PM ( GMT-8 )
+// export: named; exclusions: index, private.
+// files: fluent.
+
+// local file exports
+export * from "./fluent";
+
+// Note:
+// -----
+// This file was created by running: "dd devops 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
+//                          (useful for files which might symbols which collide
+//                          or where the namespacing helps consumers)
+//
+// 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
+// 
+// Also be aware that all of your 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.
+
+// #endregion

package/src/types/index.ts

@@ -1,13 +1,14 @@
 // #autoindex
 // #region autoindexed files
 
-// index last changed at: 8th Aug, 2021, 05:44 PM ( GMT-7 )
+// index last changed at: 10th Oct, 2021, 08:32 PM ( GMT-7 )
 // export: named; exclusions: index, private.
-// files: Api, EnumValues, ExpandRecursively, First, FunctionType, If, Include, Includes, KeyedRecord, Keys, Length, Mutable, Narrowable, Not, Numeric, Opaque, Retain, SameKeys, Transformer, TypeGuard, append-types, fluent, maybe, props, ruleset-types, runtime, type-testing.
-// directories: alphabetic, dictionary, kv, lists, string-literals, tuples, type-conversion.
+// files: Api, Constructor, EnumValues, ExpandRecursively, First, FunctionType, If, Include, Includes, KeyedRecord, Keys, Length, Mutable, Narrowable, Not, Numeric, Opaque, Retain, Transformer, TypeGuard, Where, append-types, maybe, props, ruleset-types, runtime, type-testing.
+// directories: alphabetic, dictionary, fluent, kv, lists, string-literals, tuples, type-conversion.
 
 // local file exports
 export * from "./Api";
+export * from "./Constructor";
 export * from "./EnumValues";
 export * from "./ExpandRecursively";
 export * from "./First";
@@ -24,11 +25,10 @@ export * from "./Not";
 export * from "./Numeric";
 export * from "./Opaque";
 export * from "./Retain";
-export * from "./SameKeys";
 export * from "./Transformer";
 export * from "./TypeGuard";
+export * from "./Where";
 export * from "./append-types";
-export * from "./fluent";
 export * from "./maybe";
 export * from "./props";
 export * from "./ruleset-types";
@@ -38,6 +38,7 @@ export * from "./type-testing";
 // directory exports
 export * from "./alphabetic/index";
 export * from "./dictionary/index";
+export * from "./fluent/index";
 export * from "./kv/index";
 export * from "./lists/index";
 export * from "./string-literals/index";
@@ -47,7 +48,7 @@ export * from "./type-conversion/index";
 // Note:
 // -----
 // This file was created by running: "dd devops autoindex"; it assumes you have
-// the 'do-devops' pkg installed as a dev dep.
+// 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:
@@ -66,7 +67,12 @@ export * from "./type-conversion/index";
 //
 //    - autoindex:named, exclude: foo,bar,baz
 //
-// Also be aware that all of your content outside the defined region in this file
+// 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
+// 
+// Also be aware that all of your 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.
 

package/src/types/ruleset-types.ts

@@ -1,6 +1,6 @@
 import type { TypeCondition } from "~/utility/runtime/ifTypeOf";
 import { OptionalKeys } from "./props";
-import { SameKeys } from "./SameKeys";
+import { SameKeys } from "./type-conversion/SameKeys";
 
 /**
  * **RuleDefinition**

package/src/types/type-conversion/WrapValue.ts

@@ -0,0 +1,15 @@
+type ValueFunction<T extends any> = <R extends any>(v: T) => R;
+
+/**
+ * **SameKeys**
+ *
+ * Given a dictionary `T` and a type-strong wrapper function `F`, returns a dictionary with the
+ * same keys but 
+ * 
+ * Note: meant to be used as part of an _extends_ clause in most cases.
+ */
+export type WrapValue<T extends {}, F extends ValueFunction<T>> = {
+  [P in keyof T]: ReturnType<F>;
+};
+
+

package/src/types/type-conversion/index.ts

@@ -2,19 +2,21 @@
 
 // #region autoindexed files
 
-// index last changed at: 8th Aug, 2021, 04:13 PM ( GMT-7 )
+// index last changed at: 10th Oct, 2021, 08:32 PM ( GMT-7 )
 // export: named; exclusions: index, private.
-// files: TupleToUnion, UnionToIntersection, UnionToTuple.
+// files: SameKeys, TupleToUnion, UnionToIntersection, UnionToTuple, WrapValue.
 
 // local file exports
+export * from "./SameKeys";
 export * from "./TupleToUnion";
 export * from "./UnionToIntersection";
 export * from "./UnionToTuple";
+export * from "./WrapValue";
 
 // Note:
 // -----
 // This file was created by running: "dd devops autoindex"; it assumes you have
-// the 'do-devops' pkg installed as a dev dep.
+// 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:
@@ -33,7 +35,12 @@ export * from "./UnionToTuple";
 //
 //    - autoindex:named, exclude: foo,bar,baz
 //
-// Also be aware that all of your content outside the defined region in this file
+// 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
+// 
+// Also be aware that all of your 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.
 

package/src/utility/dictionary/dictionaryTransform.ts

@@ -1,6 +1,6 @@
 /* eslint-disable no-use-before-define */
+import { keys } from "~/utility/keys";
 import { SameKeys, Transformer } from "~/types";
-import { kv } from "native-dash";
 
 /**
  * Takes a dictionary of type `I` and converts it to a dictionary of type `O` where
@@ -10,13 +10,12 @@ import { kv } from "native-dash";
  * and key, and then return expected value of `O` for the given key.
  */
 export function dictionaryTransform<I extends object, O extends SameKeys<I>>(
-  i: I,
+  input: I,
   transform: Transformer<I, O>
 ) {
-  const result = {} as any;
-  for (const pair of kv(i)) {
-    result[pair.key] = transform(i, pair.key);
-  }
 
-  return result as O;
+  return keys(input).reduce((acc, i) => {
+    const key = i as string & keyof I;
+    return {...acc, [key]: transform(input, key)};
+  }, {} as O);
 }

package/tests/Where.spec.ts

@@ -0,0 +1,39 @@
+import { Expect, Equal } from "@type-challenges/utils";
+import { Where, WhereNot } from "../src/types/Where";
+
+describe("Where<T,U> and WhereNot<T,U> type utility", () => {
+
+  it("readonly string array works correctly", () => {
+    const arr = ["foo", "bar", "baz"] as const;
+    type A = typeof arr;
+    type B = Where<A, `ba${string}`>;
+    type F = WhereNot<A, `ba${string}`>;
+
+    type cases = [
+      //
+      Expect<Equal<B, "bar"| "baz">>,
+      Expect<Equal<F, "foo">>
+    ];
+    
+    const c: cases = [ true, true ];
+    expect(c).toBe(c);
+  });
+
+  it("object with literal keys works", () => {
+    const arr = {foo: true, bar: true, baz: true} as const;
+    type A = typeof arr;
+    type B = Where<A, `ba${string}`>;
+    type F = WhereNot<A, `ba${string}`>;
+
+    type cases = [
+      //
+      Expect<Equal<B, "bar"| "baz">>,
+      Expect<Equal<F, "foo">>
+    ];
+    
+    const c: cases = [ true, true ];
+    expect(c).toBe(c);
+  });
+
+
+});

package/tests/constructor.spec.ts

@@ -0,0 +1,40 @@
+import { Expect, Equal } from "@type-challenges/utils";
+import { Constructor } from "../src/types/Constructor";
+
+class TestClass {
+  public foo: number;
+  public bar: string;
+
+  constructor(foo: number, bar: string) {
+    this.foo = foo;
+    this.bar = bar;
+  }
+}
+
+describe("Constructor<Ctor, Klass>", () => {
+  it("simple test", () => {
+    type KlassParams = ConstructorParameters<typeof TestClass>;
+    type KlassInstance = InstanceType<typeof TestClass>;
+    type Synthetic = Constructor<[foo: number, bar: string], TestClass>;
+    type SynReturn = InstanceType<Synthetic>;
+    const s: Synthetic = TestClass;
+
+    const myS = new s(1, "bar");
+
+    const inst = new TestClass(1, "bar");
+    type Instance = typeof inst;
+
+    type cases = [
+      // prep
+      Expect<Equal<Instance, { foo: number; bar: string }>>,
+      Expect<Equal<Instance, KlassInstance>>,
+      Expect<Equal<KlassParams, [foo: number, bar: string]>>,
+      //
+      Expect<Equal<SynReturn, TestClass>>
+    ];
+
+    const c: cases = [true, true, true, true];
+    expect(c).toBe(c);
+    expect(myS).toBeInstanceOf(TestClass);
+  });
+});

package/tests/data/index.ts

@@ -2,14 +2,14 @@
 
 // #region autoindexed files
 
-// index last changed at: 9th Sep, 2021, 03:09 PM ( GMT-7 )
+// index last changed at: 12th Dec, 2021, 12:35 PM ( GMT-8 )
 // export: named; exclusions: index, private.
 
 
 // Note:
 // -----
 // This file was created by running: "dd devops autoindex"; it assumes you have
-// the 'do-devops' pkg installed as a dev dep.
+// 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:
@@ -28,7 +28,12 @@
 //
 //    - autoindex:named, exclude: foo,bar,baz
 //
-// Also be aware that all of your content outside the defined region in this file
+// 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
+// 
+// Also be aware that all of your 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.
 

package/tests/kv/dict-to-kv-and-back.spec.ts

@@ -23,10 +23,7 @@ describe("dictToKv()", () => {
     }
 
     type cases = [
-      Expect<
-        Equal<
-          Val,
-          [
+      Expect<Equal<Val, [
             {
               key: "id";
               value: 123;
@@ -35,8 +32,7 @@ describe("dictToKv()", () => {
               key: "foo";
               value: "bar";
             }
-          ]
-        >
+          ]>
       >
     ];
 

package/tsconfig.json

@@ -1,7 +1,7 @@
 {
   "compilerOptions": {
-    "module": "commonjs",
-    "target": "ES2018",
+    "module": "ESNEXT",
+    "target": "ESNEXT",
     "moduleResolution": "node",
 
     "sourceMap": true,
@@ -16,11 +16,12 @@
     "noImplicitReturns": true,
     "allowSyntheticDefaultImports": true,
 
-    "lib": ["ES2019"],
+    "lib": ["ES2020"],
 
     "baseUrl": ".",
     "declaration": true,
     "outDir": "dist",
+    "tsBuildInfoFile": ".tsbuildinfo",
 
     "paths": {
       "~/*": ["src/*"],

package/dist/cjs/index.js

@@ -1,21 +0,0 @@
-'use strict';Object.defineProperty(exports,"__esModule",{value:!0});function createMutationFunction(a){return b=>b(a)}function MutationIdentity(){return function(a){return a}}class d extends Error{constructor(){super(...arguments);this.kind="BrilliantError"}}var f={exports:{}};let g=()=>{let a=Error.prepareStackTrace;Error.prepareStackTrace=(a,b)=>b;let b=Error().stack.slice(1);Error.prepareStackTrace=a;return b};f.exports=g;f.exports.default=g;var k=f.exports;
-function l(a){return a.map(a=>{let b=(a.getFileName()||"[file unknown]").split("/").slice(-2).join("/"),e=a.getFunctionName()||a.getMethodName()||"unknown";a=a.getLineNumber();return`\t- ${b}, ${e}()${a?`, at line ${a}`:""}`}).join("\n")}
-function createError(a,b){class c extends d{constructor(c,m,h={}){super(c);this.kind="BrilliantError";this.name=a;this.origin=b;this.classification=m;this.structuredStack=k().slice(1)||[];this.filename=(this.structuredStack[0].getFileName()||"").split("/").slice(-2).join("/");this.line=this.structuredStack[0].getLineNumber();this.fn=this.structuredStack[0].getMethodName()||this.structuredStack[0].getFunctionName();this.message=`${c} [ ${this.classification} ]\n\n${l(this.structuredStack)}`;h.httpStatusCode&&
-(this.httpStatus=h.httpStatusCode)}toJSON(){return{name:this.name,message:this.message,classification:this.classification,origin:this.origin,fn:this.fn,line:this.line,stack:this.structuredStack}}}return c}let InferenceError=createError("InferenceError","inferred-types");function keys$1(a,...b){return 0<b.length?Object.keys(a).filter(a=>!b.includes(a)):Object.keys(a)}function createFnWithProps(a,b){for(let c of keys$1(b))a[c]=b[c];return a}function ruleSet(a){return a}
-let api=a=>b=>{const c=()=>b;c.prototype.priv=()=>a;return c};function arrayToKeyLookup(...a){let b={};for(let c of a)b[c]=!0;return b}var DataType;
-(function(a){a["null"]="null";a.string="string";a.number="number";a.bigint="bigint";a.symbol="symbol";a["boolean"]="boolean";a["function"]="function";a.undefined="undefined";a.dictionary="dictionary";a.object="object";a.array="array";a.stringArray="string[]";a.numberArray="number[]";a.booleanArray="boolean[]";a.symbolArray="symbol[]";a.functionArray="function[]";a.undefinedArray="undefined[]";a.nullArray="null[]";a.objectArray="object[]";a.dictionaryArray="dictionary[]"})(DataType||(DataType={}));
-function keys(a){if(null===a)throw Error("Can not run keys() on a null value!");return Object.keys(a)}function kv$1(a){if("object"!==typeof a||null===a)throw Error("Value passed into kv() must be an object");return keys(a).reduce((b,c)=>{let e=a[c];return[...b,{key:c,value:e}]},[])}function omit(a,...b){return Object.fromEntries(Object.entries(a).filter(([a])=>!b.includes(a)))}var Rule;(function(a){a[a.regex=0]="regex";a[a.fn=1]="fn";a[a.exceptions=2]="exceptions"})(Rule||(Rule={}));var ExplicitRule;
-(function(a){a[a.singular=0]="singular";a[a.plural=1]="plural"})(ExplicitRule||(ExplicitRule={}));function dictFilter(a,b){keys$1(a).filter(c=>!b(c,a));return omit(a,...keys$1(a).filter(c=>!b(c,a)))}function dictionaryTransform(a,b){let c={};for(let e of kv$1(a))c[e.key]=b(a,e.key);return c}function entries(a){return{*[Symbol.iterator](){for(const b of keys$1(a))yield[b,a[b]]}}}function mapValues(a,b){return Object.fromEntries([...entries(a)].map(([a,e])=>[a,b(e)]))}
-function strArrayToDict(...a){return a.reduce((a,c)=>a={...a,[c]:!0},{})}function valuesOfProp(){}function dictToKv(a,b){return keys$1(a).map(b=>({key:b,value:a[b]}))}function Configurator(){let a=()=>({});return(()=>({set(b,c){b={[b]:c};const e={...a(),...b};a=()=>e;return e},remove(b){const c=a(),e=omit(c,b);a=()=>e;return e},done(){return a()}}))()}
-function FluentConfigurator(a={}){let b=a=>({set(c,m){return b({[c]:m,...a})},done(){return a}});if(a&&"object"!==typeof a)throw Error("The FluentConfigurator was passed a non-object based value as the initial value. This is not allowed.");return a?b(a):b({})}function KeyStorage(){let a=b=>({add:(...c)=>a([...b,...c]),remove:c=>a(b.filter(a=>a!==c)),done:()=>b});return a([])}function filterDictArray(a,b){let c=Configurator();return a.filter(a=>{const [e,h]=a;(a=b(e,h))||c.set(e,!0);return a})}
-function kv(a,b){return{[a]:b}}function kvToDict(a){let b={};for(let c of a)b[c.key]=c.value;return b}function groupBy(a){throw Error("not implemented");}function ExplicitFunction(a){return a}function arrayToObject(a,b){return c=>!1!==b?c.reduce((b,c)=>({...b,[c[a]]:c}),{}):c.reduce((b,c)=>({...b,[c[a]]:[...b[c[a]]||[],c]}),{})}function defineType(a={}){return(b={})=>a?{...b,...a}:b}let identity=a=>a;function idLiteral(a){return{...a,id:a.id}}function nameLiteral(a){return a}
-function kindLiteral(a){return a}function idTypeGuard(a){return!0}function literal(a){return a}let equals=(a,b)=>({kind:"Equals",field:a,val:b}),greater=(a,b)=>({kind:"Greater",field:a,val:b}),less=(a,b)=>({kind:"Less",field:a,val:b}),and=(a,b)=>({kind:"And",a,b}),or=(a,b)=>({kind:"Or",a,b});function Model(a){return{required(b){return Model(a)},optional(b){return Model(a)},done(){return{__model__:a,__kind__:"model"}}}}let condition=(a,b)=>a(b);
-function runtimeExtendsCheck(a,b,c=!1){if(typeof a!==typeof b)return!1;switch(typeof a){case "boolean":case "string":case "number":case "symbol":case "bigint":return c?a===b:!0;case "undefined":return!0;case "function":if(c)throw new InferenceError("Use of narrowlyExtends with a function is not possible!","ifTypeOf/not-allowed");return!0;case "object":return null===a&&null===b?!0:keys$1(b).every(e=>runtimeExtendsCheck(a[e],b[e],c))}}
-let ifTypeOf=a=>({extends:b=>runtimeExtendsCheck(a,b,!1)?!0:!1,narrowlyExtends:b=>runtimeExtendsCheck(a,b,!0)?!0:!1});function isArray(a){return!0===Array.isArray(a)}function isBoolean(a){return"boolean"===typeof a}function isFalse(a){return"boolean"===typeof a&&!a}function isFunction(a){return"function"===typeof a}function isLiteral(...a){return b=>!a.every(a=>b!==a)}function isNull(a){return null===a}function isNumber(a){return"number"===typeof a}
-function isObject(a){return"object"===typeof a&&null!==a&&!1===Array.isArray(a)}function isString(a){return"string"===typeof a}function isSymbol(a){return"symbol"===typeof a}function isTrue(a){return"boolean"===typeof a&&a}function isUndefined(a){return"undefined"===typeof a}
-let typeApi=()=>({string:{name:"string",type:"",typeGuard:a=>isString(a),is:isString},boolean:{name:"boolean",type:!0,typeGuard:a=>isBoolean(a),is:isBoolean},number:{name:"number",type:1,typeGuard:a=>isNumber(a),is:isNumber},function:{name:"function",type:Function,typeGuard:a=>isFunction(a),is:isFunction},null:{name:"null",type:null,typeGuard:a=>isNull(a),is:isNull},symbol:{name:"symbol",type:Symbol(),typeGuard:a=>isSymbol(a),is:isSymbol},undefined:{name:"undefined",type:void 0,typeGuard:a=>isUndefined(a),
-is:isUndefined},true:{name:"true",type:!0,typeGuard:a=>isTrue(a),is:isTrue},false:{name:"false",type:!1,typeGuard:a=>isFalse(a),is:isFalse},object:{name:"object",type:{},typeGuard:a=>isObject(a),is:isObject},array:{name:"array",type:{},typeGuard:a=>isArray(a),is:isObject}});function isType(a){return"object"===typeof a&&["name","type","is"].every(b=>Object.keys(a).includes(b))}
-function type(a){a=a(typeApi());if(!isType(a))throw Error(`When using type(), the callback passed in returned an invalid type! Value returned was: ${a}`);return a}function withValue(a){return b=>{let c=type(a);return Object.fromEntries([...entries(b)].filter(([,a])=>c.typeGuard(a)))}}exports.Configurator=Configurator;exports.ExplicitFunction=ExplicitFunction;exports.FluentConfigurator=FluentConfigurator;exports.InferenceError=InferenceError;exports.KeyStorage=KeyStorage;exports.Model=Model;
-exports.MutationIdentity=MutationIdentity;exports.and=and;exports.api=api;exports.arrayToKeyLookup=arrayToKeyLookup;exports.arrayToObject=arrayToObject;exports.condition=condition;exports.createFnWithProps=createFnWithProps;exports.createMutationFunction=createMutationFunction;exports.defineType=defineType;exports.dictFilter=dictFilter;exports.dictToKv=dictToKv;exports.dictionaryTransform=dictionaryTransform;exports.entries=entries;exports.equals=equals;exports.filterDictArray=filterDictArray;
-exports.greater=greater;exports.groupBy=groupBy;exports.idLiteral=idLiteral;exports.idTypeGuard=idTypeGuard;exports.identity=identity;exports.ifTypeOf=ifTypeOf;exports.isArray=isArray;exports.isBoolean=isBoolean;exports.isFalse=isFalse;exports.isFunction=isFunction;exports.isLiteral=isLiteral;exports.isNull=isNull;exports.isNumber=isNumber;exports.isObject=isObject;exports.isString=isString;exports.isSymbol=isSymbol;exports.isTrue=isTrue;exports.isType=isType;exports.isUndefined=isUndefined;
-exports.keys=keys$1;exports.kindLiteral=kindLiteral;exports.kv=kv;exports.kvToDict=kvToDict;exports.less=less;exports.literal=literal;exports.mapValues=mapValues;exports.nameLiteral=nameLiteral;exports.or=or;exports.ruleSet=ruleSet;exports.strArrayToDict=strArrayToDict;exports.type=type;exports.typeApi=typeApi;exports.valuesOfProp=valuesOfProp;exports.withValue=withValue

package/dist/es/index.js

@@ -1,17 +0,0 @@
-class e extends Error{constructor(){super(...arguments);this.kind="BrilliantError"}}var f={exports:{}};let g=()=>{let a=Error.prepareStackTrace;Error.prepareStackTrace=(a,b)=>b;let b=Error().stack.slice(1);Error.prepareStackTrace=a;return b};f.exports=g;f.exports.default=g;var k=f.exports;
-function l(a){return a.map(a=>{let b=(a.getFileName()||"[file unknown]").split("/").slice(-2).join("/"),d=a.getFunctionName()||a.getMethodName()||"unknown";a=a.getLineNumber();return`\t- ${b}, ${d}()${a?`, at line ${a}`:""}`}).join("\n")}
-let m=function(a,b){class c extends e{constructor(c,n,h={}){super(c);this.kind="BrilliantError";this.name=a;this.origin=b;this.classification=n;this.structuredStack=k().slice(1)||[];this.filename=(this.structuredStack[0].getFileName()||"").split("/").slice(-2).join("/");this.line=this.structuredStack[0].getLineNumber();this.fn=this.structuredStack[0].getMethodName()||this.structuredStack[0].getFunctionName();this.message=`${c} [ ${this.classification} ]\n\n${l(this.structuredStack)}`;h.httpStatusCode&&
-(this.httpStatus=h.httpStatusCode)}toJSON(){return{name:this.name,message:this.message,classification:this.classification,origin:this.origin,fn:this.fn,line:this.line,stack:this.structuredStack}}}return c}("InferenceError","inferred-types");function p(a,...b){return 0<b.length?Object.keys(a).filter(a=>!b.includes(a)):Object.keys(a)}var q,r=q||(q={});r["null"]="null";r.string="string";r.number="number";r.bigint="bigint";r.symbol="symbol";r["boolean"]="boolean";r["function"]="function";
-r.undefined="undefined";r.dictionary="dictionary";r.object="object";r.array="array";r.stringArray="string[]";r.numberArray="number[]";r.booleanArray="boolean[]";r.symbolArray="symbol[]";r.functionArray="function[]";r.undefinedArray="undefined[]";r.nullArray="null[]";r.objectArray="object[]";r.dictionaryArray="dictionary[]";
-function t(a){if("object"!==typeof a||null===a)throw Error("Value passed into kv() must be an object");if(null===a)throw Error("Can not run keys() on a null value!");return Object.keys(a).reduce((b,c)=>{let d=a[c];return[...b,{key:c,value:d}]},[])}function u(a,...b){return Object.fromEntries(Object.entries(a).filter(([a])=>!b.includes(a)))}var v,w=v||(v={});w[w.regex=0]="regex";w[w.fn=1]="fn";w[w.exceptions=2]="exceptions";var x,y=x||(x={});y[y.singular=0]="singular";y[y.plural=1]="plural";
-function z(a){return{*[Symbol.iterator](){for(const b of p(a))yield[b,a[b]]}}}function A(){let a=()=>({});return(()=>({set(b,c){b={[b]:c};const d={...a(),...b};a=()=>d;return d},remove(b){const c=a(),d=u(c,b);a=()=>d;return d},done(){return a()}}))()}function B(a){return{required(){return B(a)},optional(){return B(a)},done(){return{__model__:a,__kind__:"model"}}}}
-function C(a,b,c=!1){if(typeof a!==typeof b)return!1;switch(typeof a){case "boolean":case "string":case "number":case "symbol":case "bigint":return c?a===b:!0;case "undefined":return!0;case "function":if(c)throw new m("Use of narrowlyExtends with a function is not possible!","ifTypeOf/not-allowed");return!0;case "object":return null===a&&null===b?!0:p(b).every(d=>C(a[d],b[d],c))}}function D(a){return!0===Array.isArray(a)}function E(a){return"boolean"===typeof a}
-function F(a){return"boolean"===typeof a&&!a}function G(a){return"function"===typeof a}function H(a){return null===a}function I(a){return"number"===typeof a}function J(a){return"object"===typeof a&&null!==a&&!1===Array.isArray(a)}function K(a){return"string"===typeof a}function L(a){return"symbol"===typeof a}function M(a){return"boolean"===typeof a&&a}function N(a){return"undefined"===typeof a}
-let O=()=>({string:{name:"string",type:"",typeGuard:a=>K(a),is:K},boolean:{name:"boolean",type:!0,typeGuard:a=>E(a),is:E},number:{name:"number",type:1,typeGuard:a=>I(a),is:I},function:{name:"function",type:Function,typeGuard:a=>G(a),is:G},null:{name:"null",type:null,typeGuard:a=>null===a,is:H},symbol:{name:"symbol",type:Symbol(),typeGuard:a=>L(a),is:L},undefined:{name:"undefined",type:void 0,typeGuard:a=>N(a),is:N},true:{name:"true",type:!0,typeGuard:a=>M(a),is:M},false:{name:"false",type:!1,typeGuard:a=>
-F(a),is:F},object:{name:"object",type:{},typeGuard:a=>J(a),is:J},array:{name:"array",type:{},typeGuard:a=>D(a),is:J}});function P(a){return"object"===typeof a&&["name","type","is"].every(b=>Object.keys(a).includes(b))}function Q(a){a=a(O());if(!P(a))throw Error(`When using type(), the callback passed in returned an invalid type! Value returned was: ${a}`);return a}function ExplicitFunction(a){return a};
-function FluentConfigurator(a={}){let b=a=>({set(c,n){return b({[c]:n,...a})},done(){return a}});if(a&&"object"!==typeof a)throw Error("The FluentConfigurator was passed a non-object based value as the initial value. This is not allowed.");return a?b(a):b({})};function KeyStorage(){let a=b=>({add:(...c)=>a([...b,...c]),remove:c=>a(b.filter(a=>a!==c)),done:()=>b});return a([])};function MutationIdentity(){return function(a){return a}};
-var and=(a,b)=>({kind:"And",a,b});var api=a=>b=>{const c=()=>b;c.prototype.priv=()=>a;return c};function arrayToKeyLookup(...a){let b={};for(let c of a)b[c]=!0;return b};function arrayToObject(a,b){return c=>!1!==b?c.reduce((b,c)=>({...b,[c[a]]:c}),{}):c.reduce((b,c)=>({...b,[c[a]]:[...b[c[a]]||[],c]}),{})};var condition=(a,b)=>a(b);function createFnWithProps(a,b){for(let c of p(b))a[c]=b[c];return a};function createMutationFunction(a){return b=>b(a)};
-function defineType(a={}){return(b={})=>a?{...b,...a}:b};function dictFilter(a,b){p(a).filter(c=>!b(c,a));return u(a,...p(a).filter(c=>!b(c,a)))};function dictToKv(a){return p(a).map(b=>({key:b,value:a[b]}))};function dictionaryTransform(a,b){let c={};for(let d of t(a))c[d.key]=b(a,d.key);return c};var equals=(a,b)=>({kind:"Equals",field:a,val:b});
-function filterDictArray(a,b){let c=A();return a.filter(a=>{const [d,h]=a;(a=b(d,h))||c.set(d,!0);return a})};var greater=(a,b)=>({kind:"Greater",field:a,val:b});function groupBy(){throw Error("not implemented");};function idLiteral(a){return{...a,id:a.id}};function idTypeGuard(){return!0};var identity=a=>a;var ifTypeOf=a=>({extends:b=>C(a,b,!1)?!0:!1,narrowlyExtends:b=>C(a,b,!0)?!0:!1});
-function isLiteral(...a){return b=>!a.every(a=>b!==a)};function kindLiteral(a){return a};function kv(a,b){return{[a]:b}};function kvToDict(a){let b={};for(let c of a)b[c.key]=c.value;return b};var less=(a,b)=>({kind:"Less",field:a,val:b});function literal(a){return a};
-function mapValues(a,b){return Object.fromEntries([...z(a)].map(([a,d])=>[a,b(d)]))};function nameLiteral(a){return a};var or=(a,b)=>({kind:"Or",a,b});function ruleSet(a){return a};function strArrayToDict(...a){return a.reduce((a,c)=>a={...a,[c]:!0},{})};function valuesOfProp(){};function withValue(a){return b=>{let c=Q(a);return Object.fromEntries([...z(b)].filter(([,a])=>c.typeGuard(a)))}};export{A as Configurator,ExplicitFunction,FluentConfigurator,m as InferenceError,KeyStorage,B as Model,MutationIdentity,and,api,arrayToKeyLookup,arrayToObject,condition,createFnWithProps,createMutationFunction,defineType,dictFilter,dictToKv,dictionaryTransform,z as entries,equals,filterDictArray,greater,groupBy,idLiteral,idTypeGuard,identity,ifTypeOf,D as isArray,E as isBoolean,F as isFalse,G as isFunction,isLiteral,H as isNull,I as isNumber,J as isObject,K as isString,L as isSymbol,M as isTrue,P as isType,N as isUndefined,p as keys,kindLiteral,kv,kvToDict,less,literal,mapValues,nameLiteral,or,ruleSet,strArrayToDict,Q as type,O as typeApi,valuesOfProp,withValue}