@fncts/typelevel 0.0.1

package/Number.d.ts

@@ -0,0 +1,56 @@
+import type { Cast, Equals } from "./Any.js";
+import type { False, Or, True } from "./Boolean.js";
+import type { Iteration, IterationMap, IterationOf, Next, Pos, Prev } from "./Iteration.js";
+export declare type _IsNegative<N extends Iteration> = {
+    "-": True;
+    "+": False;
+    "0": False;
+}[N[1]];
+export declare type IsNegative<N extends number> = _IsNegative<IterationOf<N>>;
+export declare type _IsPositive<N extends Iteration> = {
+    "-": False;
+    "+": True;
+    "0": False;
+}[N[1]];
+export declare type IsPositive<N extends number> = _IsPositive<IterationOf<N>>;
+export declare type _IsZero<N extends Iteration> = {
+    "-": False;
+    "+": False;
+    "0": True;
+}[N[1]];
+export declare type IsZero<N extends number> = _IsZero<IterationOf<N>>;
+export declare type _Negate<N extends Iteration> = IterationMap[N[4]];
+export declare type Negate<N extends number> = N extends unknown ? _Negate<IterationOf<N>>[0] : never;
+export declare type _AddPositive<N1 extends Iteration, N2 extends Iteration> = Pos<N2> extends 0 ? N1 : number extends Pos<N2> ? IterationOf<number> : _AddPositive<Next<N1>, Prev<N2>>;
+export declare type AddPositive<N1 extends Iteration, N2 extends Iteration> = _AddPositive<N1, N2> extends infer X ? Cast<X, Iteration> : never;
+export declare type _AddNegative<N1 extends Iteration, N2 extends Iteration> = Pos<N2> extends 0 ? N1 : number extends Pos<N2> ? IterationOf<number> : _AddNegative<Prev<N1>, Next<N2>>;
+export declare type AddNegative<N1 extends Iteration, N2 extends Iteration> = _AddNegative<N1, N2> extends infer X ? Cast<X, Iteration> : never;
+export declare type _Add<N1 extends Iteration, N2 extends Iteration> = {
+    [False]: AddPositive<N1, N2>;
+    [True]: AddNegative<N1, N2>;
+}[_IsNegative<N2>];
+export declare type Add<N1 extends number, N2 extends number> = N1 extends unknown ? N2 extends unknown ? _Add<IterationOf<N1>, IterationOf<N2>>[0] : never : never;
+export declare type _Sub<N1 extends Iteration, N2 extends Iteration> = _Add<N1, _Negate<N2>>;
+export declare type Sub<N1 extends number, N2 extends number> = N1 extends unknown ? N2 extends unknown ? _Add<IterationOf<N1>, _Negate<IterationOf<N2>>>[0] : never : never;
+export declare type _Absolute<N extends Iteration> = {
+    [False]: N;
+    [True]: _Negate<N>;
+}[_IsNegative<N>];
+export declare type Absolute<N extends number> = N extends unknown ? _Absolute<IterationOf<N>> : never;
+export declare type _Greater<N1 extends Iteration, N2 extends Iteration> = _IsPositive<_Sub<N1, N2>>;
+export declare type Greater<X extends number, Y extends number> = X extends unknown ? Y extends unknown ? _Greater<IterationOf<X>, IterationOf<Y>> : never : never;
+export declare type _Lower<N1 extends Iteration, N2 extends Iteration> = _Greater<N2, N1>;
+export declare type Lower<X extends number, Y extends number> = X extends unknown ? Y extends unknown ? _Lower<IterationOf<X>, IterationOf<Y>> : never : never;
+export declare type _GreaterEq<N1 extends Iteration, N2 extends Iteration> = Or<Equals<N1, N2>, _Greater<N1, N2>>;
+export declare type GreaterEq<X extends number, Y extends number> = X extends unknown ? Y extends unknown ? _GreaterEq<IterationOf<X>, IterationOf<Y>> : never : never;
+export declare type _LowerEq<N1 extends Iteration, N2 extends Iteration> = Or<Equals<N1, N2>, _Lower<N1, N2>>;
+export declare type LowerEq<X extends number, Y extends number> = X extends unknown ? Y extends unknown ? _LowerEq<IterationOf<X>, IterationOf<Y>> : never : never;
+export declare type Comparison = "<" | ">" | "<=" | ">=" | "==";
+export declare type _Comp<N1 extends Iteration, C extends Comparison, N2 extends Iteration> = {
+    "<": _Lower<N1, N2>;
+    ">": _Greater<N1, N2>;
+    "<=": _LowerEq<N1, N2>;
+    ">=": _GreaterEq<N1, N2>;
+    "==": Equals<N1, N2>;
+}[C];
+export declare type Comp<X extends number, C extends Comparison, Y extends number> = X extends unknown ? Y extends unknown ? _Comp<IterationOf<X>, C, IterationOf<Y>> : never : never;

