npm - effect-start - Versions diffs - 0.21.0 → 0.22.0 - Mend

effect-start 0.21.0 → 0.22.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (94) hide show

package/README.md +1 -4
package/dist/Cookies.js +392 -0
package/dist/FileSystem.js +131 -0
package/dist/Socket.js +37 -0
package/package.json +35 -36
package/src/Commander.ts +73 -130
package/src/ContentNegotiation.ts +64 -95
package/src/Cookies.ts +36 -57
package/src/Development.ts +47 -62
package/src/Effectify.ts +222 -206
package/src/Entity.ts +59 -86
package/src/FilePathPattern.ts +5 -5
package/src/FileRouter.ts +37 -62
package/src/FileRouterCodegen.ts +63 -55
package/src/FileSystem.ts +46 -59
package/src/Http.ts +17 -50
package/src/PathPattern.ts +33 -41
package/src/PlatformError.ts +29 -50
package/src/PlatformRuntime.ts +39 -47
package/src/Route.ts +68 -187
package/src/RouteBody.ts +45 -161
package/src/RouteHook.ts +22 -45
package/src/RouteHttp.ts +88 -142
package/src/RouteHttpTracer.ts +25 -26
package/src/RouteMount.ts +100 -238
package/src/RouteSchema.ts +67 -201
package/src/RouteSse.ts +28 -82
package/src/RouteTree.ts +31 -79
package/src/RouteTrie.ts +13 -32
package/src/SchemaExtra.ts +3 -5
package/src/Socket.ts +5 -2
package/src/Start.ts +20 -21
package/src/StreamExtra.ts +93 -96
package/src/TuplePathPattern.ts +54 -43
package/src/Unique.ts +9 -15
package/src/Values.ts +26 -30
package/src/bun/BunBundle.ts +27 -73
package/src/bun/BunImportTrackerPlugin.ts +67 -65
package/src/bun/BunRoute.ts +12 -31
package/src/bun/BunRuntime.ts +3 -10
package/src/bun/BunServer.ts +55 -91
package/src/bun/BunVirtualFilesPlugin.ts +1 -4
package/src/bun/_BunEnhancedResolve.ts +17 -42
package/src/bun/_empty.html +0 -1
package/src/bundler/Bundle.ts +20 -36
package/src/bundler/BundleFiles.ts +35 -55
package/src/client/Overlay.ts +1 -2
package/src/client/ScrollState.ts +5 -9
package/src/client/index.ts +10 -13
package/src/datastar/actions/fetch.ts +29 -48
package/src/datastar/actions/peek.ts +1 -5
package/src/datastar/actions/setAll.ts +2 -2
package/src/datastar/actions/toggleAll.ts +2 -2
package/src/datastar/attributes/attr.ts +17 -18
package/src/datastar/attributes/bind.ts +41 -61
package/src/datastar/attributes/class.ts +2 -5
package/src/datastar/attributes/computed.ts +2 -10
package/src/datastar/attributes/effect.ts +1 -2
package/src/datastar/attributes/indicator.ts +2 -8
package/src/datastar/attributes/init.ts +2 -10
package/src/datastar/attributes/jsonSignals.ts +1 -6
package/src/datastar/attributes/on.ts +4 -13
package/src/datastar/attributes/onIntersect.ts +10 -22
package/src/datastar/attributes/onInterval.ts +2 -10
package/src/datastar/attributes/onSignalPatch.ts +18 -28
package/src/datastar/attributes/ref.ts +1 -2
package/src/datastar/attributes/show.ts +1 -2
package/src/datastar/attributes/signals.ts +1 -5
package/src/datastar/attributes/style.ts +6 -12
package/src/datastar/attributes/text.ts +1 -2
package/src/datastar/engine.ts +102 -158
package/src/datastar/index.ts +2 -2
package/src/datastar/utils.ts +16 -51
package/src/datastar/watchers/patchElements.ts +35 -93
package/src/datastar/watchers/patchSignals.ts +1 -2
package/src/experimental/EncryptedCookies.ts +79 -142
package/src/hyper/Hyper.ts +14 -33
package/src/hyper/HyperHtml.ts +9 -10
package/src/hyper/HyperNode.ts +2 -7
package/src/hyper/HyperRoute.ts +2 -5
package/src/hyper/jsx-runtime.ts +2 -10
package/src/hyper/jsx.d.ts +171 -440
package/src/lint/plugin.js +276 -0
package/src/node/NodeFileSystem.ts +138 -186
package/src/node/NodeUtils.ts +1 -3
package/src/testing/TestLogger.ts +9 -22
package/src/testing/utils.ts +30 -31
package/src/x/cloudflare/CloudflareTunnel.ts +37 -54
package/src/x/datastar/Datastar.ts +3 -10
package/src/x/datastar/index.ts +1 -3
package/src/x/datastar/jsx-datastar.d.ts +1 -4
package/src/x/tailwind/TailwindPlugin.ts +119 -112
package/src/x/tailwind/compile.ts +10 -33
package/src/x/tailwind/plugin.ts +2 -2

