inferred-types 0.42.1 → 0.43.1

package/dist/types/errors/ErrorCondition.d.ts

@@ -1,56 +1,93 @@
-import { EmptyObject, NotNull } from "../index";
-export type ErrorCondition__Props = {
-    context?: Record<string, unknown>;
-    utility?: string;
-    stack?: readonly string[];
+import { EmptyObject, ExpandRecursively, RemoveNever } from "../index";
+export interface TypeErrorInfo<TContext extends Record<string, unknown> = EmptyObject> {
+    /**
+     * if there is a particular "id" value which is useful to separate from the error message
+     * you can add it here.
+     */
     id?: string | number;
+    /**
+     * a _key_ involved in the ErrorCondition
+     */
+    key?: unknown;
+    keys?: readonly unknown[];
+    /**
+     * a _value_ involved in the ErrorCondition
+     */
+    value?: any | readonly any[];
+    extends?: any | readonly any[];
+    doesNotExtend?: any | readonly any[];
+    values?: readonly unknown[];
+    offset?: unknown;
+    index?: unknown;
+    /**
+     * If this error condition is originating in a library/repo then you can
+     * mark this as being the case.
+     */
     library?: string;
-};
-export interface TypeErrorInfo<TContext extends object = object, TUtility extends string | never = string | never, TStack extends readonly string[] = readonly string[], TId extends string | number | never = string | number | never, TLibrary extends string | never = string | never> {
     /**
-     * A place to add a dictionary of key/value pairs specifically related
-     * to the error.
+     * used typically for boolean operators to indicate the value
+     * being tested
      */
-    context?: TContext;
+    test?: unknown;
     /**
-     * the name of the type utility which generated the error
+     * used typically for boolean operators to indicate the value
+     * if the test is `true`
      */
-    utility?: TUtility;
+    if?: unknown;
     /**
-     * An array of known type utilities which were involved to get to this error
+     * used typically for boolean operators to indicate the value
+     * if the test is `false`
      */
-    stack?: TStack;
+    else?: unknown;
     /**
-     * if there is a particular "id" value which is useful to separate from the error message
-     * you can add it here.
+     * used typically for boolean operators to indicate the value
+     * if the test is `boolean`
      */
-    id?: TId;
+    maybe?: unknown;
     /**
-     * If this error condition is originating in a library/repo then you can
-     * mark this as being the case.
+     * an underlying ErrorCondition for which this ErrorCondition
+     * is based
+     */
+    underlying?: ErrorCondition;
+    /**
+     * In cases where a utility provides a means to handle the "never" value
+     * then this indicates what type _never_ would be mapped to.
+     */
+    handleNever?: any;
+    container?: any | readonly any[];
+    /**
+     * A place to add a dictionary of key/value pairs specifically related
+     * to the error which don't fit into the other props provided.
      */
-    library?: TLibrary;
+    ctx?: TContext;
+    [key: string]: unknown;
+}
+/**
+ * **ErrorConditionShape**
+ *
+ * Represents the basic shape of any `ErrorCondition`
+ */
+export interface ErrorConditionShape extends TypeErrorInfo {
+    __kind: "ErrorCondition";
+    kind: string;
+    msg: string;
 }
 /**
  * **ErrorCondition**`<TKind,[TMsg],[TDomain],[TVars]>`
  *
- * A way to express a meaningful error message in type system
+ * A way to express a meaningful error message in type system.
+ *
+ * **Related:** `Throw`, `ProxyError`, `MapError`, `IsErrorCondition`
  */
-export interface ErrorCondition<TKind extends string = string, TMsg extends string = string, TInfo extends TypeErrorInfo | null = TypeErrorInfo | null> {
-    _type: "ErrorCondition";
+export type ErrorCondition<TKind extends string = string, TMsg extends string = never, TUtility extends string = never, TStack extends readonly string[] = never, TRest extends TypeErrorInfo = EmptyObject> = ExpandRecursively<RemoveNever<{
     /** the kind/category of error this is */
     kind: TKind;
     /** an error about the message */
-    message: TMsg;
-    /** Error specific context */
-    context: TInfo extends NotNull ? TInfo["context"] : EmptyObject;
+    msg: TMsg;
     /** the originating type utility which threw the error */
-    utility: TInfo extends NotNull ? TInfo["utility"] : never;
+    utility: TUtility;
     /** the stack of utility types which were used to get to this error */
-    stack: TInfo extends NotNull ? TInfo["stack"] : [];
-    /** a unique id important to this error */
-    id: TInfo extends NotNull ? TInfo["id"] : never;
-    /** the library this error came from */
-    library: TInfo extends NotNull ? TInfo["library"] : never;
-}
+    stack: TStack;
+    __kind: "ErrorCondition";
+}> & TRest>;
 //# sourceMappingURL=ErrorCondition.d.ts.map

package/dist/types/errors/ErrorCondition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ErrorCondition.d.ts","sourceRoot":"","sources":["../../../src/types/errors/ErrorCondition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,iBAAwB;AAEvD,MAAM,MAAM,qBAAqB,GAAG;IAClC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAGF,MAAM,WAAW,aAAa,CAC5B,QAAQ,SAAS,MAAM,GAAG,MAAM,EAChC,QAAQ,SAAS,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,KAAK,EAChD,MAAM,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,EACpD,GAAG,SAAS,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,EAC7D,QAAQ,SAAS,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,KAAK;IAEhD;;;OAGG;IACH,OAAO,CAAC,EAAE,QAAQ,CAAC;IACnB;;OAEG;IACH,OAAO,CAAC,EAAE,QAAQ,CAAC;IACnB;;OAEG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf;;;OAGG;IACH,EAAE,CAAC,EAAE,GAAG,CAAC;IACT;;;OAGG;IACH,OAAO,CAAC,EAAE,QAAQ,CAAC;CACpB;AAID;;;;GAIG;AACH,MAAM,WAAW,cAAc,CAC7B,KAAK,SAAS,MAAM,GAAG,MAAM,EAC7B,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,KAAK,SAAS,aAAa,GAAG,IAAI,GAAG,aAAa,GAAG,IAAI;IAEzD,KAAK,EAAE,gBAAgB,CAAC;IACxB,yCAAyC;IACzC,IAAI,EAAE,KAAK,CAAC;IACZ,iCAAiC;IACjC,OAAO,EAAE,IAAI,CAAC;IACd,6BAA6B;IAC7B,OAAO,EAAE,KAAK,SAAS,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,WAAW,CAAC;IAChE,yDAAyD;IACzD,OAAO,EAAE,KAAK,SAAS,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;IAC1D,sEAAsE;IACtE,KAAK,EAAE,KAAK,SAAS,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;IACnD,0CAA0C;IAC1C,EAAE,EAAE,KAAK,SAAS,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IAChD,uCAAuC;IACvC,OAAO,EAAE,KAAK,SAAS,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;CAc3D"}
+{"version":3,"file":"ErrorCondition.d.ts","sourceRoot":"","sources":["../../../src/types/errors/ErrorCondition.ts"],"names":[],"mappings":"AACA,OAAO,EACL,WAAW,EACX,iBAAiB,EACjB,WAAW,EACZ,iBAAwB;AAEzB,MAAM,WAAW,aAAa,CAC5B,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,WAAW;IAEtD;;;OAGG;IACH,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAErB;;OAEG;IACH,GAAG,CAAC,EAAE,OAAO,CAAC;IAEd,IAAI,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IAC1B;;OAEG;IACH,KAAK,CAAC,EAAE,GAAG,GAAG,SAAS,GAAG,EAAE,CAAC;IAE7B,OAAO,CAAC,EAAE,GAAG,GAAG,SAAS,GAAG,EAAE,CAAC;IAE/B,aAAa,CAAC,EAAE,GAAG,GAAG,SAAS,GAAG,EAAE,CAAC;IAErC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IAE5B,MAAM,CAAC,EAAE,OAAO,CAAC;IAEjB,KAAK,CAAC,EAAE,OAAO,CAAC;IAEhB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;OAGG;IACH,IAAI,CAAC,EAAE,OAAO,CAAC;IACf;;;OAGG;IACH,EAAE,CAAC,EAAE,OAAO,CAAC;IACb;;;OAGG;IACH,IAAI,CAAC,EAAE,OAAO,CAAC;IACf;;;OAGG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;OAGG;IAEH,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B;;;OAGG;IAEH,WAAW,CAAC,EAAE,GAAG,CAAC;IAElB,SAAS,CAAC,EAAE,GAAG,GAAG,SAAS,GAAG,EAAE,CAAC;IAEjC;;;OAGG;IACH,GAAG,CAAC,EAAE,QAAQ,CAAC;IAEf,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAGD;;;;GAIG;AACH,MAAM,WAAW,mBAAoB,SAAQ,aAAa;IACxD,MAAM,EAAE,gBAAgB,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,CAExB,KAAK,SAAS,MAAM,GAAG,MAAM,EAE7B,IAAI,SAAS,MAAM,GAAG,KAAK,EAC3B,QAAQ,SAAS,MAAM,GAAG,KAAK,EAC/B,MAAM,SAAS,SAAS,MAAM,EAAE,GAAG,KAAK,EACxC,KAAK,SAAS,aAAa,GAAG,WAAW,IACvC,iBAAiB,CACrB,WAAW,CAAC;IACV,yCAAyC;IACzC,IAAI,EAAE,KAAK,CAAC;IACZ,iCAAiC;IACjC,GAAG,EAAE,IAAI,CAAC;IACV,yDAAyD;IACzD,OAAO,EAAE,QAAQ,CAAC;IAClB,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,gBAAgB,CAAC;CAC1B,CAAC,GAAG,KAAK,CAAC,CAAA"}

package/dist/types/errors/KindError.d.ts

@@ -0,0 +1,39 @@
+import { PascalCase, KebabCase } from "../index";
+/**
+ * **KindError**
+ *
+ * An error which:
+ *
+ * - must have a "kind" type defined which can be used to categorize the error
+ * - is allowed to express other key/value pairs in the `context` property
+ *
+ * This error is generated with the `kindError(kind, _defineContext) => (msg, ctx)`
+ * higher order function.
+ *
+ * ```ts
+ * // Defines the Error
+ * const BadJuju = kindError("bad-juju", { flavor?: "" });
+ * // BadJuju {
+ * //     name: BadJuju;
+ * //     kind: "bad-juju";
+ * //     msg: "oh my god!";
+ * //     context: { flavor?: string}
+ * // }
+ * BadJuju("oh my god!");
+ * BadJuju("oh my god!", { flavor: "strawberry"})
+ * ```
+ */
+export interface KindError<K extends string, C extends Record<string, unknown> = NonNullable<unknown>> extends Error {
+    __kind: "KindError";
+    name: PascalCase<K>;
+    kind: KebabCase<K>;
+    context: C;
+}
+/**
+ * **KindErrorDefn**`<K,C>`
+ *
+ * A definition for a `KindError`. Simply call this function to
+ * turn it into a `KindError` as specified by this definition.
+ */
+export type KindErrorDefn<K extends string, C extends Record<string, unknown> = NonNullable<unknown>> = (msg: string, context?: C) => KindError<K, C>;
+//# sourceMappingURL=KindError.d.ts.map

package/dist/types/errors/KindError.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"KindError.d.ts","sourceRoot":"","sources":["../../../src/types/errors/KindError.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,UAAU,EAAE,SAAS,EAAC,iBAAwB;AAEtD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,WAAW,SAAS,CACxB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,CACxD,SAAQ,KAAK;IACb,MAAM,EAAE,WAAW,CAAC;IACpB,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACnB,OAAO,EAAE,CAAC,CAAC;CACZ;AAED;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CACvB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,IACtD,CACF,GAAG,EAAE,MAAM,EACX,OAAO,CAAC,EAAE,CAAC,KACR,SAAS,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC"}

package/dist/types/errors/MapError.d.ts

@@ -0,0 +1,15 @@
+import { ErrorConditionShape } from "./ErrorCondition";
+import { Throw } from "./Throw";
+/**
+ * **MapError**`<TError,TUtility,[TGeneric]>`
+ *
+ * Allows a type utility which receives an `ErrorCondition` to
+ * proxy that through while changing the "type" of error to
+ * whatever is appropriate now in this new scope of execution.
+ *
+ * **Related:** `ProxyError`
+ */
+export type MapError<TError extends ErrorConditionShape, TKind extends string, TUtility extends string, TGeneric extends string | null = null> = Throw<TKind, TGeneric extends string ? `The "${TUtility}" type utility received an ErrorCondition<"${TError["kind"]}"> in it's ${TGeneric} parameter. The underlying error was: ${TError["msg"]}` : `The "${TUtility}" type utility an ErrorCondition<"${TError["kind"]}">. The underlying error was: ${TError["msg"]}`, TUtility, {
+    underlying: TError;
+}>;
+//# sourceMappingURL=MapError.d.ts.map

package/dist/types/errors/MapError.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MapError.d.ts","sourceRoot":"","sources":["../../../src/types/errors/MapError.ts"],"names":[],"mappings":"AAAA,OAAO,EAAG,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAEhC;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAElB,MAAM,SAAS,mBAAmB,EAElC,KAAK,SAAS,MAAM,EAEpB,QAAQ,SAAS,MAAM,EAEvB,QAAQ,SAAS,MAAM,GAAG,IAAI,GAAG,IAAI,IACnC,KAAK,CACP,KAAK,EACL,QAAQ,SAAS,MAAM,GACnB,QAAQ,QAAQ,8CAA8C,MAAM,CAAC,MAAM,CAAC,cAAc,QAAQ,yCAAyC,MAAM,CAAC,KAAK,CAAC,EAAE,GAC1J,QAAQ,QAAQ,qCAAqC,MAAM,CAAC,MAAM,CAAC,iCAAiC,MAAM,CAAC,KAAK,CAAC,EAAE,EACvH,QAAQ,EACR;IAAC,UAAU,EAAE,MAAM,CAAA;CAAC,CACrB,CAAC"}

package/dist/types/errors/PartialError.d.ts

@@ -0,0 +1,19 @@
+import { ExpandRecursively } from "../literals/ExpandRecursively";
+import { ErrorCondition } from "./ErrorCondition";
+export interface PartialErrorDefn {
+    kind?: string;
+    message?: string;
+    utility?: string;
+    library?: string;
+    underlying?: ErrorCondition;
+}
+/**
+ * **PartialError**`<[TKind],[TMessage],[]>`
+ *
+ * Allows an author to configure part of an `ErrorCondition`
+ * and then complete it with `CompleteError`.
+ */
+export type PartialError<TConfig extends PartialErrorDefn = PartialErrorDefn> = ExpandRecursively<{
+    __kind: "PartialError";
+} & TConfig>;
+//# sourceMappingURL=PartialError.d.ts.map

package/dist/types/errors/PartialError.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PartialError.d.ts","sourceRoot":"","sources":["../../../src/types/errors/PartialError.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGlD,MAAM,WAAW,gBAAgB;IAC/B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,cAAc,CAAC;CAC7B;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,OAAO,SAAS,gBAAgB,GAAG,gBAAgB,IACjD,iBAAiB,CACnB;IAAC,MAAM,EAAE,cAAc,CAAA;CAAC,GAAG,OAAO,CACnC,CAAA"}

package/dist/types/errors/ProxyError.d.ts

@@ -0,0 +1,22 @@
+import { ErrorCondition } from "./ErrorCondition";
+import { Throw } from "./Throw";
+type Underlying<T extends ErrorCondition> = "msg" extends keyof T ? T["msg"] extends string ? T["msg"] : "no message" : "no message";
+type StackDesc<T extends ErrorCondition> = "stack" extends keyof T ? T["stack"] extends readonly [string, ...string[]] ? ` [ from  ${T["stack"][0]} ]` : "" : "";
+/**
+ * **ProxyError**`<TError,TUtility,[TGeneric]>`
+ *
+ * Allows a type utility which receives an `ErrorCondition` to
+ * proxy that through to the caller but with a small amount of additional
+ * context to allow the user to better understand the call chain.
+ *
+ * **Notes:**
+ * - the "kind" of error is not modified; if you want that behavior use `MapError`
+ * instead.
+ * - you can improve the error message by stating the generic parameter which
+ * received the error
+ */
+export type ProxyError<TError extends ErrorCondition, TUtility extends string, TGeneric extends string | null = null> = Throw<TError["kind"], TGeneric extends string ? `The "${TUtility}" type utility detected an ErrorCondition in the "${TGeneric}" property passed into it. The underlying error message${StackDesc<TError>} was: ${Underlying<TError>}` : `The "${TUtility}" type utility detected an ErrorCondition. The underlying error message${StackDesc<TError>} was: ${Underlying<TError>}`, TUtility, {
+    underlying: TError;
+}>;
+export {};
+//# sourceMappingURL=ProxyError.d.ts.map

package/dist/types/errors/ProxyError.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProxyError.d.ts","sourceRoot":"","sources":["../../../src/types/errors/ProxyError.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAEhC,KAAK,UAAU,CAAC,CAAC,SAAS,cAAc,IAAI,KAAK,SAAS,MAAM,CAAC,GAC/D,CAAC,CAAC,KAAK,CAAC,SAAS,MAAM,GACrB,CAAC,CAAC,KAAK,CAAC,GACR,YAAY,GACd,YAAY,CAAA;AAEd,KAAK,SAAS,CAAC,CAAC,SAAS,cAAc,IAAI,OAAO,SAAS,MAAM,CAAC,GAChE,CAAC,CAAC,OAAO,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,GAC/C,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,GAC7B,EAAE,GACJ,EAAE,CAAC;AAEL;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,UAAU,CAEpB,MAAM,SAAS,cAAc,EAE7B,QAAQ,SAAS,MAAM,EAEvB,QAAQ,SAAS,MAAM,GAAG,IAAI,GAAG,IAAI,IACnC,KAAK,CACP,MAAM,CAAC,MAAM,CAAC,EACd,QAAQ,SAAS,MAAM,GACnB,QAAQ,QAAQ,qDAAqD,QAAQ,0DAA0D,SAAS,CAAC,MAAM,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,EAAE,GACrL,QAAQ,QAAQ,0EAA0E,SAAS,CAAC,MAAM,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,EAAE,EAC1I,QAAQ,EACR;IAAE,UAAU,EAAE,MAAM,CAAA;CAAE,CACzB,CAAA"}

package/dist/types/errors/StackTrace.d.ts

@@ -0,0 +1,13 @@
+export type SymbolKind = "function" | "method";
+export type StackFrame = {
+    type: string;
+    fn_name: string;
+    method_name: string;
+    filename: string;
+    line_number: number;
+    col_number: number;
+    is_native: boolean;
+    is_constructor: boolean;
+};
+export type StackTrace = StackFrame[];
+//# sourceMappingURL=StackTrace.d.ts.map

package/dist/types/errors/StackTrace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StackTrace.d.ts","sourceRoot":"","sources":["../../../src/types/errors/StackTrace.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE/C,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,EAAE,OAAO,CAAC;CACzB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,UAAU,EAAE,CAAC"}

package/dist/types/errors/Throw.d.ts

@@ -0,0 +1,21 @@
+import { ErrorCondition, TypeErrorInfo, IfNever, EmptyObject } from "../index";
+type Stack<TRest extends TypeErrorInfo> = "underlying" extends keyof TRest ? TRest["underlying"] extends ErrorCondition ? "stack" extends keyof TRest["underlying"] ? TRest["underlying"]["stack"] extends readonly string[] ? TRest["underlying"]["stack"] : never : never : never : never;
+type HandleStack<TUtility extends string, TRest extends TypeErrorInfo> = IfNever<TUtility, IfNever<Stack<TRest>, never, ["unspecified", ...Stack<TRest>]>, IfNever<Stack<TRest>, [TUtility], [TUtility, ...Stack<TRest>]>>;
+/**
+ * **Throw**`<TKind,[TMessage],[TUtility],[TRest]>`
+ *
+ * Allows a user to conveniently create a well formed `ErrorCondition`
+ * which prioritizes:
+ *
+ * - `TKind` - is **required** and gives the error a dasherized name
+ * which a caller can respond to. It provides a critical "grouping" feature.
+ * - `TMessage` - provides a user friendly message about the error
+ * - `TUtility` - the name of the _type utility_ in which this condition
+ * is being raised.
+ *
+ * The final parameter is `TRest` which provides a key/value dictionary --
+ * defined by `TypeErrorInfo` -- which can further describe the error.
+ */
+export type Throw<TKind extends string, TMessage extends string = never, TUtility extends string = never, TRest extends TypeErrorInfo = EmptyObject, TStack extends readonly string[] = HandleStack<TUtility, TRest>> = ErrorCondition<TKind, TMessage, TUtility, TStack, TRest>;
+export {};
+//# sourceMappingURL=Throw.d.ts.map

package/dist/types/errors/Throw.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Throw.d.ts","sourceRoot":"","sources":["../../../src/types/errors/Throw.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,EACd,aAAa,EACb,OAAO,EACP,WAAW,EACZ,iBAAwB;AAEzB,KAAK,KAAK,CACR,KAAK,SAAS,aAAa,IACzB,YAAY,SAAS,MAAM,KAAK,GAClC,KAAK,CAAC,YAAY,CAAC,SAAS,cAAc,GACxC,OAAO,SAAS,MAAM,KAAK,CAAC,YAAY,CAAC,GACvC,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,SAAS,SAAS,MAAM,EAAE,GACpD,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,GAC5B,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAGR,KAAK,WAAW,CACd,QAAQ,SAAS,MAAM,EACvB,KAAK,SAAS,aAAa,IACzB,OAAO,CACT,QAAQ,EACR,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,aAAa,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAC9D,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAC/D,CAAA;AAGD;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,KAAK,CACf,KAAK,SAAS,MAAM,EACpB,QAAQ,SAAS,MAAM,GAAG,KAAK,EAC/B,QAAQ,SAAS,MAAM,GAAG,KAAK,EAC/B,KAAK,SAAS,aAAa,GAAG,WAAW,EACzC,MAAM,SAAS,SAAS,MAAM,EAAE,GAAG,WAAW,CAAC,QAAQ,EAAC,KAAK,CAAC,IAC5D,cAAc,CAChB,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,KAAK,CACN,CAAC"}

package/dist/types/errors/index.d.ts

@@ -1,5 +1,11 @@
 export * from "./AsError";
 export * from "./ErrorCondition";
 export * from "./ErrorConditionHandler";
-export * from "./ReportError";
+export * from "./StackTrace";
+export * from "./KindError";
+export * from "./ProxyError";
+export * from "./MapError";
+export * from "./Throw";
+export * from "./PartialError";
+export * from "./CompleteError";
 //# sourceMappingURL=index.d.ts.map

package/dist/types/errors/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/errors/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/errors/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,SAAS,CAAC;AACxB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC"}

package/dist/types/errors/index.js

@@ -1,4 +1,10 @@
 export * from "./AsError.js";
 export * from "./ErrorCondition.js";
 export * from "./ErrorConditionHandler.js";
-export * from "./ReportError.js";
+export * from "./StackTrace.js";
+export * from "./KindError.js";
+export * from "./ProxyError.js";
+export * from "./MapError.js";
+export * from "./Throw.js";
+export * from "./PartialError.js";
+export * from "./CompleteError.js";

package/dist/types/functional/Option.d.ts

@@ -0,0 +1 @@
+//# sourceMappingURL=Option.d.ts.map

package/dist/types/functional/Option.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../../src/types/functional/Option.ts"],"names":[],"mappings":""}

package/dist/types/functional/Result.d.ts

@@ -0,0 +1,238 @@
+import { AsString, TupleToUnion, Widen, KebabCase, RuntimeUnion, Narrowable, TypeGuard, StackTrace, TakeProp, DoesExtend, If, IsFunction, Something, IsEqual, And } from "../index";
+import { RESULT } from "../../constants/index";
+type OK = typeof RESULT.Ok;
+type ERR = typeof RESULT.Err;
+/**`
+ * **ResultErr**
+ *
+ * A `ResultErr` provides the structure of an
+ */
+export type ResultErr<K extends string = string, C extends Record<string, unknown> = Record<string, unknown>, S extends boolean = boolean> = {
+    /**
+     * **kind**
+     *
+     * The _kind_ property in a `ResultErr` is used **categorize** an error
+     * and can be highly useful when people are attempting to recover from the
+     * error.
+     */
+    kind: KebabCase<K>;
+    /**
+     * **msg**
+     *
+     * The `msg` property allows developer to use _prose_ to describe the error.
+     * It is useful for people debugging an error as it may provide some additional
+     * summary insight into the error but it is typically not used programmatically
+     * to recover from an error.
+     */
+    msg: string;
+    /**
+     * **context**
+     *
+     * The `context` property is a dictionary of key/value pairs that allows for
+     * deeper context to be provided when an error is encountered.
+     */
+    context?: C;
+    /**
+     * **stack**
+     *
+     * Allows a user to express whether a stack trace should be generated for
+     * a given error.
+     */
+    stack?: S;
+};
+/**
+ * **ResultErrInputs**
+ *
+ * The types which can _represent_ an error within an `Err` block.
+ */
+export type ErrInput = string | ResultErr | ResultErr[] | RuntimeUnion<ResultErr[]>;
+/**
+ * **AsErr**`<T>`
+ *
+ * **Related:** `AsErrKind`, `ResultErr`
+ */
+export type AsErr<T extends ErrInput> = TupleToUnion<T extends RuntimeUnion<ResultErr[]> ? T["type"] : T extends string ? [{
+    msg: T;
+    kind: KebabCase<T>;
+    context: NonNullable<unknown>;
+    stack: false;
+}] : T extends ResultErr ? [
+    {
+        kind: TakeProp<T, "kind", "undefined">;
+        msg: TakeProp<T, "msg", "undefined">;
+        context: TakeProp<T, "context", NonNullable<unknown>>;
+        stack: TakeProp<T, "stack", false>;
+    }
+] : T extends readonly Required<ResultErr>[] ? T : never>;
+/**
+ * **AsErrKind**
+ *
+ * Provides a useful way to build a `ResultErr` which will be used as a "template"
+ * (aka., "msg" is always just a wide string value)
+ *
+ * **Related:** `AsErr`, `ResultErr`
+ */
+export type AsErrKind<T extends string | {
+    kind: string;
+    context?: Record<string, unknown>;
+    stack?: boolean;
+}> = T extends string ? {
+    kind: KebabCase<T>;
+    msg: string;
+    context: NonNullable<unknown>;
+    stack: false;
+} : T extends {
+    kind: string;
+    context: Record<string, unknown>;
+    stack?: boolean;
+} ? {
+    kind: KebabCase<AsString<T["kind"]>>;
+    msg: string;
+    context: "context" extends keyof T ? T["context"] extends Record<string, unknown> ? Widen<T["context"]> : NonNullable<unknown> : NonNullable<unknown>;
+    stack: TakeProp<T, "stack", false>;
+} : never;
+/**
+ * **ResultTuple**
+ *
+ * A tuple containing the types of both possible OK and ERR conditions and
+ * are stored in the `__kind` property of a `Result<T,E>`.
+ */
+export type ResultTuple<T = unknown, E extends ErrInput = ErrInput> = {
+    __kind: ["Result", ok: T, err: E];
+};
+export type RealizedErr<T extends ResultErr = ResultErr> = Exclude<T, "stack"> & {
+    stack: T["stack"] extends true ? StackTrace : never;
+};
+/**
+ * **Err**`<E>`
+ *
+ * A type utility which receives a _representation_ of an error when using
+ * the `Result<T,E>` structure. It will expand this _representation_ to a fully
+ * formed **state** and **err** property.
+ */
+export type Err<E extends ErrInput = ErrInput, T = unknown> = {
+    state: ERR;
+    err: AsErr<E>;
+} & ResultTuple<T, E>;
+/**
+ * **Ok**`<T>`
+ *
+ * The **ok** state of a `Result<T,E>` structure.
+ */
+export type Ok<T = unknown, E extends ErrInput = ErrInput> = {
+    state: OK;
+    val: T;
+} & ResultTuple<T, E>;
+/**
+ * **Result**`<T,E>`
+ *
+ * A structure which contains the union of either an OK or ERR
+ * state. This is meant to resemble the **Rust** type of the same
+ * name as much as possible.
+ */
+export type Result<T = unknown, E extends ErrInput = ErrInput> = Ok<T, E> | Err<E, T>;
+/**
+ * **ErrFrom**`<T>`
+ *
+ * Extracts the `Err` type from a `Result<T,E>`.
+ */
+export type ErrFrom<TResult extends Result> = TResult["__kind"][2];
+/**
+ * **KindFrom**`<T>`
+ *
+ * Extracts the _kind_ property from the `Err` type of a `Result<T,E>`.
+ */
+export type KindFrom<TResult extends Result> = AsErr<TResult["__kind"][2]>["kind"];
+export type OkFrom<TResult extends Result> = TResult["__kind"][1];
+type _IsResult<TTest extends Something, TVal = unknown, TErr extends ErrInput = ErrInput> = TTest extends Result ? OkFrom<TTest> extends TVal ? KindFrom<TTest> extends AsErr<TErr>["kind"] ? true : false : false : false;
+/**
+ * **IsResult**`<TTest,[TOk],[TErr]>`
+ *
+ * Boolean utility which tests whether `TTest` qualifies as a `Result<T,E>` type.
+ *
+ * **Note:** you may include explicit `TOk` or `TErr` values if you want to narrow
+ * the check condition but they are not required.
+ */
+export type IsResult<TTest extends Something, TVal = unknown, TErr extends ErrInput = ErrInput> = TTest extends ResultTuple ? If<IsEqual<_IsResult<TTest, TVal, TErr>, boolean>, false, _IsResult<TTest, TVal, TErr>> : false;
+/**
+ * **IsOk**`<TTest,[TVal]>`
+ *
+ * Boolean utility which detects whether `TTest` is in the "Ok" state
+ * for a `Result<T,E>`.
+ */
+export type IsOk<TTest, TVal = unknown> = TTest extends {
+    state: OK;
+    val: TVal;
+} ? true : false;
+/**
+ * **IsErr**`<TTest, [TErr]>`
+ *
+ * Boolean utility which detects whether `TTest` is in the "Err" state
+ * for a `Result<T,E>`.
+ */
+export type IsErr<TTest, TErr extends ErrInput = ErrInput> = If<And<[
+    DoesExtend<TTest, {
+        state: ERR;
+    }>,
+    TTest extends {
+        err: {
+            kind: string;
+        };
+    } ? AsErr<TErr> extends {
+        kind: string;
+    } ? TTest["err"]["kind"] extends AsErr<TErr>["kind"] ? true : false : true : true
+]>, true, false>;
+export type ResultApi<T, E extends ErrInput = ErrInput> = {
+    kind: "Result API";
+    /**
+     * **Result<T,E>**
+     *
+     * the _type_ of the result created
+     */
+    result: Result<T, E>;
+    /**
+     * **ok**`<T>`(val: T) -> Ok`<T>`
+     *
+     * Allows a developer inside of a function with a `Result<T,E>`
+     * return type to express the "OK" variant in a type safe manner.
+     */
+    ok: <V extends T>(v: V) => Ok<V, E>;
+    /**
+     * **err**`<E>`(err: E) => Err`<E>`
+     *
+     * Allows a developer inside of a function with a `Result<T,E>`
+     * return type to express the "ERR" variant in a type safe manner.
+     */
+    err: <TErr extends E>(e: Err) => Err<TErr, T>;
+    /**
+     * **isOk**(val)
+     *
+     * A type guard which helps to _narrow_ a `Result` type into the `Ok` variant.
+     */
+    isOk: TypeGuard<Ok<T>, IsEqual<T, unknown> extends true ? Narrowable : T>;
+    /**
+     * **isErr**(val)
+     *
+     * A type guard which helps to _narrow_ a `Result` type into the `Err` variant.
+     */
+    isErr: TypeGuard<Err<AsErr<E>>, ErrInput>;
+    /**
+     * **okOrElse**(val, otherwise)
+     *
+     * Allows you to accept the `Ok` variant's value when it arrives but
+     * handle the `Err` variant with another value.
+     *
+     * The handler for the `Err` condition can be a static value or a function
+     * (which will receive the `Err` as it's input).
+     */
+    okOrElse: <V extends Result<T, E>, TElse>(v: V, otherwise: TElse) => V extends Ok<V> ? Ok<V> : If<IsFunction<TElse>>;
+    /**
+     * **okOrThrow**(val) -> Ok<T>["val"]
+     *
+     * A function which either returns the _value_ of the `Ok` variant or
+     * throws a JS error.
+     */
+    okOrThrow: <V extends Result<T, E>>(v: V) => Ok<V>["val"];
+};
+export {};
+//# sourceMappingURL=Result.d.ts.map

package/dist/types/functional/Result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Result.d.ts","sourceRoot":"","sources":["../../../src/types/functional/Result.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,SAAS,EACT,YAAY,EACZ,UAAU,EACV,SAAS,EACT,UAAU,EACV,QAAQ,EACR,UAAU,EACV,EAAE,EACF,UAAU,EACV,SAAS,EACT,OAAO,EACP,GAAG,EACJ,iBAAwB;AAEzB,OAAO,EAAE,MAAM,EAAE,8BAA4B;AAE7C,KAAK,EAAE,GAAG,OAAO,MAAM,CAAC,EAAE,CAAC;AAC3B,KAAK,GAAG,GAAG,OAAO,MAAM,CAAC,GAAG,CAAC;AAE7B;;;;GAIG;AACH,MAAM,MAAM,SAAS,CACnB,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3D,CAAC,SAAS,OAAO,GAAG,OAAO,IACzB;IACF;;;;;;OAMG;IACH,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACnB;;;;;;;OAOG;IACH,GAAG,EAAE,MAAM,CAAC;IACZ;;;;;OAKG;IACH,OAAO,CAAC,EAAE,CAAC,CAAC;IAEZ;;;;;OAKG;IACH,KAAK,CAAC,EAAE,CAAC,CAAC;CACX,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GACzB,SAAS,GACT,SAAS,EAAE,GACX,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC;AAE9B;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,QAAQ,IAAI,YAAY,CACpD,CAAC,SAAS,YAAY,CAAC,SAAS,EAAE,CAAC,GAC/B,CAAC,CAAC,MAAM,CAAC,GACT,CAAC,SAAS,MAAM,GAChB,CAAC;IAAE,GAAG,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAAC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,GAC7E,CAAC,SAAS,SAAS,GACnB;IAAC;QACD,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;QACvC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QACrC,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;QACtD,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;KACpC;CAAC,GACA,CAAC,SAAS,SAAS,QAAQ,CAAC,SAAS,CAAC,EAAE,GACxC,CAAC,GACD,KAAK,CACR,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,CACnB,CAAC,SAAS,MAAM,GAAG;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,IACtF,CAAC,SAAS,MAAM,GAClB;IAAG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjF,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,GAC3E;IACA,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,SAAS,SAAS,MAAM,CAAC,GAC9B,CAAC,CAAC,SAAS,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC1C,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GACnB,WAAW,CAAC,OAAO,CAAC,GACtB,WAAW,CAAC,OAAO,CAAC,CAAC;IACzB,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;CACpC,GACC,KAAK,CAAC;AAGV;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CACrB,CAAC,GAAG,OAAO,EACX,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAC3B;IACF,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CACnC,CAAC;AAGF,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG;IAC/E,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,KAAK,CAAC;CACrD,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,EAAE,CAAC,GAAE,OAAO,IAAI;IAC3D,KAAK,EAAE,GAAG,CAAC;IACX,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;CACf,GAAG,WAAW,CAAC,CAAC,EAAC,CAAC,CAAC,CAAA;AAEpB;;;;GAIG;AACH,MAAM,MAAM,EAAE,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAAI;IAC3D,KAAK,EAAE,EAAE,CAAC;IACV,GAAG,EAAE,CAAC,CAAC;CACR,GAAG,WAAW,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC;AAErB;;;;;;GAMG;AACH,MAAM,MAAM,MAAM,CAChB,CAAC,GAAG,OAAO,EACX,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAC3B,EAAE,CAAC,CAAC,EAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAC,CAAC,CAAC,CAAA;AAEtB;;;;GAIG;AACH,MAAM,MAAM,OAAO,CACjB,OAAO,SAAS,MAAM,IACpB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;AAExB;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAClB,OAAO,SAAS,MAAM,IACpB,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAExC,MAAM,MAAM,MAAM,CAChB,OAAO,SAAS,MAAM,IAEpB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAEzB,KAAK,SAAS,CACd,KAAK,SAAS,SAAS,EACvB,IAAI,GAAG,OAAO,EACd,IAAI,SAAS,QAAQ,GAAG,QAAQ,IAC5B,KAAK,SAAS,MAAM,GACtB,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,GACxB,QAAQ,CAAC,KAAK,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GACzC,IAAI,GACJ,KAAK,GACP,KAAK,GACP,KAAK,CAAA;AAEP;;;;;;;GAOG;AACH,MAAM,MAAM,QAAQ,CAClB,KAAK,SAAS,SAAS,EACvB,IAAI,GAAG,OAAO,EACd,IAAI,SAAS,QAAQ,GAAG,QAAQ,IAC9B,KAAK,SAAS,WAAW,GAC3B,EAAE,CACA,OAAO,CAAC,SAAS,CAAC,KAAK,EAAC,IAAI,EAAC,IAAI,CAAC,EAAE,OAAO,CAAC,EAC1C,KAAK,EACL,SAAS,CAAC,KAAK,EAAC,IAAI,EAAC,IAAI,CAAC,CAC3B,GACH,KAAK,CAAC;AAGR;;;;;GAKG;AACH,MAAM,MAAM,IAAI,CACd,KAAK,EACL,IAAI,GAAG,OAAO,IACZ,KAAK,SAAS;IAAE,KAAK,EAAE,EAAE,CAAC;IAAC,GAAG,EAAE,IAAI,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAE1D;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CACf,KAAK,EACL,IAAI,SAAS,QAAQ,GAAG,QAAQ,IAC9B,EAAE,CACA,GAAG,CAAC;IACF,UAAU,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,GAAG,CAAA;KAAE,CAAC;IACjC,KAAK,SAAS;QAAE,GAAG,EAAE;YAAC,IAAI,EAAE,MAAM,CAAA;SAAC,CAAA;KAAC,GAClC,KAAK,CAAC,IAAI,CAAC,SAAU;QAAE,IAAI,EAAE,MAAM,CAAA;KAAC,GAClC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAC9C,IAAI,GACJ,KAAK,GACP,IAAI,GACN,IAAI;CACP,CAAC,EACF,IAAI,EACJ,KAAK,CACV,CAAA;AAED,MAAM,MAAM,SAAS,CACnB,CAAC,EACD,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAC3B;IACF,IAAI,EAAE,YAAY,CAAC;IACnB;;;;OAIG;IACH,MAAM,EAAE,MAAM,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC;IACpB;;;;;OAKG;IACH,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,KAAM,EAAE,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC;IACpC;;;;;OAKG;IACH,GAAG,EAAE,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAE9C;;;;OAIG;IACH,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,CAAC,CAAE,CAAC;IAC3E;;;;OAIG;IACH,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC;IAEzC;;;;;;;;OAQG;IACH,QAAQ,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,EAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,GAC/E,EAAE,CAAC,CAAC,CAAC,GACL,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1B;;;;;OAKG;IACH,SAAS,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;CAC1D,CAAA"}

package/dist/types/functional/Result.js

@@ -0,0 +1,2 @@
+;
+export {};

package/dist/types/functional/index.d.ts

@@ -1,3 +1,4 @@
 export * from "./Left";
 export * from "./Right";
+export * from "./Result";
 //# sourceMappingURL=index.d.ts.map

package/dist/types/functional/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/functional/index.ts"],"names":[],"mappings":"AAAA,cAAc,QAAQ,CAAC;AACvB,cAAc,SAAS,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/functional/index.ts"],"names":[],"mappings":"AAAA,cAAc,QAAQ,CAAC;AACvB,cAAc,SAAS,CAAC;AACxB,cAAc,UAAU,CAAC"}

package/dist/types/functional/index.js

@@ -1,2 +1,3 @@
 export * from "./Left.js";
 export * from "./Right.js";
+export * from "./Result.js";

package/dist/types/functions/AsFnMeta.d.ts

@@ -1,9 +1,8 @@
-import type { AnyFunction, IfEqual, FnMeta, FnProps, EmptyObject, IndexableObject } from "../index";
+import type { AnyFunction, FnMeta, FnProps, EmptyObject, ExpandDictionary, TypedFunction, IsNonEmptyObject } from "../index";
 /**
  * **AsFnMeta**`<TFn>`
  *
- * Takes a function `TFn` and returns the meta information in `FnMeta`
- * format.
+ * Converts any function into `FnMeta` format.
  */
-export type AsFnMeta<TFn extends AnyFunction> = IfEqual<FnProps<TFn>, EmptyObject, FnMeta<Parameters<TFn>, ReturnType<TFn>, "no-props">, FnMeta<Parameters<TFn>, ReturnType<TFn>, FnProps<TFn> extends IndexableObject ? FnProps<TFn> : never>>;
+export type AsFnMeta<TFn extends AnyFunction> = TFn extends TypedFunction ? [IsNonEmptyObject<FnProps<TFn>>] extends [true] ? FnMeta<TFn, Parameters<TFn>, ReturnType<TFn>, ExpandDictionary<FnProps<TFn>>> : FnMeta<TFn, Parameters<TFn>, ReturnType<TFn>, EmptyObject> : FnMeta<TypedFunction, any[], any, EmptyObject>;
 //# sourceMappingURL=AsFnMeta.d.ts.map