package/Object.d.ts

@@ -0,0 +1,118 @@
+import type { At, Cast, Extends, Is, Key, Keys, Match } from "./Any.js";
+import type { False, True } from "./Boolean.js";
+import type { BuiltIn } from "./BuiltIn.js";
+import type { Iteration, IterationOf, Next, Pos } from "./Iteration.js";
+import type { Append, Head, Length, List, Pop, PrependAll, Tail } from "./List.js";
+import type * as U from "./Union.js";
+export declare type _Path<O, P extends List<Key>, I extends Iteration = IterationOf<0>> = {
+    [False]: _Path<At<O, P[Pos<I>]>, P, Next<I>>;
+    [True]: O;
+}[Extends<Pos<I>, Length<P>>];
+export declare type Path<O, P extends List<Key>> = _Path<O & {}, P> extends infer X ? Cast<X, any> : never;
+declare type Index = number | string;
+declare type KeyToIndex<K extends Key, SP extends List<Index>> = number extends K ? Head<SP> : K & Index;
+declare const __Cont: unique symbol;
+declare type __Cont = typeof __Cont;
+declare const __Path: unique symbol;
+declare type __Path = typeof __Path;
+declare type _MetaPath<O, SP extends List<Index> = [], P extends List<Index> = []> = {
+    [K in keyof O]: {
+        [__Cont]: _MetaPath<O[K], Tail<SP>, Append<P, KeyToIndex<K, SP>>>;
+        [__Path]: Append<P, KeyToIndex<K, SP>>;
+    };
+};
+declare type MetaPath<O, SP extends List<Index> = [], P extends List<Index> = []> = {
+    [__Cont]: _MetaPath<O, SP, P>;
+    [__Path]: [];
+};
+declare type NextPath<OP> = At<UnionOf<At<OP, __Cont>>, __Path> extends infer X ? undefined extends X ? never : X : never;
+declare type ExecPath<A, SP extends List<Index>> = NextPath<Path<MetaPath<A, SP>, PrependAll<SP, __Cont>>>;
+declare type HintPath<A, SP extends List<Index>, Exec extends List<Index>> = [Exec] extends [never] ? ExecPath<A, Pop<SP>> : Exec | SP;
+export declare type AutoPath<A, P extends List<Index>> = HintPath<A, P, ExecPath<A, P>>;
+export declare type _UnionOf<O> = O[keyof O];
+export declare type UnionOf<O> = O extends unknown ? _UnionOf<O> : never;
+export declare type _RequiredKeys<O> = {
+    [K in keyof O]-?: {} extends Pick<O, K> ? never : K;
+}[keyof O];
+export declare type RequiredKeys<O> = O extends unknown ? _RequiredKeys<O> : never;
+export declare type _OptionalKeys<O> = {
+    [K in keyof O]-?: {} extends Pick<O, K> ? K : never;
+}[keyof O];
+export declare type OptionalKeys<O> = O extends unknown ? _OptionalKeys<O> : never;
+declare type __Pick<O, K extends keyof O> = {
+    [P in K]: O[P];
+} & {};
+export declare type _Pick<O, K extends Key> = __Pick<O, keyof O & K>;
+export declare type Pick<O, K extends Key> = O extends unknown ? _Pick<O, K> : never;
+export declare type _Omit<O, K extends Key> = _Pick<O, U.Exclude<keyof O, K>>;
+export declare type Omit<O, K extends Key> = O extends unknown ? _Omit<O, K> : never;
+export declare type Anyify<O> = {
+    [K in keyof O]: any;
+};
+export declare type _ExcludeMatch<O, O1, M extends Match> = {
+    [K in keyof O]-?: {
+        [True]: never;
+        [False]: K;
+    }[Is<O[K], At<O1, K>, M>];
+}[keyof O];
+export declare type ExcludeMatch<O, O1, M extends Match> = O extends unknown ? _ExcludeMatch<O, O1, M> : never;
+export declare type ExcludeKeys<O, O1, M extends Match = "default"> = {
+    default: U.Exclude<Keys<O>, Keys<O1>>;
+    "contains->": ExcludeMatch<O, O1, "contains->">;
+    "extends->": ExcludeMatch<O, O1, "extends->">;
+    "<-contains": ExcludeMatch<O, O1, "<-contains">;
+    "<-extends": ExcludeMatch<O, O1, "<-extends">;
+    equals: ExcludeMatch<O, O1, "equals">;
+}[M];
+export declare type Exclude<O, O1, M extends Match> = Pick<O, ExcludeKeys<O, O1, M>>;
+declare type Longer<L extends List, L1 extends List> = L extends unknown ? L1 extends unknown ? U.Has<RequiredKeys<L>, RequiredKeys<L1>> : never : never;
+declare type MergeProp<OK, O1K, Fill, OOKeys extends Key, K extends Key> = K extends OOKeys ? U.Exclude<OK, undefined> | O1K : [OK] extends [never] ? O1K : OK extends Fill ? O1K : OK;
+declare type MergeFlatObject<O, O1, Fill, OOKeys extends Key = OptionalKeys<O>> = {
+    [K in keyof (Anyify<O> & O1)]: MergeProp<At<O, K>, At<O1, K>, Fill, OOKeys, K>;
+} & {};
+declare type MergeFlatList<L extends List, L1 extends List, Ignore, Fill, LOK extends Key = _OptionalKeys<L>> = number extends Length<L | L1> ? MergeFlatChoice<L[number], L1[number], Ignore, Fill>[] : Longer<L, L1> extends True ? {
+    [K in keyof L]: MergeProp<L[K], At<L1, K>, Fill, LOK, K>;
+} : {
+    [K in keyof L1]: MergeProp<At<L, K>, L1[K], Fill, LOK, K>;
+};
+declare type MergeFlatChoice<O, O1, Ignore, Fill> = O extends Ignore ? O : O1 extends Ignore ? O : O extends List ? O1 extends List ? MergeFlatList<O, O1, Ignore, Fill> : MergeFlatObject<O, O1, Fill> : MergeFlatObject<O, O1, Fill>;
+export declare type MergeFlat<O, O1, Ignore = BuiltIn, Fill = undefined> = O extends unknown ? O1 extends unknown ? MergeFlatChoice<O, O1, Ignore, Fill> : never : never;
+declare type MergeDeepList<L extends List, L1 extends List, Ignore, Fill> = number extends Length<L | L1> ? MergeDeepChoice<L[number], L1[number], Ignore, Fill, never, any>[] : Longer<L, L1> extends True ? {
+    [K in keyof L]: MergeDeepChoice<L[K], At<L1, K>, Ignore, Fill, _OptionalKeys<L>, K>;
+} : {
+    [K in keyof L1]: MergeDeepChoice<At<L, K>, L1[K], Ignore, Fill, _OptionalKeys<L>, K>;
+};
+declare type MergeDeepObject<O, O1, Ignore, Fill, OOKeys extends Key = _OptionalKeys<O>> = {
+    [K in keyof (Anyify<O> & O1)]: MergeDeepChoice<At<O, K>, At<O1, K>, Ignore, Fill, OOKeys, K>;
+};
+declare type MergeDeepChoice<OK, O1K, Ignore, Fill, OOKeys extends Key, K extends Key> = [OK] extends [
+    never
+] ? MergeProp<OK, O1K, Fill, OOKeys, K> : [O1K] extends [never] ? MergeProp<OK, O1K, Fill, OOKeys, K> : OK extends Ignore ? MergeProp<OK, O1K, Fill, OOKeys, K> : O1K extends Ignore ? MergeProp<OK, O1K, Fill, OOKeys, K> : OK extends List ? O1K extends List ? MergeDeepList<OK, O1K, Ignore, Fill> : MergeProp<OK, O1K, Fill, OOKeys, K> : OK extends object ? O1K extends object ? MergeDeepObject<OK, O1K, Ignore, Fill> : MergeProp<OK, O1K, Fill, OOKeys, K> : MergeProp<OK, O1K, Fill, OOKeys, K>;
+export declare type MergeDeep<O, O1, Ignore, Fill> = O extends unknown ? O1 extends unknown ? MergeDeepChoice<O, O1, Ignore, Fill, "x", "y"> : never : never;
+declare type PatchProp<OK, O1K, Fill, OKeys extends Key, K extends Key> = K extends OKeys ? OK extends Fill ? O1K : OK : O1K;
+/**
+ * @hidden
+ */
+declare type PatchFlatObject<O, O1, Fill, OKeys extends Key = keyof O> = {
+    [K in keyof (O & _Omit<O1, OKeys>)]: PatchProp<At<O, K>, At<O1, K>, Fill, OKeys, K>;
+} & {};
+declare type PatchFlatList<L extends List, L1 extends List, Ignore, Fill> = number extends Length<L | L1> ? PatchFlatChoice<L[number], L1[number], Ignore, Fill>[] : Longer<L, L1> extends True ? {
+    [K in keyof L]: PatchProp<L[K], At<L1, K>, Fill, keyof L, K>;
+} : {
+    [K in keyof L1]: PatchProp<At<L, K>, L1[K], Fill, keyof L, K>;
+};
+export declare type PatchFlatChoice<O, O1, Ignore, Fill> = O extends Ignore ? O : O1 extends Ignore ? O : O extends List ? O1 extends List ? PatchFlatList<O, O1, Ignore, Fill> : PatchFlatObject<O, O1, Fill> : PatchFlatObject<O, O1, Fill>;
+export declare type PatchFlat<O, O1, Ignore = BuiltIn, Fill = never> = O extends unknown ? O1 extends unknown ? PatchFlatChoice<O, O1, Ignore, Fill> : never : never;
+declare type PatchDeepList<L extends List, L1 extends List, Ignore, Fill> = number extends Length<L | L1> ? PatchDeepChoice<L[number], L1[number], Ignore, Fill, never, any>[] : Longer<L, L1> extends True ? {
+    [K in keyof L]: PatchDeepChoice<L[K], At<L1, K>, Ignore, Fill, keyof L, K>;
+} : {
+    [K in keyof L1]: PatchDeepChoice<At<L, K>, L1[K], Ignore, Fill, keyof L, K>;
+};
+declare type PatchDeepObject<O, O1, Ignore, Fill, OKeys extends Key = keyof O> = {
+    [K in keyof (O & _Omit<O1, OKeys>)]: PatchDeepChoice<At<O, K>, At<O1, K>, Ignore, Fill, OKeys, K>;
+};
+declare type PatchDeepChoice<OK, O1K, Ignore, fill, OKeys extends Key, K extends Key> = [OK] extends [never] ? PatchProp<OK, O1K, fill, OKeys, K> : [O1K] extends [never] ? PatchProp<OK, O1K, fill, OKeys, K> : OK extends Ignore ? PatchProp<OK, O1K, fill, OKeys, K> : O1K extends Ignore ? PatchProp<OK, O1K, fill, OKeys, K> : OK extends List ? O1K extends List ? PatchDeepList<OK, O1K, Ignore, fill> : PatchProp<OK, O1K, fill, OKeys, K> : OK extends object ? O1K extends object ? PatchDeepObject<OK, O1K, Ignore, fill> : PatchProp<OK, O1K, fill, OKeys, K> : PatchProp<OK, O1K, fill, OKeys, K>;
+export declare type PatchDeep<O, O1, Ignore, Fill> = O extends unknown ? O1 extends unknown ? PatchDeepChoice<O, O1, Ignore, Fill, "x", "y"> : never : never;
+export declare type Diff<O, O1, M extends Match = "default"> = PatchFlat<Exclude<O, O1, M>, Exclude<O1, O, M>>;
+export declare type EnforceNonEmpty<O> = keyof O extends never ? never : O;
+export {};

