{
  "id": "@typed/guard#catchTag",
  "canonicalId": "@typed/guard#catchTag",
  "symbol": {
    "id": "@typed/guard#catchTag",
    "packageName": "@typed/guard",
    "moduleName": ".",
    "exportName": "catchTag",
    "kind": "constant",
    "signatures": [
      "export declare const catchTag: {\n    <const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, E, O2, E2, R2>(tag: K, f: (e: ExtractTag<NoInfer<E>, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>) => Effect.Effect<O2, E2, R2>): <I, O, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O | O2, E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>, R | R2>;\n    <I, O, E, R, const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, O2, E2, R2>(guard: GuardInput<I, O, E, R>, tag: K, f: (e: ExtractTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>) => Effect.Effect<O2, E2, R2>): Guard<I, O | O2, E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>, R | R2>;\n};"
    ],
    "summary": "Recovers selected tagged typed failures and leaves unmatched tags in the error channel.",
    "sections": {
      "Why": "Tag-specific recovery preserves type-safe residual errors while lifting recovered output into `Some`; `None`, defects, and interruption are unchanged.",
      "Ownership and lifetime": "Construction acquires no resources; the handler runs only for matching tagged failures during an invocation."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { catchTag } from \"@typed/guard\"\nimport type { Guard } from \"@typed/guard\"\nimport { Effect } from \"effect\"\ntype NotFound = { readonly _tag: \"NotFound\" }\nconst source: Guard<string, string, NotFound> = (input) => input ? Effect.succeedSome(input) : Effect.fail({ _tag: \"NotFound\" })\nconst recovered = catchTag(source, \"NotFound\", () => Effect.succeed(\"fallback\"))"
      }
    ],
    "relations": [],
    "source": {
      "file": "packages/guard/src/index.ts",
      "line": 713
    },
    "since": "1.0.0",
    "category": "Error recovery"
  },
  "exposure": {
    "recordKind": "declaration",
    "id": "@typed/guard#catchTag",
    "packageName": "@typed/guard",
    "packageVersion": "1.0.0-beta.13",
    "moduleName": ".",
    "consumerSpecifier": "@typed/guard",
    "exportName": "catchTag",
    "qualifiedName": "catchTag",
    "declarationKey": "declaration:1b2869c480113839bcd5c0ec",
    "family": "variable",
    "signatures": [
      "export declare const catchTag: {\n    <const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, E, O2, E2, R2>(tag: K, f: (e: ExtractTag<NoInfer<E>, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>) => Effect.Effect<O2, E2, R2>): <I, O, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O | O2, E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>, R | R2>;\n    <I, O, E, R, const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, O2, E2, R2>(guard: GuardInput<I, O, E, R>, tag: K, f: (e: ExtractTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>) => Effect.Effect<O2, E2, R2>): Guard<I, O | O2, E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>, R | R2>;\n};"
    ],
    "sourceSpans": [
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 713,
          "column": 14
        },
        "end": {
          "line": 762,
          "column": 2
        }
      },
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 714,
          "column": 3
        },
        "end": {
          "line": 726,
          "column": 5
        }
      },
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 728,
          "column": 3
        },
        "end": {
          "line": 739,
          "column": 5
        }
      }
    ],
    "aliases": [],
    "isAlias": false,
    "static": false
  },
  "declaration": {
    "declarationKey": "declaration:1b2869c480113839bcd5c0ec",
    "name": "catchTag",
    "family": "variable",
    "facets": [
      {
        "family": "variable",
        "syntaxKind": "VariableDeclaration",
        "signatures": [
          "export declare const catchTag: {\n    <const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, E, O2, E2, R2>(tag: K, f: (e: ExtractTag<NoInfer<E>, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>) => Effect.Effect<O2, E2, R2>): <I, O, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O | O2, E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>, R | R2>;\n    <I, O, E, R, const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, O2, E2, R2>(guard: GuardInput<I, O, E, R>, tag: K, f: (e: ExtractTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>) => Effect.Effect<O2, E2, R2>): Guard<I, O | O2, E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>, R | R2>;\n};"
        ],
        "typeParameters": [],
        "sourceSpans": [
          {
            "file": "packages/guard/src/index.ts",
            "start": {
              "line": 713,
              "column": 14
            },
            "end": {
              "line": 762,
              "column": 2
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      },
      {
        "family": "call-signature",
        "syntaxKind": "CallSignature",
        "signatures": [
          "<const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, E, O2, E2, R2>(tag: K, f: (e: ExtractTag<NoInfer<E>, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>) => Effect.Effect<O2, E2, R2>): <I, O, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O | O2, E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>, R | R2>;",
          "<I, O, E, R, const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, O2, E2, R2>(guard: GuardInput<I, O, E, R>, tag: K, f: (e: ExtractTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>) => Effect.Effect<O2, E2, R2>): Guard<I, O | O2, E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>, R | R2>;"
        ],
        "typeParameters": [
          "const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>",
          "E",
          "O2",
          "E2",
          "R2",
          "I",
          "O",
          "R"
        ],
        "sourceSpans": [
          {
            "file": "packages/guard/src/index.ts",
            "start": {
              "line": 714,
              "column": 3
            },
            "end": {
              "line": 726,
              "column": 5
            }
          },
          {
            "file": "packages/guard/src/index.ts",
            "start": {
              "line": 728,
              "column": 3
            },
            "end": {
              "line": 739,
              "column": 5
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      }
    ],
    "signatures": [
      "export declare const catchTag: {\n    <const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, E, O2, E2, R2>(tag: K, f: (e: ExtractTag<NoInfer<E>, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>) => Effect.Effect<O2, E2, R2>): <I, O, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O | O2, E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>, R | R2>;\n    <I, O, E, R, const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, O2, E2, R2>(guard: GuardInput<I, O, E, R>, tag: K, f: (e: ExtractTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>) => Effect.Effect<O2, E2, R2>): Guard<I, O | O2, E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>, R | R2>;\n};"
    ],
    "typeParameters": [
      "const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>",
      "E",
      "O2",
      "E2",
      "R2",
      "I",
      "O",
      "R"
    ],
    "summary": "Recovers selected tagged typed failures and leaves unmatched tags in the error channel.",
    "sections": {
      "Why": "Tag-specific recovery preserves type-safe residual errors while lifting recovered output into `Some`; `None`, defects, and interruption are unchanged.",
      "Ownership and lifetime": "Construction acquires no resources; the handler runs only for matching tagged failures during an invocation."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { catchTag } from \"@typed/guard\"\nimport type { Guard } from \"@typed/guard\"\nimport { Effect } from \"effect\"\ntype NotFound = { readonly _tag: \"NotFound\" }\nconst source: Guard<string, string, NotFound> = (input) => input ? Effect.succeedSome(input) : Effect.fail({ _tag: \"NotFound\" })\nconst recovered = catchTag(source, \"NotFound\", () => Effect.succeed(\"fallback\"))"
      }
    ],
    "sourceSpans": [
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 713,
          "column": 14
        },
        "end": {
          "line": 762,
          "column": 2
        }
      },
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 714,
          "column": 3
        },
        "end": {
          "line": 726,
          "column": 5
        }
      },
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 728,
          "column": 3
        },
        "end": {
          "line": 739,
          "column": 5
        }
      }
    ],
    "since": "1.0.0",
    "category": "Error recovery"
  }
}