{
  "id": "@typed/fx/Fx#FlatMapLike",
  "canonicalId": "@typed/fx/Fx#FlatMapLike",
  "symbol": {
    "id": "@typed/fx/Fx#FlatMapLike",
    "packageName": "@typed/fx",
    "moduleName": "Fx",
    "exportName": "FlatMapLike",
    "kind": "type",
    "signatures": [
      "export type FlatMapLike<Args extends ReadonlyArray<any> = [\n]> = {\n    <A, B, E2, R2>(f: (a: A) => Fx<B, E2, R2>, ...args: Args): <E, R>(self: Fx<A, E, R>) => Fx<B, E | E2, R | R2 | Scope.Scope>;\n    <A, E, R, B, E2, R2>(self: Fx<A, E, R>, f: (a: A) => Fx<B, E2, R2>, ...args: Args): Fx<B, E | E2, R | R2 | Scope.Scope>;\n};"
    ],
    "summary": "Describes a dual flattening operator whose callback returns an Fx.",
    "sections": {
      "Why": "The shared type keeps data-first and data-last call styles consistent across\nmerge, concat, switch, and exhaust policies while preserving the callback's\nsuccess, error, and service channels.",
      "Ownership and lifetime": "The type acquires no resources. Implementations return an Fx requiring\n`Scope`; that Scope owns any admitted inner subscriptions and their cleanup."
    },
    "examples": [],
    "relations": [],
    "source": {
      "file": "packages/fx/src/Fx/combinators/flatMap.ts",
      "line": 27
    },
    "since": "1.0.0",
    "category": "Type contracts"
  },
  "exposure": {
    "recordKind": "declaration",
    "id": "@typed/fx/Fx#FlatMapLike",
    "packageName": "@typed/fx",
    "packageVersion": "2.0.0-beta.13",
    "moduleName": "Fx",
    "consumerSpecifier": "@typed/fx/Fx",
    "exportName": "FlatMapLike",
    "qualifiedName": "FlatMapLike",
    "declarationKey": "declaration:1345336015af3cf8dd251b71",
    "family": "type-alias",
    "signatures": [
      "export type FlatMapLike<Args extends ReadonlyArray<any> = [\n]> = {\n    <A, B, E2, R2>(f: (a: A) => Fx<B, E2, R2>, ...args: Args): <E, R>(self: Fx<A, E, R>) => Fx<B, E | E2, R | R2 | Scope.Scope>;\n    <A, E, R, B, E2, R2>(self: Fx<A, E, R>, f: (a: A) => Fx<B, E2, R2>, ...args: Args): Fx<B, E | E2, R | R2 | Scope.Scope>;\n};"
    ],
    "sourceSpans": [
      {
        "file": "packages/fx/src/Fx/combinators/flatMap.ts",
        "start": {
          "line": 27,
          "column": 1
        },
        "end": {
          "line": 38,
          "column": 3
        }
      },
      {
        "file": "packages/fx/src/Fx/combinators/flatMap.ts",
        "start": {
          "line": 28,
          "column": 3
        },
        "end": {
          "line": 31,
          "column": 71
        }
      },
      {
        "file": "packages/fx/src/Fx/combinators/flatMap.ts",
        "start": {
          "line": 33,
          "column": 3
        },
        "end": {
          "line": 37,
          "column": 42
        }
      }
    ],
    "aliases": [
      "@typed/fx#Fx.FlatMapLike"
    ],
    "isAlias": false,
    "static": false
  },
  "declaration": {
    "declarationKey": "declaration:1345336015af3cf8dd251b71",
    "name": "FlatMapLike",
    "family": "type-alias",
    "facets": [
      {
        "family": "type-alias",
        "syntaxKind": "TypeAliasDeclaration",
        "signatures": [
          "export type FlatMapLike<Args extends ReadonlyArray<any> = [\n]> = {\n    <A, B, E2, R2>(f: (a: A) => Fx<B, E2, R2>, ...args: Args): <E, R>(self: Fx<A, E, R>) => Fx<B, E | E2, R | R2 | Scope.Scope>;\n    <A, E, R, B, E2, R2>(self: Fx<A, E, R>, f: (a: A) => Fx<B, E2, R2>, ...args: Args): Fx<B, E | E2, R | R2 | Scope.Scope>;\n};"
        ],
        "typeParameters": [
          "Args extends ReadonlyArray<any> = []"
        ],
        "sourceSpans": [
          {
            "file": "packages/fx/src/Fx/combinators/flatMap.ts",
            "start": {
              "line": 27,
              "column": 1
            },
            "end": {
              "line": 38,
              "column": 3
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      },
      {
        "family": "call-signature",
        "syntaxKind": "CallSignature",
        "signatures": [
          "<A, B, E2, R2>(f: (a: A) => Fx<B, E2, R2>, ...args: Args): <E, R>(self: Fx<A, E, R>) => Fx<B, E | E2, R | R2 | Scope.Scope>;",
          "<A, E, R, B, E2, R2>(self: Fx<A, E, R>, f: (a: A) => Fx<B, E2, R2>, ...args: Args): Fx<B, E | E2, R | R2 | Scope.Scope>;"
        ],
        "typeParameters": [
          "A",
          "B",
          "E2",
          "R2",
          "E",
          "R"
        ],
        "sourceSpans": [
          {
            "file": "packages/fx/src/Fx/combinators/flatMap.ts",
            "start": {
              "line": 28,
              "column": 3
            },
            "end": {
              "line": 31,
              "column": 71
            }
          },
          {
            "file": "packages/fx/src/Fx/combinators/flatMap.ts",
            "start": {
              "line": 33,
              "column": 3
            },
            "end": {
              "line": 37,
              "column": 42
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      }
    ],
    "signatures": [
      "export type FlatMapLike<Args extends ReadonlyArray<any> = [\n]> = {\n    <A, B, E2, R2>(f: (a: A) => Fx<B, E2, R2>, ...args: Args): <E, R>(self: Fx<A, E, R>) => Fx<B, E | E2, R | R2 | Scope.Scope>;\n    <A, E, R, B, E2, R2>(self: Fx<A, E, R>, f: (a: A) => Fx<B, E2, R2>, ...args: Args): Fx<B, E | E2, R | R2 | Scope.Scope>;\n};"
    ],
    "typeParameters": [
      "Args extends ReadonlyArray<any> = []",
      "A",
      "B",
      "E2",
      "R2",
      "E",
      "R"
    ],
    "summary": "Describes a dual flattening operator whose callback returns an Fx.",
    "sections": {
      "Why": "The shared type keeps data-first and data-last call styles consistent across\nmerge, concat, switch, and exhaust policies while preserving the callback's\nsuccess, error, and service channels.",
      "Ownership and lifetime": "The type acquires no resources. Implementations return an Fx requiring\n`Scope`; that Scope owns any admitted inner subscriptions and their cleanup."
    },
    "examples": [],
    "sourceSpans": [
      {
        "file": "packages/fx/src/Fx/combinators/flatMap.ts",
        "start": {
          "line": 27,
          "column": 1
        },
        "end": {
          "line": 38,
          "column": 3
        }
      },
      {
        "file": "packages/fx/src/Fx/combinators/flatMap.ts",
        "start": {
          "line": 28,
          "column": 3
        },
        "end": {
          "line": 31,
          "column": 71
        }
      },
      {
        "file": "packages/fx/src/Fx/combinators/flatMap.ts",
        "start": {
          "line": 33,
          "column": 3
        },
        "end": {
          "line": 37,
          "column": 42
        }
      }
    ],
    "since": "1.0.0",
    "category": "Type contracts"
  }
}