package/String.d.ts

@@ -0,0 +1,8 @@
+import type { Cast, Literal } from "./Any.js";
+import type { List, Pop } from "./List.js";
+declare type _Join<T extends List, D extends string> = T extends [] ? "" : T extends [Literal] ? `${T[0]}` : T extends [Literal, ...infer R] ? `${T[0]}${D}${_Join<R, D>}` : string;
+export declare type Join<T extends List<Literal>, D extends string = ""> = _Join<T, D> extends infer X ? Cast<X, string> : never;
+declare type __Split<S extends string, D extends string, T extends string[] = []> = S extends `${infer BS}${D}${infer AS}` ? __Split<AS, D, [...T, BS]> : [...T, S];
+declare type _Split<S extends string, D extends string = ""> = D extends "" ? Pop<__Split<S, D>> : __Split<S, D>;
+export declare type Split<S extends string, D extends string = ""> = _Split<S, D> extends infer X ? Cast<X, string[]> : never;
+export {};

package/Union.d.ts

@@ -0,0 +1,23 @@
+import type { Cast, Equals, Extends, Is, Match } from "./Any.js";
+import type { False, True } from "./Boolean.js";
+import type { List, Prepend } from "./List.js";
+export declare type IntersectionOf<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+export declare type Last<U> = IntersectionOf<U extends unknown ? (x: U) => void : never> extends (x: infer P) => void ? P : never;
+declare type _ListOf<U, LN extends List = [], LastU = Last<U>> = Extends<[U], [never]> extends False ? _ListOf<Exclude<U, LastU>, Prepend<LN, LastU>> : LN;
+export declare type ListOf<U> = _ListOf<U> extends infer X ? Cast<X, List> : never;
+export declare type Has<A, B> = [B] extends [A] ? True : False;
+export declare type Select<U, M, _ extends Match = "default"> = U extends unknown ? {
+    [False]: never;
+    [True]: U & M;
+}[Is<U, M, _>] : never;
+export declare type Filter<U, M, _ extends Match = "default"> = U extends unknown ? {
+    [False]: U & M;
+    [True]: never;
+}[Is<U, M, _>] : never;
+export declare type Intersect<A, B> = A extends unknown ? B extends unknown ? {
+    [True]: A;
+    [False]: never;
+}[Equals<A, B>] : never : never;
+export declare type Exclude<A, B> = A extends B ? never : A;
+export declare type Pop<U> = Exclude<U, Last<U>>;
+export {};

