add inference helpers

.changeset/quick-rice-rhyme.md

@@ -0,0 +1,5 @@
+---
+"@effect-rx/rx": patch
+---
+
+add inference helpers

flake.nix

@@ -17,14 +17,17 @@
   }:
     flake-utils.lib.eachDefaultSystem (system: let
       pkgs = nixpkgs.legacyPackages.${system};
+      corepackEnable = pkgs.runCommand "corepack-enable" {} ''
+        mkdir -p $out/bin
+        ${pkgs.nodejs-18_x}/bin/corepack enable --install-directory $out/bin
+      '';
     in {
       formatter = pkgs.alejandra;
-
       devShells = {
         default = pkgs.mkShell {
           buildInputs = with pkgs; [
-            nodejs-18_x
-            nodePackages.pnpm
+            nodejs_22
+            corepackEnable
           ];
         };
       };

package.json

@@ -1,6 +1,6 @@
 {
   "private": true,
-  "packageManager": "pnpm@8.10.0",
+  "packageManager": "pnpm@9.1.0",
   "workspaces": [
     "packages/*"
   ],

packages/rx/src/Rx.ts

@@ -130,6 +130,21 @@ export declare namespace Rx {
    * @since 1.0.0
    */
   export type Infer<T extends Rx<any>> = T extends Rx<infer A> ? A : never
+
+  /**
+   * @since 1.0.0
+   */
+  export type InferSuccess<T extends Rx<any>> = T extends Rx<Result.Result<infer A, infer _>> ? A : never
+
+  /**
+   * @since 1.0.0
+   */
+  export type InferPullSuccess<T extends Rx<any>> = T extends Rx<PullResult<infer A, infer _>> ? A : never
+
+  /**
+   * @since 1.0.0
+   */
+  export type InferFailure<T extends Rx<any>> = T extends Rx<Result.Result<infer _, infer E>> ? E : never
 }
 
 /**