{
  "id": "@typed/fx#Push.filterMapInputEffect",
  "canonicalId": "@typed/fx/Push#filterMapInputEffect",
  "symbol": {
    "id": "@typed/fx#Push.filterMapInputEffect",
    "packageName": "@typed/fx",
    "moduleName": ".",
    "exportName": "Push.filterMapInputEffect",
    "kind": "constant",
    "signatures": [
      "export declare const filterMapInputEffect: {\n    <C, R3, E, A>(f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): <R, B, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<C, E, R | R3, B, E2, R2>;\n    <A, E, R, B, E2, R2, R3, C>(push: Push<A, E, R, B, E2, R2>, f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): Push<C, E, R | R3, B, E2, R2>;\n};"
    ],
    "summary": "Effectfully transforms an input and forwards only a resulting `Some` value.\n\nCalling `onSuccess(value)` invokes `f(value)` immediately to construct an\nEffect; allocation and throws happen before an acknowledgment is returned.\nRunning that acknowledgment later executes the constructed Effect in the\ncaller's fiber. `Some(a)` produces one Sink callback, `None` none, and failure\nsends its full Cause to the Sink failure callback. Concurrent calls are not\nserialized.",
    "sections": {
      "Why": "This is the input-boundary form for service-backed lookup or validation where\nabsence is expected but failure remains meaningful.",
      "Ownership and lifetime": "Mapper Effect construction is eager; execution belongs to the fiber that runs\nthe returned acknowledgment and can be interrupted there. Mapper requirements\njoin the Sink input requirements; its `E` is handled through the same failure\ncallback. The output Fx is untouched."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { Effect, Option } from \"effect\"\nimport * as Fx from \"@typed/fx/Fx\"\nimport * as Push from \"@typed/fx/Push\"\nimport * as Sink from \"@typed/fx/Sink\"\n\nconst known = Push.filterMapInputEffect(\n  Push.make(Sink.make(() => Effect.void, (_n: number) => Effect.void), Fx.empty),\n  (text: string) => Effect.succeed(text === \"one\" ? Option.some(1) : Option.none())\n)"
      }
    ],
    "relations": [],
    "source": {
      "file": "packages/fx/src/Push/Push.ts",
      "line": 754
    },
    "since": "1.0.0",
    "category": "Selecting inputs"
  },
  "exposure": {
    "recordKind": "declaration",
    "id": "@typed/fx#Push.filterMapInputEffect",
    "packageName": "@typed/fx",
    "packageVersion": "2.0.0-beta.13",
    "moduleName": ".",
    "consumerSpecifier": "@typed/fx",
    "exportName": "Push",
    "qualifiedName": "Push.filterMapInputEffect",
    "declarationKey": "declaration:761b12f8ebae294fc28face7",
    "family": "variable",
    "signatures": [
      "export declare const filterMapInputEffect: {\n    <C, R3, E, A>(f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): <R, B, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<C, E, R | R3, B, E2, R2>;\n    <A, E, R, B, E2, R2, R3, C>(push: Push<A, E, R, B, E2, R2>, f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): Push<C, E, R | R3, B, E2, R2>;\n};"
    ],
    "sourceSpans": [
      {
        "file": "packages/fx/src/Push/Push.ts",
        "start": {
          "line": 754,
          "column": 14
        },
        "end": {
          "line": 780,
          "column": 3
        }
      },
      {
        "file": "packages/fx/src/Push/Push.ts",
        "start": {
          "line": 755,
          "column": 3
        },
        "end": {
          "line": 757,
          "column": 86
        }
      },
      {
        "file": "packages/fx/src/Push/Push.ts",
        "start": {
          "line": 758,
          "column": 3
        },
        "end": {
          "line": 761,
          "column": 36
        }
      }
    ],
    "aliases": [
      "@typed/fx/Push#filterMapInputEffect"
    ],
    "isAlias": true,
    "parentId": "@typed/fx#Push",
    "static": false,
    "importedFrom": "declaration:761b12f8ebae294fc28face7"
  },
  "declaration": {
    "declarationKey": "declaration:761b12f8ebae294fc28face7",
    "name": "filterMapInputEffect",
    "family": "variable",
    "facets": [
      {
        "family": "variable",
        "syntaxKind": "VariableDeclaration",
        "signatures": [
          "export declare const filterMapInputEffect: {\n    <C, R3, E, A>(f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): <R, B, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<C, E, R | R3, B, E2, R2>;\n    <A, E, R, B, E2, R2, R3, C>(push: Push<A, E, R, B, E2, R2>, f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): Push<C, E, R | R3, B, E2, R2>;\n};"
        ],
        "typeParameters": [],
        "sourceSpans": [
          {
            "file": "packages/fx/src/Push/Push.ts",
            "start": {
              "line": 754,
              "column": 14
            },
            "end": {
              "line": 780,
              "column": 3
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      },
      {
        "family": "call-signature",
        "syntaxKind": "CallSignature",
        "signatures": [
          "<C, R3, E, A>(f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): <R, B, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<C, E, R | R3, B, E2, R2>;",
          "<A, E, R, B, E2, R2, R3, C>(push: Push<A, E, R, B, E2, R2>, f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): Push<C, E, R | R3, B, E2, R2>;"
        ],
        "typeParameters": [
          "C",
          "R3",
          "E",
          "A",
          "R",
          "B",
          "E2",
          "R2"
        ],
        "sourceSpans": [
          {
            "file": "packages/fx/src/Push/Push.ts",
            "start": {
              "line": 755,
              "column": 3
            },
            "end": {
              "line": 757,
              "column": 86
            }
          },
          {
            "file": "packages/fx/src/Push/Push.ts",
            "start": {
              "line": 758,
              "column": 3
            },
            "end": {
              "line": 761,
              "column": 36
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      }
    ],
    "signatures": [
      "export declare const filterMapInputEffect: {\n    <C, R3, E, A>(f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): <R, B, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<C, E, R | R3, B, E2, R2>;\n    <A, E, R, B, E2, R2, R3, C>(push: Push<A, E, R, B, E2, R2>, f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): Push<C, E, R | R3, B, E2, R2>;\n};"
    ],
    "typeParameters": [
      "C",
      "R3",
      "E",
      "A",
      "R",
      "B",
      "E2",
      "R2"
    ],
    "summary": "Effectfully transforms an input and forwards only a resulting `Some` value.\n\nCalling `onSuccess(value)` invokes `f(value)` immediately to construct an\nEffect; allocation and throws happen before an acknowledgment is returned.\nRunning that acknowledgment later executes the constructed Effect in the\ncaller's fiber. `Some(a)` produces one Sink callback, `None` none, and failure\nsends its full Cause to the Sink failure callback. Concurrent calls are not\nserialized.",
    "sections": {
      "Why": "This is the input-boundary form for service-backed lookup or validation where\nabsence is expected but failure remains meaningful.",
      "Ownership and lifetime": "Mapper Effect construction is eager; execution belongs to the fiber that runs\nthe returned acknowledgment and can be interrupted there. Mapper requirements\njoin the Sink input requirements; its `E` is handled through the same failure\ncallback. The output Fx is untouched."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { Effect, Option } from \"effect\"\nimport * as Fx from \"@typed/fx/Fx\"\nimport * as Push from \"@typed/fx/Push\"\nimport * as Sink from \"@typed/fx/Sink\"\n\nconst known = Push.filterMapInputEffect(\n  Push.make(Sink.make(() => Effect.void, (_n: number) => Effect.void), Fx.empty),\n  (text: string) => Effect.succeed(text === \"one\" ? Option.some(1) : Option.none())\n)"
      }
    ],
    "sourceSpans": [
      {
        "file": "packages/fx/src/Push/Push.ts",
        "start": {
          "line": 754,
          "column": 14
        },
        "end": {
          "line": 780,
          "column": 3
        }
      },
      {
        "file": "packages/fx/src/Push/Push.ts",
        "start": {
          "line": 755,
          "column": 3
        },
        "end": {
          "line": 757,
          "column": 86
        }
      },
      {
        "file": "packages/fx/src/Push/Push.ts",
        "start": {
          "line": 758,
          "column": 3
        },
        "end": {
          "line": 761,
          "column": 36
        }
      }
    ],
    "since": "1.0.0",
    "category": "Selecting inputs"
  }
}