package/_cjs/Any.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=Any.cjs.map

package/_cjs/Any.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Any.cjs","names":[],"sources":["../esm/Any.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/Boolean.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=Boolean.cjs.map

package/_cjs/Boolean.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Boolean.cjs","names":[],"sources":["../esm/Boolean.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/BuiltIn.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=BuiltIn.cjs.map

package/_cjs/BuiltIn.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"BuiltIn.cjs","names":[],"sources":["../esm/BuiltIn.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/Check.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=Check.cjs.map

package/_cjs/Check.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Check.cjs","names":[],"sources":["../esm/Check.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/Function.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=Function.cjs.map

package/_cjs/Function.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Function.cjs","names":[],"sources":["../esm/Function.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/HKT.cjs

@@ -0,0 +1,26 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.HKT = void 0;
+// eslint-disable-next-line @typescript-eslint/no-namespace
+var HKT;
+exports.HKT = HKT;
+
+(function (HKT) {
+  /*
+   * Instance util
+   */
+
+  /**
+   * @tsplus macro identity
+   */
+  function instance(_) {
+    // @ts-expect-error: typelevel utility
+    return _;
+  }
+
+  HKT.instance = instance;
+})(HKT || (exports.HKT = HKT = {}));
+//# sourceMappingURL=HKT.cjs.map

package/_cjs/HKT.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"HKT.cjs","names":["HKT","instance","_"],"sources":["../esm/HKT.js"],"sourcesContent":["// eslint-disable-next-line @typescript-eslint/no-namespace\nexport var HKT;\n(function (HKT) {\n    /*\n     * Instance util\n     */\n    /**\n     * @tsplus macro identity\n     */\n    function instance(_) {\n        // @ts-expect-error: typelevel utility\n        return _;\n    }\n    HKT.instance = instance;\n})(HKT || (HKT = {}));\n"],"mappings":";;;;;;AAAA;AACO,IAAIA,GAAJ;;;AACP,CAAC,UAAUA,GAAV,EAAe;EACZ;AACJ;AACA;;EACI;AACJ;AACA;EACI,SAASC,QAAT,CAAkBC,CAAlB,EAAqB;IACjB;IACA,OAAOA,CAAP;EACH;;EACDF,GAAG,CAACC,QAAJ,GAAeA,QAAf;AACH,CAZD,EAYGD,GAAG,mBAAKA,GAAG,GAAG,EAAX,CAZN"}

