@fncts/typelevel 0.0.5 → 0.0.8

package/Object.d.ts

@@ -25,7 +25,7 @@ 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 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>>;
@@ -85,11 +85,9 @@ declare type MergeDeepList<L extends List, L1 extends List, Ignore, Fill> = numb
 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>;
+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;
+declare type PatchProp<OK, O1K, Fill, OKeys extends Key, K extends Key> = K extends OKeys ? (OK extends Fill ? O1K : OK) : O1K;
 /**
  * @hidden
  */

package/_src/Any.ts

@@ -5,10 +5,7 @@ import type { Has } from "./Union.js";
 
 export type Cast<A, B> = A extends B ? A : B;
 
-export type Try<A1 , A2 , Catch = never> =
-    A1 extends A2
-    ? A1
-    : Catch;
+export type Try<A1, A2, Catch = never> = A1 extends A2 ? A1 : Catch;
 
 export type Extends<A, B> = [A] extends [never] ? False : A extends B ? True : False;
 

package/_src/Boolean.ts

@@ -18,27 +18,27 @@ export type Or<B1 extends Boolean, B2 extends Boolean> = {
 
 export type And<B1 extends Boolean, B2 extends Boolean> = {
   [False]: {
-    [False]: False,
-    [True]: False
-  },
+    [False]: False;
+    [True]: False;
+  };
   [True]: {
-    [False]: False,
-    [True]: True
-  }
+    [False]: False;
+    [True]: True;
+  };
 }[B1][B2];
 
 export type Xor<B1 extends Boolean, B2 extends Boolean> = {
   [False]: {
-    [False]: False,
-    [True]: True
-  },
+    [False]: False;
+    [True]: True;
+  };
   [True]: {
-    [False]: True,
-    [True]: False
-  }
+    [False]: True;
+    [True]: False;
+  };
 }[B1][B2];
 
 export type Not<B extends Boolean> = {
-  [False]: True,
-  [True]: False
-}[B];
+  [False]: True;
+  [True]: False;
+}[B];

package/_src/BuiltIn.ts

@@ -1,7 +1 @@
-export type BuiltIn =
-  | Function
-  | Error
-  | Date
-  | { readonly [Symbol.toStringTag]: string }
-  | RegExp
-  | Generator;
+export type BuiltIn = Function | Error | Date | { readonly [Symbol.toStringTag]: string } | RegExp | Generator;

package/_src/Check.ts