package/src/Effectify.ts CHANGED Viewed

@@ -7,10 +7,7 @@ interface Callback<E, A> {
   (err: E, a?: A): void
 }
-type ArgsWithCallback<Args extends Array<any>, E, A> = [
-  ...args: Args,
-  cb: Callback<E, A>,
-]
+type ArgsWithCallback<Args extends Array<any>, E, A> = [...args: Args, cb: Callback<E, A>]
 type WithoutNull<A> = unknown extends A ? void : Exclude<A, null | undefined>
@@ -25,29 +22,8 @@ type Effectify<T, E> = T extends {
   (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8
   (...args: ArgsWithCallback<infer Args9, infer _E9, infer A9>): infer _R9
   (...args: ArgsWithCallback<infer Args10, infer _E10, infer A10>): infer _R10
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
-    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
-    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
-    (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
-    (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
-    (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
-    (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
-    (...args: Args8): Effect.Effect<WithoutNull<A8>, E>
-    (...args: Args9): Effect.Effect<WithoutNull<A9>, E>
-    (...args: Args10): Effect.Effect<WithoutNull<A10>, E>
-  }
-  : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
-    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
-    (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
-    (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8
-    (...args: ArgsWithCallback<infer Args9, infer _E9, infer A9>): infer _R9
-  } ? {
+}
+  ? {
       (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
       (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
       (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
@@ -57,104 +33,135 @@ type Effectify<T, E> = T extends {
       (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
       (...args: Args8): Effect.Effect<WithoutNull<A8>, E>
       (...args: Args9): Effect.Effect<WithoutNull<A9>, E>
+      (...args: Args10): Effect.Effect<WithoutNull<A10>, E>
     }
   : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
-    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
-    (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
-    (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8
-  } ? {
-      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
-      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
-      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
-      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
-      (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
-      (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
-      (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
-      (...args: Args8): Effect.Effect<WithoutNull<A8>, E>
-    }
-  : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
-    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
-    (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
-  } ? {
-      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
-      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
-      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
-      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
-      (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
-      (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
-      (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
-    }
-  : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
-    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
-  } ? {
-      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
-      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
-      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
-      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
-      (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
-      (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
-    }
-  : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
-  } ? {
-      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
-      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
-      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
-      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
-      (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
-    }
-  : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
-  } ? {
-      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
-      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
-      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
-      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
-    }
-  : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
-  } ? {
-      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
-      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
-      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
-    }
-  : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
-  } ? {
-      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
-      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
-    }
-  : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
-  } ? {
-      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
-    }
-  : never
+        (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+        (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+        (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+        (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+        (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+        (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
+        (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
+        (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8
+        (...args: ArgsWithCallback<infer Args9, infer _E9, infer A9>): infer _R9
+      }
+    ? {
+        (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+        (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+        (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+        (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+        (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
+        (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
+        (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
+        (...args: Args8): Effect.Effect<WithoutNull<A8>, E>
+        (...args: Args9): Effect.Effect<WithoutNull<A9>, E>
+      }
+    : T extends {
+          (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+          (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+          (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+          (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+          (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+          (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
+          (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
+          (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8
+        }
+      ? {
+          (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+          (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+          (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+          (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+          (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
+          (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
+          (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
+          (...args: Args8): Effect.Effect<WithoutNull<A8>, E>
+        }
+      : T extends {
+            (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+            (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+            (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+            (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+            (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+            (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
+            (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
+          }
+        ? {
+            (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+            (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+            (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+            (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+            (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
+            (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
+            (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
+          }
+        : T extends {
+              (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+              (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+              (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+              (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+              (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+              (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
+            }
+          ? {
+              (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+              (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+              (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+              (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+              (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
+              (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
+            }
+          : T extends {
+                (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+                (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+                (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+                (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+                (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+              }
+            ? {
+                (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+                (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+                (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+                (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+                (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
+              }
+            : T extends {
+                  (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+                  (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+                  (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+                  (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+                }
+              ? {
+                  (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+                  (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+                  (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+                  (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+                }
+              : T extends {
+                    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+                    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+                    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+                  }
+                ? {
+                    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+                    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+                    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+                  }
+                : T extends {
+                      (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+                      (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+                    }
+                  ? {
+                      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+                      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+                    }
+                  : T extends {
+                        (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+                      }
+                    ? {
+                        (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+                      }
+                    : never
 type EffectifyError<T> = T extends {
   (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
@@ -167,76 +174,84 @@ type EffectifyError<T> = T extends {
   (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8
   (...args: ArgsWithCallback<infer _Args9, infer E9, infer _A9>): infer _R9
   (...args: ArgsWithCallback<infer _Args10, infer E10, infer _A10>): infer _R10
-} ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9 | E10>
-  : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
-    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
-    (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7
-    (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8
-    (...args: ArgsWithCallback<infer _Args9, infer E9, infer _A9>): infer _R9
-  } ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9>
-  : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
-    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
-    (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7
-    (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8
-  } ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8>
-  : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
-    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
-    (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7
-  } ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7>
-  : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
-    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
-  } ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6>
-  : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
-  } ? NonNullable<E1 | E2 | E3 | E4 | E5>
-  : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
-  } ? NonNullable<E1 | E2 | E3 | E4>
-  : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
-  } ? NonNullable<E1 | E2 | E3>
-  : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
-  } ? NonNullable<E1 | E2>
+}
+  ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9 | E10>
   : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
-  } ? NonNullable<E1>
-  : never
+        (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+        (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+        (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+        (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+        (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+        (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
+        (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7
+        (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8
+        (...args: ArgsWithCallback<infer _Args9, infer E9, infer _A9>): infer _R9
+      }
+    ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9>
+    : T extends {
+          (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+          (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+          (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+          (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+          (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+          (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
+          (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7
+          (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8
+        }
+      ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8>
+      : T extends {
+            (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+            (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+            (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+            (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+            (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+            (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
+            (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7
+          }
+        ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7>
+        : T extends {
+              (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+              (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+              (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+              (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+              (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+              (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
+            }
+          ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6>
+          : T extends {
+                (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+                (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+                (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+                (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+                (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+              }
+            ? NonNullable<E1 | E2 | E3 | E4 | E5>
+            : T extends {
+                  (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+                  (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+                  (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+                  (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+                }
+              ? NonNullable<E1 | E2 | E3 | E4>
+              : T extends {
+                    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+                    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+                    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+                  }
+                ? NonNullable<E1 | E2 | E3>
+                : T extends {
+                      (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+                      (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+                    }
+                  ? NonNullable<E1 | E2>
+                  : T extends {
+                        (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+                      }
+                    ? NonNullable<E1>
+                    : never
 export const effectify: {
-  <F extends (...args: Array<any>) => any>(
-    fn: F,
-  ): Effectify<F, EffectifyError<F>>
+  <F extends (...args: Array<any>) => any>(fn: F): Effectify<F, EffectifyError<F>>
   <F extends (...args: Array<any>) => any, E>(
     fn: F,
     onError: (error: EffectifyError<F>, args: Parameters<F>) => E,
@@ -251,19 +266,20 @@ export const effectify: {
   onError?: (e: any, args: any) => any,
   onSyncError?: (e: any, args: any) => any,
 ) =>
-(...args: Array<any>) =>
-  Effect.async<any, any>((resume) => {
-    try {
-      fn(...args, (err: any, result: any) => {
-        if (err) {
-          resume(Effect.fail(onError ? onError(err, args) : err))
-        } else {
-          resume(Effect.succeed(result))
-        }
-      })
-    } catch (err) {
-      resume(
-        onSyncError ? Effect.fail(onSyncError(err, args)) : Effect.die(err),
-      )
-    }
-  })) as any
+  (...args: Array<any>) =>
+    Effect.async<any, any>((resume) => {
+      try {
+        fn(
+          ...args,
+          (err: any, result: any) => {
+            if (err) {
+              resume(Effect.fail(onError ? onError(err, args) : err))
+            } else {
+              resume(Effect.succeed(result))
+            }
+          },
+        )
+      } catch (err) {
+        resume(onSyncError ? Effect.fail(onSyncError(err, args)) : Effect.die(err))
+      }
+    })) as any