package/_cjs/Intersection.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=Intersection.cjs.map

package/_cjs/Intersection.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Intersection.cjs","names":[],"sources":["../esm/Intersection.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/Iteration.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=Iteration.cjs.map

package/_cjs/Iteration.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Iteration.cjs","names":[],"sources":["../esm/Iteration.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/List.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=List.cjs.map

package/_cjs/List.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"List.cjs","names":[],"sources":["../esm/List.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/Number.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=Number.cjs.map

package/_cjs/Number.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Number.cjs","names":[],"sources":["../esm/Number.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/Object.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=Object.cjs.map

package/_cjs/Object.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Object.cjs","names":[],"sources":["../esm/Object.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/String.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=String.cjs.map

package/_cjs/String.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"String.cjs","names":[],"sources":["../esm/String.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/Union.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=Union.cjs.map

package/_cjs/Union.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Union.cjs","names":[],"sources":["../esm/Union.js"],"sourcesContent":["export {};\n"],"mappings":""}

package/_cjs/index.cjs

@@ -0,0 +1,51 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.Union = exports.String = exports.Object = exports.Number = exports.List = exports.Iteration = exports.Intersection = exports.Function = exports.Boolean = exports.Any = void 0;
+
+var _Any = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Any.js"));
+
+exports.Any = _Any;
+
+var _Boolean = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Boolean.js"));
+
+exports.Boolean = _Boolean;
+
+var _Function = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Function.js"));
+
+exports.Function = _Function;
+
+var _Intersection = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Intersection.js"));
+
+exports.Intersection = _Intersection;
+
+var _Iteration = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Iteration.js"));
+
+exports.Iteration = _Iteration;
+
+var _List = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./List.js"));
+
+exports.List = _List;
+
+var _Number = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Number.js"));
+
+exports.Number = _Number;
+
+var _Object = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Object.js"));
+
+exports.Object = _Object;
+
+var _String = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./String.js"));
+
+exports.String = _String;
+
+var _Union = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Union.js"));
+
+exports.Union = _Union;
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+//# sourceMappingURL=index.cjs.map

package/_cjs/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.cjs","names":[],"sources":["../esm/index.js"],"sourcesContent":["export * as Any from \"./Any.js\";\nexport * as Boolean from \"./Boolean.js\";\nexport * as Function from \"./Function.js\";\nexport * as Intersection from \"./Intersection.js\";\nexport * as Iteration from \"./Iteration.js\";\nexport * as List from \"./List.js\";\nexport * as Number from \"./Number.js\";\nexport * as Object from \"./Object.js\";\nexport * as String from \"./String.js\";\nexport * as Union from \"./Union.js\";\n"],"mappings":""}