@@ -46,16 +46,16 @@ export declare namespace Check {
   /**
    * @tsplus type fncts.Check.IsEqual
    */
-  type IsEqual<A, B> = (<T>() => T extends EqualsWrapped<A> ? 1 : 2) extends <
-    T,
-  >() => T extends EqualsWrapped<B> ? 1 : 2
+  type IsEqual<A, B> = (<T>() => T extends EqualsWrapped<A> ? 1 : 2) extends <T>() => T extends EqualsWrapped<B> ? 1 : 2
     ? unknown
     : never;
 
   /**
    * @tsplus type fncts.Check.IsLiteral
    */
-  type IsLiteral<A extends string | number | boolean> = Not<Extends<string, A> | Extends<number, A> | Extends<boolean, A>>;
+  type IsLiteral<A extends string | number | boolean> = Not<
+    Extends<string, A> | Extends<number, A> | Extends<boolean, A>
+  >;
 
   /**
    * @tsplus type fncts.Check.IsStruct
@@ -65,10 +65,7 @@ export declare namespace Check {
   /**
    * @tsplus type fncts.Check.HaveSameLength
    */
-  type HaveSameLength<A extends { length: number }, B extends { length: number }> = IsEqual<
-    A["length"],
-    B["length"]
-  >;
+  type HaveSameLength<A extends { length: number }, B extends { length: number }> = IsEqual<A["length"], B["length"]>;
 
   /**
    * @tsplus type fncts.Check.IsTagged

package/_src/List.ts

@@ -12,17 +12,9 @@ export type Length<L extends List> = L["length"];
 
 export type Head<L extends List> = L[0];
 
-export type Tail<L extends List> = L extends readonly []
-  ? L
-  : L extends readonly [any?, ...infer Tail]
-  ? Tail
-  : L;
+export type Tail<L extends List> = L extends readonly [] ? L : L extends readonly [any?, ...infer Tail] ? Tail : L;
 
-export type Init<L extends List> = L extends readonly []
-  ? L
-  : L extends readonly [...infer Init, any?]
-  ? Init
-  : L;
+export type Init<L extends List> = L extends readonly [] ? L : L extends readonly [...infer Init, any?] ? Init : L;
 
 export type Last<L extends List> = L[Length<Tail<L>>];
 
@@ -32,9 +24,7 @@ export type PrependAll<L extends List, A, O extends List = []> = Length<L> exten
   ? O
   : PrependAll<Tail<L>, A, [...O, A, Head<L>]>;
 
-export type Pop<L extends List> = L extends
-  | readonly [...infer LBody, any]
-  | readonly [...infer LBody, any?]
+export type Pop<L extends List> = L extends readonly [...infer LBody, any] | readonly [...infer LBody, any?]
   ? LBody
   : L;
 

package/_src/Number.ts

@@ -36,10 +36,7 @@ export type _AddPositive<N1 extends Iteration, N2 extends Iteration> = Pos<N2> e
   ? IterationOf<number>
   : _AddPositive<Next<N1>, Prev<N2>>;
 
-export type AddPositive<N1 extends Iteration, N2 extends Iteration> = _AddPositive<
-  N1,
-  N2
-> extends infer X
+export type AddPositive<N1 extends Iteration, N2 extends Iteration> = _AddPositive<N1, N2> extends infer X
   ? Cast<X, Iteration>
   : never;
 
@@ -49,10 +46,7 @@ export type _AddNegative<N1 extends Iteration, N2 extends Iteration> = Pos<N2> e
   ? IterationOf<number>
   : _AddNegative<Prev<N1>, Next<N2>>;
 
-export type AddNegative<N1 extends Iteration, N2 extends Iteration> = _AddNegative<
-  N1,
-  N2
-> extends infer X
+export type AddNegative<N1 extends Iteration, N2 extends Iteration> = _AddNegative<N1, N2> extends infer X
   ? Cast<X, Iteration>
   : never;
 
@@ -98,10 +92,7 @@ export type Lower<X extends number, Y extends number> = X extends unknown
     : never
   : never;
 
-export type _GreaterEq<N1 extends Iteration, N2 extends Iteration> = Or<
-  Equals<N1, N2>,
-  _Greater<N1, N2>
->;
+export type _GreaterEq<N1 extends Iteration, N2 extends Iteration> = Or<Equals<N1, N2>, _Greater<N1, N2>>;
 
 export type GreaterEq<X extends number, Y extends number> = X extends unknown
   ? Y extends unknown
@@ -109,10 +100,7 @@ export type GreaterEq<X extends number, Y extends number> = X extends unknown
     : never
   : never;
 
-export type _LowerEq<N1 extends Iteration, N2 extends Iteration> = Or<
-  Equals<N1, N2>,
-  _Lower<N1, N2>
->;
+export type _LowerEq<N1 extends Iteration, N2 extends Iteration> = Or<Equals<N1, N2>, _Lower<N1, N2>>;
 
 export type LowerEq<X extends number, Y extends number> = X extends unknown
   ? Y extends unknown
@@ -134,4 +122,4 @@ export type Comp<X extends number, C extends Comparison, Y extends number> = X e
   ? Y extends unknown
     ? _Comp<IterationOf<X>, C, IterationOf<Y>>
     : never
-  : never;
+  : never;

package/_src/Object.ts

@@ -45,11 +45,7 @@ type MetaPath<O, SP extends List<Index> = [], P extends List<Index> = []> = {
   [__Path]: [];
 };
 
-type NextPath<OP> = At<UnionOf<At<OP, __Cont>>, __Path> extends infer X
-  ? undefined extends X
-    ? never
-    : X
-  : never;
+type NextPath<OP> = At<UnionOf<At<OP, __Cont>>, __Path> extends infer X ? (undefined extends X ? never : X) : never;
 
 type ExecPath<A, SP extends List<Index>> = NextPath<Path<MetaPath<A, SP>, PrependAll<SP, __Cont>>>;
 
@@ -140,9 +136,7 @@ export type _ExcludeMatch<O, O1, M extends Match> = {
   }[Is<O[K], At<O1, K>, M>];
 }[keyof O];
 
-export type ExcludeMatch<O, O1, M extends Match> = O extends unknown
-  ? _ExcludeMatch<O, O1, M>
-  : never;
+export type ExcludeMatch<O, O1, M extends Match> = O extends unknown ? _ExcludeMatch<O, O1, M> : never;
 
 export type ExcludeKeys<O, O1, M extends Match = "default"> = {
   default: U.Exclude<Keys<O>, Keys<O1>>;
@@ -223,9 +217,7 @@ 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>;
 };
 
-type MergeDeepChoice<OK, O1K, Ignore, Fill, OOKeys extends Key, K extends Key> = [OK] extends [
-  never,
-]
+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>
@@ -255,11 +247,7 @@ export type MergeDeep<O, O1, Ignore, Fill> = O extends unknown
  * -------------------------------------------------------------------------------------------------
  */
 
-type PatchProp<OK, O1K, Fill, OKeys extends Key, K extends Key> = K extends OKeys
-  ? OK extends Fill
-    ? O1K
-    : OK
-  : O1K;
+type PatchProp<OK, O1K, Fill, OKeys extends Key, K extends Key> = K extends OKeys ? (OK extends Fill ? O1K : OK) : O1K;
 
 /**
  * @hidden
@@ -324,9 +312,6 @@ export type PatchDeep<O, O1, Ignore, Fill> = O extends unknown
     : never
   : never;
 
-export type Diff<O, O1, M extends Match = "default"> = PatchFlat<
-  Exclude<O, O1, M>,
-  Exclude<O1, O, M>
->;
+export type Diff<O, O1, M extends Match = "default"> = PatchFlat<Exclude<O, O1, M>, Exclude<O1, O, M>>;
 
 export type EnforceNonEmpty<O> = keyof O extends never ? never : O;

package/_src/String.ts

@@ -13,16 +13,10 @@ export type Join<T extends List<Literal>, D extends string = ""> = _Join<T, D> e
   ? Cast<X, string>
   : never;
 
-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];
+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];
 
-type _Split<S extends string, D extends string = ""> = D extends ""
-  ? Pop<__Split<S, D>>
-  : __Split<S, D>;
+type _Split<S extends string, D extends string = ""> = D extends "" ? Pop<__Split<S, D>> : __Split<S, D>;
 
-export type Split<S extends string, D extends string = ""> = _Split<S, D> extends infer X
-  ? Cast<X, string[]>
-  : never;
+export type Split<S extends string, D extends string = ""> = _Split<S, D> extends infer X ? Cast<X, string[]> : never;

package/_src/Union.ts

@@ -1,16 +1,10 @@
 import type { Cast, Equals, Extends, Is, Match } from "./Any.js";
-import type { False,True } from "./Boolean.js";
+import type { False, True } from "./Boolean.js";
 import type { List, Prepend } from "./List.js";
 
-export type IntersectionOf<U> = (U extends unknown ? (k: U) => void : never) extends (
-  k: infer I,
-) => void
-  ? I
-  : never;
+export type IntersectionOf<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
 
-export type Last<U> = IntersectionOf<U extends unknown ? (x: U) => void : never> extends (
-  x: infer P,
-) => void
+export type Last<U> = IntersectionOf<U extends unknown ? (x: U) => void : never> extends (x: infer P) => void
   ? P
   : never;
 
@@ -44,4 +38,4 @@ export type Intersect<A, B> = A extends unknown
 
 export type Exclude<A, B> = A extends B ? never : A;
 
-export type Pop<U> = Exclude<U, Last<U>>;
+export type Pop<U> = Exclude<U, Last<U>>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fncts/typelevel",
-  "version": "0.0.5",
+  "version": "0.0.8",
   "exports": {
     "./*": {
       "import": "./_mjs/*.mjs",