{
  "id": "@typed/fx#Fx.provideServiceEffect",
  "canonicalId": "@typed/fx/Fx#provideServiceEffect",
  "symbol": {
    "id": "@typed/fx#Fx.provideServiceEffect",
    "packageName": "@typed/fx",
    "moduleName": ".",
    "exportName": "Fx.provideServiceEffect",
    "kind": "constant",
    "signatures": [
      "export declare const provideServiceEffect: {\n    <Id, S, E2, R2>(tag: Context.Service<Id, S>, serviceEffect: Effect.Effect<S, E2, R2>): <A, E, R>(fx: Fx<A, E, R>) => Fx<A, E | E2, Exclude<R, Id> | R2>;\n    <A, E, R, Id, S, E2, R2>(fx: Fx<A, E, R>, tag: Context.Service<Id, S>, serviceEffect: Effect.Effect<S, E2, R2>): Fx<A, E | E2, Exclude<R, Id> | R2>;\n};"
    ],
    "summary": "Acquires one service with an Effect before running the Fx.",
    "sections": {
      "Why": "Some service instances require effectful configuration but do not warrant a\nseparately named Layer. This keeps acquisition failure and dependencies\nexplicit in the returned Fx type.",
      "Ownership and lifetime": "The service Effect runs once per subscription while {@link provide} builds\nits Layer. A failure prevents the source from starting. On success, the\nservice is available for the whole source run and its identifier is removed\nfrom `R`; acquisition errors and every requirement in `R2` are added. In\nparticular, an `Effect.acquireRelease` service Effect still leaves\n`Scope.Scope` in the returned Fx requirements—the private Layer Scope does\nnot erase that public requirement. The caller must provide that Scope."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { Context, Effect } from \"effect\"\nimport { provideServiceEffect } from \"@typed/fx/Fx\"\nimport { fromEffect } from \"@typed/fx/Fx\"\n\nclass Config extends Context.Service<Config, { readonly url: string }>()(\"Config\") {}\nconst request = fromEffect(Effect.map(Config, (x) => x.url))\nconst runnable = provideServiceEffect(request, Config, Effect.succeed({ url: \"/api\" }))"
      },
      {
        "language": "text",
        "code": "Scoped acquisition keeps `Scope` in the returned Fx requirements\n```ts\nimport { Context, Effect } from \"effect\"\nimport { provideServiceEffect } from \"@typed/fx/Fx\"\nimport { fromEffect } from \"@typed/fx/Fx\"\nimport { collectAll } from \"@typed/fx/Fx\"\n\nclass Config extends Context.Service<Config, { readonly url: string }>()(\"Config\") {}\nconst request = fromEffect(Effect.map(Config, (x) => x.url))\nconst acquired = Effect.acquireRelease(\nEffect.succeed({ url: \"/api\" }),\n() => Effect.void\n)\nconst scopedFx = provideServiceEffect(request, Config, acquired)\nconst program = Effect.scoped(collectAll(scopedFx))\n```"
      }
    ],
    "relations": [],
    "source": {
      "file": "packages/fx/src/Fx/combinators/provide.ts",
      "line": 228
    },
    "since": "1.0.0",
    "category": "Providing services"
  },
  "exposure": {
    "recordKind": "declaration",
    "id": "@typed/fx#Fx.provideServiceEffect",
    "packageName": "@typed/fx",
    "packageVersion": "2.0.0-beta.7",
    "moduleName": ".",
    "consumerSpecifier": "@typed/fx",
    "exportName": "Fx",
    "qualifiedName": "Fx.provideServiceEffect",
    "declarationKey": "declaration:61a285b70c5b0d7bdf4c4071",
    "family": "variable",
    "signatures": [
      "export declare const provideServiceEffect: {\n    <Id, S, E2, R2>(tag: Context.Service<Id, S>, serviceEffect: Effect.Effect<S, E2, R2>): <A, E, R>(fx: Fx<A, E, R>) => Fx<A, E | E2, Exclude<R, Id> | R2>;\n    <A, E, R, Id, S, E2, R2>(fx: Fx<A, E, R>, tag: Context.Service<Id, S>, serviceEffect: Effect.Effect<S, E2, R2>): Fx<A, E | E2, Exclude<R, Id> | R2>;\n};"
    ],
    "sourceSpans": [
      {
        "file": "packages/fx/src/Fx/combinators/provide.ts",
        "start": {
          "line": 228,
          "column": 14
        },
        "end": {
          "line": 245,
          "column": 2
        }
      },
      {
        "file": "packages/fx/src/Fx/combinators/provide.ts",
        "start": {
          "line": 229,
          "column": 3
        },
        "end": {
          "line": 232,
          "column": 71
        }
      },
      {
        "file": "packages/fx/src/Fx/combinators/provide.ts",
        "start": {
          "line": 233,
          "column": 3
        },
        "end": {
          "line": 237,
          "column": 41
        }
      }
    ],
    "aliases": [
      "@typed/fx/Fx#provideServiceEffect"
    ],
    "isAlias": true,
    "parentId": "@typed/fx#Fx",
    "static": false,
    "importedFrom": "declaration:61a285b70c5b0d7bdf4c4071"
  },
  "declaration": {
    "declarationKey": "declaration:61a285b70c5b0d7bdf4c4071",
    "name": "provideServiceEffect",
    "family": "variable",
    "facets": [
      {
        "family": "variable",
        "syntaxKind": "VariableDeclaration",
        "signatures": [
          "export declare const provideServiceEffect: {\n    <Id, S, E2, R2>(tag: Context.Service<Id, S>, serviceEffect: Effect.Effect<S, E2, R2>): <A, E, R>(fx: Fx<A, E, R>) => Fx<A, E | E2, Exclude<R, Id> | R2>;\n    <A, E, R, Id, S, E2, R2>(fx: Fx<A, E, R>, tag: Context.Service<Id, S>, serviceEffect: Effect.Effect<S, E2, R2>): Fx<A, E | E2, Exclude<R, Id> | R2>;\n};"
        ],
        "typeParameters": [],
        "sourceSpans": [
          {
            "file": "packages/fx/src/Fx/combinators/provide.ts",
            "start": {
              "line": 228,
              "column": 14
            },
            "end": {
              "line": 245,
              "column": 2
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      },
      {
        "family": "call-signature",
        "syntaxKind": "CallSignature",
        "signatures": [
          "<Id, S, E2, R2>(tag: Context.Service<Id, S>, serviceEffect: Effect.Effect<S, E2, R2>): <A, E, R>(fx: Fx<A, E, R>) => Fx<A, E | E2, Exclude<R, Id> | R2>;",
          "<A, E, R, Id, S, E2, R2>(fx: Fx<A, E, R>, tag: Context.Service<Id, S>, serviceEffect: Effect.Effect<S, E2, R2>): Fx<A, E | E2, Exclude<R, Id> | R2>;"
        ],
        "typeParameters": [
          "Id",
          "S",
          "E2",
          "R2",
          "A",
          "E",
          "R"
        ],
        "sourceSpans": [
          {
            "file": "packages/fx/src/Fx/combinators/provide.ts",
            "start": {
              "line": 229,
              "column": 3
            },
            "end": {
              "line": 232,
              "column": 71
            }
          },
          {
            "file": "packages/fx/src/Fx/combinators/provide.ts",
            "start": {
              "line": 233,
              "column": 3
            },
            "end": {
              "line": 237,
              "column": 41
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      }
    ],
    "signatures": [
      "export declare const provideServiceEffect: {\n    <Id, S, E2, R2>(tag: Context.Service<Id, S>, serviceEffect: Effect.Effect<S, E2, R2>): <A, E, R>(fx: Fx<A, E, R>) => Fx<A, E | E2, Exclude<R, Id> | R2>;\n    <A, E, R, Id, S, E2, R2>(fx: Fx<A, E, R>, tag: Context.Service<Id, S>, serviceEffect: Effect.Effect<S, E2, R2>): Fx<A, E | E2, Exclude<R, Id> | R2>;\n};"
    ],
    "typeParameters": [
      "Id",
      "S",
      "E2",
      "R2",
      "A",
      "E",
      "R"
    ],
    "summary": "Acquires one service with an Effect before running the Fx.",
    "sections": {
      "Why": "Some service instances require effectful configuration but do not warrant a\nseparately named Layer. This keeps acquisition failure and dependencies\nexplicit in the returned Fx type.",
      "Ownership and lifetime": "The service Effect runs once per subscription while {@link provide} builds\nits Layer. A failure prevents the source from starting. On success, the\nservice is available for the whole source run and its identifier is removed\nfrom `R`; acquisition errors and every requirement in `R2` are added. In\nparticular, an `Effect.acquireRelease` service Effect still leaves\n`Scope.Scope` in the returned Fx requirements—the private Layer Scope does\nnot erase that public requirement. The caller must provide that Scope."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { Context, Effect } from \"effect\"\nimport { provideServiceEffect } from \"@typed/fx/Fx\"\nimport { fromEffect } from \"@typed/fx/Fx\"\n\nclass Config extends Context.Service<Config, { readonly url: string }>()(\"Config\") {}\nconst request = fromEffect(Effect.map(Config, (x) => x.url))\nconst runnable = provideServiceEffect(request, Config, Effect.succeed({ url: \"/api\" }))"
      },
      {
        "language": "text",
        "code": "Scoped acquisition keeps `Scope` in the returned Fx requirements\n```ts\nimport { Context, Effect } from \"effect\"\nimport { provideServiceEffect } from \"@typed/fx/Fx\"\nimport { fromEffect } from \"@typed/fx/Fx\"\nimport { collectAll } from \"@typed/fx/Fx\"\n\nclass Config extends Context.Service<Config, { readonly url: string }>()(\"Config\") {}\nconst request = fromEffect(Effect.map(Config, (x) => x.url))\nconst acquired = Effect.acquireRelease(\nEffect.succeed({ url: \"/api\" }),\n() => Effect.void\n)\nconst scopedFx = provideServiceEffect(request, Config, acquired)\nconst program = Effect.scoped(collectAll(scopedFx))\n```"
      }
    ],
    "sourceSpans": [
      {
        "file": "packages/fx/src/Fx/combinators/provide.ts",
        "start": {
          "line": 228,
          "column": 14
        },
        "end": {
          "line": 245,
          "column": 2
        }
      },
      {
        "file": "packages/fx/src/Fx/combinators/provide.ts",
        "start": {
          "line": 229,
          "column": 3
        },
        "end": {
          "line": 232,
          "column": 71
        }
      },
      {
        "file": "packages/fx/src/Fx/combinators/provide.ts",
        "start": {
          "line": 233,
          "column": 3
        },
        "end": {
          "line": 237,
          "column": 41
        }
      }
    ],
    "since": "1.0.0",
    "category": "Providing services"
  }
}