package/_mjs/Any.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Any.mjs.map

package/_mjs/Any.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Any.mjs","names":[],"sources":["../esm/Any.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/Boolean.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Boolean.mjs.map

package/_mjs/Boolean.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Boolean.mjs","names":[],"sources":["../esm/Boolean.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/BuiltIn.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=BuiltIn.mjs.map

package/_mjs/BuiltIn.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"BuiltIn.mjs","names":[],"sources":["../esm/BuiltIn.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/Check.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Check.mjs.map

package/_mjs/Check.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Check.mjs","names":[],"sources":["../esm/Check.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/Function.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Function.mjs.map

package/_mjs/Function.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Function.mjs","names":[],"sources":["../esm/Function.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/HKT.mjs

@@ -0,0 +1,19 @@
+// eslint-disable-next-line @typescript-eslint/no-namespace
+export var HKT;
+
+(function (HKT) {
+  /*
+   * Instance util
+   */
+
+  /**
+   * @tsplus macro identity
+   */
+  function instance(_) {
+    // @ts-expect-error: typelevel utility
+    return _;
+  }
+
+  HKT.instance = instance;
+})(HKT || (HKT = {}));
+//# sourceMappingURL=HKT.mjs.map

package/_mjs/HKT.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"HKT.mjs","names":["HKT","instance","_"],"sources":["../esm/HKT.js"],"sourcesContent":["// eslint-disable-next-line @typescript-eslint/no-namespace\nexport var HKT;\n(function (HKT) {\n    /*\n     * Instance util\n     */\n    /**\n     * @tsplus macro identity\n     */\n    function instance(_) {\n        // @ts-expect-error: typelevel utility\n        return _;\n    }\n    HKT.instance = instance;\n})(HKT || (HKT = {}));\n"],"mappings":"AAAA;AACA,OAAO,IAAIA,GAAJ;;AACP,CAAC,UAAUA,GAAV,EAAe;EACZ;AACJ;AACA;;EACI;AACJ;AACA;EACI,SAASC,QAAT,CAAkBC,CAAlB,EAAqB;IACjB;IACA,OAAOA,CAAP;EACH;;EACDF,GAAG,CAACC,QAAJ,GAAeA,QAAf;AACH,CAZD,EAYGD,GAAG,KAAKA,GAAG,GAAG,EAAX,CAZN"}

