{
  "id": "@typed/guard#Guard.Services",
  "canonicalId": "@typed/guard#Guard.Services",
  "symbol": {
    "id": "@typed/guard#Guard.Services",
    "packageName": "@typed/guard",
    "moduleName": ".",
    "exportName": "Guard.Services",
    "kind": "type",
    "signatures": [
      "type Services<T> = [\n    T\n] extends [\n    Guard<infer _I, infer _O, infer _E, infer R>\n] ? R : [\n    T\n] extends [\n    AsGuard<infer _I, infer _O, infer _E, infer R>\n] ? R : never;"
    ],
    "summary": "Extracts the Effect service requirements from a Guard or Guard adapter.",
    "sections": {
      "Why": "Service extraction makes environment composition visible in combinator signatures.",
      "Ownership and lifetime": "This compile-time type acquires no resources; service lifetime is governed by the resulting Effect or Layer."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import type { Guard } from \"@typed/guard\"\ntype Services = Guard.Services<Guard<string, number, never, { readonly Db: unique symbol }>>"
      }
    ],
    "relations": [],
    "source": {
      "file": "packages/guard/src/index.ts",
      "line": 89
    },
    "since": "1.0.0",
    "category": "Type utilities"
  },
  "exposure": {
    "recordKind": "declaration",
    "id": "@typed/guard#Guard.Services",
    "packageName": "@typed/guard",
    "packageVersion": "1.0.0-beta.13",
    "moduleName": ".",
    "consumerSpecifier": "@typed/guard",
    "exportName": "Guard",
    "qualifiedName": "Guard.Services",
    "declarationKey": "declaration:a797bb842203de3ccca51f28",
    "family": "type-alias",
    "signatures": [
      "type Services<T> = [\n    T\n] extends [\n    Guard<infer _I, infer _O, infer _E, infer R>\n] ? R : [\n    T\n] extends [\n    AsGuard<infer _I, infer _O, infer _E, infer R>\n] ? R : never;"
    ],
    "sourceSpans": [
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 89,
          "column": 3
        },
        "end": {
          "line": 93,
          "column": 15
        }
      }
    ],
    "aliases": [
      "@typed/router#GuardType.Services",
      "@typed/router/Matcher#GuardType.Services"
    ],
    "isAlias": false,
    "parentId": "@typed/guard#Guard",
    "static": false
  },
  "declaration": {
    "declarationKey": "declaration:a797bb842203de3ccca51f28",
    "name": "Services",
    "family": "type-alias",
    "facets": [
      {
        "family": "type-alias",
        "syntaxKind": "TypeAliasDeclaration",
        "signatures": [
          "type Services<T> = [\n    T\n] extends [\n    Guard<infer _I, infer _O, infer _E, infer R>\n] ? R : [\n    T\n] extends [\n    AsGuard<infer _I, infer _O, infer _E, infer R>\n] ? R : never;"
        ],
        "typeParameters": [
          "T"
        ],
        "sourceSpans": [
          {
            "file": "packages/guard/src/index.ts",
            "start": {
              "line": 89,
              "column": 3
            },
            "end": {
              "line": 93,
              "column": 15
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      }
    ],
    "signatures": [
      "type Services<T> = [\n    T\n] extends [\n    Guard<infer _I, infer _O, infer _E, infer R>\n] ? R : [\n    T\n] extends [\n    AsGuard<infer _I, infer _O, infer _E, infer R>\n] ? R : never;"
    ],
    "typeParameters": [
      "T"
    ],
    "summary": "Extracts the Effect service requirements from a Guard or Guard adapter.",
    "sections": {
      "Why": "Service extraction makes environment composition visible in combinator signatures.",
      "Ownership and lifetime": "This compile-time type acquires no resources; service lifetime is governed by the resulting Effect or Layer."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import type { Guard } from \"@typed/guard\"\ntype Services = Guard.Services<Guard<string, number, never, { readonly Db: unique symbol }>>"
      }
    ],
    "sourceSpans": [
      {
        "file": "packages/guard/src/index.ts",
        "start": {
          "line": 89,
          "column": 3
        },
        "end": {
          "line": 93,
          "column": 15
        }
      }
    ],
    "since": "1.0.0",
    "category": "Type utilities"
  }
}