From 5cb761ce1b6e2a354ef83d0ca8ec28a318e90ac6 Mon Sep 17 00:00:00 2001
From: gvergnaud <gabriel.vergnaud@gmail.com>
Date: Sun, 16 Jul 2023 19:27:21 +0200
Subject: [PATCH] Add more examples

---
 src/internals/core/Core3.ts | 32 ++++++++++++++++++++------------
 1 file changed, 20 insertions(+), 12 deletions(-)

diff --git a/src/internals/core/Core3.ts b/src/internals/core/Core3.ts
index 3c3d08d..cb3402c 100644
--- a/src/internals/core/Core3.ts
+++ b/src/internals/core/Core3.ts
@@ -232,13 +232,13 @@ type t8 = $<TakeNum, "10">;
  * Higher order
  */
 
-interface Map<A = unknown, B = unknown> extends Fn<[Fn<[A], B>, A[]], B[]> {
+interface Map<A = unknown, B = A> extends Fn<[Fn<[A], B>, A[]], B[]> {
   return: Args<this> extends [infer fn extends Fn, infer tuple]
     ? { [key in keyof tuple]: $<fn, tuple[key]> }
     : never;
 }
 
-type t9 = $<Map<number, number>, $.partial<Div, _, 2>, [2, 4, 6, 8, 10]>;
+type t9 = $<Map<number>, $.partial<Div, _, 2>, [2, 4, 6, 8, 10]>;
 //   ^? [1, 2, 3, 4, 5]
 type test9 = Expect<Equal<t9, [1, 2, 3, 4, 5]>>;
 
@@ -259,23 +259,22 @@ type ReduceImpl<fn extends Fn, acc, xs> = xs extends [
   ? ReduceImpl<fn, $<fn, acc, first>, rest>
   : acc;
 
-interface Reduce<A = unknown, B = unknown>
-  extends Fn<[Fn<[B, A], B>, B, A[]], B> {
+interface Reduce<A = unknown, B = A> extends Fn<[Fn<[B, A], B>, B, A[]], B> {
   return: Args<this> extends [infer fn extends Fn, infer acc, infer tuple]
     ? ReduceImpl<fn, acc, tuple>
     : never;
 }
 
-type t11 = $<Reduce<number, number>, Add, 0, [2, 4, 6, 8, 10]>;
+type t11 = $<Reduce<number>, Add, 0, [2, 4, 6, 8, 10]>;
 //   ^? 30
 type test11 = Expect<Equal<t11, 30>>;
 
-type t12 = $<Reduce<number, number>, Mul, 1, [2, 4, 6, 8, 10]>;
+type t12 = $<Reduce<number>, Mul, 1, [2, 4, 6, 8, 10]>;
 //   ^? 3840
 type test12 = Expect<Equal<t12, 3840>>;
 
 // @ts-expect-error
-type t13 = $<Reduce<number, number>, Mul, 1, ["2", "4", "6", "8", "10"]>;
+type t13 = $<Reduce<number>, Mul, 1, ["2", "4", "6", "8", "10"]>;
 //                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~ ❌
 
 // @ts-expect-error
@@ -335,18 +334,27 @@ type t18 = Test<"10">;
 //    ^? 110
 type test18 = Expect<Equal<t18, "110">>;
 
-type MapAdd1 = $.partial<Map<number>, $.partial<Add, 1>>;
-type Sum = $.partial<Reduce<number, number>, Add, 0>;
+type Sum = $.partial<Reduce<number>, Add, 0>;
 
 type t19 = $<
   // ^?
   $.pipe<
-    MapAdd1,
+    $.partial<Map<number>, $.partial<Add, 1>>,
+    $.partial<
+      Map<number>,
+      $.pipe<
+        $.partial<Add, 1>,
+        $.partial<Mul, 3>,
+        ToString,
+        $.partial<Prepend, "1">,
+        ToNumber
+      >
+    >,
     Sum,
     ToString,
     $.partial<Prepend, "1">,
     ToNumber,
-    $.partial<Mul, _, 10>,
+    $.partial<Mul, 10>,
     $.partial<Div, _, 2>,
     ToString,
     $.partial<Prepend, _, "10">,
@@ -354,4 +362,4 @@ type t19 = $<
   >,
   [1, 2, 3, 4]
 >;
-type test19 = Expect<Equal<t19, 57010>>;
+type test19 = Expect<Equal<t19, 682010>>;