package/_mjs/Intersection.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Intersection.mjs.map

package/_mjs/Intersection.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Intersection.mjs","names":[],"sources":["../esm/Intersection.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/Iteration.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Iteration.mjs.map

package/_mjs/Iteration.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Iteration.mjs","names":[],"sources":["../esm/Iteration.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/List.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=List.mjs.map

package/_mjs/List.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"List.mjs","names":[],"sources":["../esm/List.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/Number.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Number.mjs.map

package/_mjs/Number.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Number.mjs","names":[],"sources":["../esm/Number.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/Object.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Object.mjs.map

package/_mjs/Object.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Object.mjs","names":[],"sources":["../esm/Object.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/String.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=String.mjs.map

package/_mjs/String.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"String.mjs","names":[],"sources":["../esm/String.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/Union.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Union.mjs.map

package/_mjs/Union.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Union.mjs","names":[],"sources":["../esm/Union.js"],"sourcesContent":["export {};\n"],"mappings":"AAAA"}

package/_mjs/index.mjs

@@ -0,0 +1,21 @@
+import * as _Any from "./Any.mjs";
+export { _Any as Any };
+import * as _Boolean from "./Boolean.mjs";
+export { _Boolean as Boolean };
+import * as _Function from "./Function.mjs";
+export { _Function as Function };
+import * as _Intersection from "./Intersection.mjs";
+export { _Intersection as Intersection };
+import * as _Iteration from "./Iteration.mjs";
+export { _Iteration as Iteration };
+import * as _List from "./List.mjs";
+export { _List as List };
+import * as _Number from "./Number.mjs";
+export { _Number as Number };
+import * as _Object from "./Object.mjs";
+export { _Object as Object };
+import * as _String from "./String.mjs";
+export { _String as String };
+import * as _Union from "./Union.mjs";
+export { _Union as Union };
+//# sourceMappingURL=index.mjs.map

package/_mjs/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","names":["Any","Boolean","Function","Intersection","Iteration","List","Number","Object","String","Union"],"sources":["../esm/index.js"],"sourcesContent":["export * as Any from \"./Any.js\";\nexport * as Boolean from \"./Boolean.js\";\nexport * as Function from \"./Function.js\";\nexport * as Intersection from \"./Intersection.js\";\nexport * as Iteration from \"./Iteration.js\";\nexport * as List from \"./List.js\";\nexport * as Number from \"./Number.js\";\nexport * as Object from \"./Object.js\";\nexport * as String from \"./String.js\";\nexport * as Union from \"./Union.js\";\n"],"mappings":"sBAAqB,W;iBAATA,G;0BACa,e;qBAAbC,O;2BACc,gB;sBAAdC,Q;+BACkB,oB;0BAAlBC,Y;4BACe,iB;uBAAfC,S;uBACU,Y;kBAAVC,I;yBACY,c;oBAAZC,M;yBACY,c;oBAAZC,M;yBACY,c;oBAAZC,M;wBACW,a;mBAAXC,K"}