{
  "id": "@typed/fx#Versioned.Versioned",
  "canonicalId": "@typed/fx/Versioned#Versioned",
  "symbol": {
    "id": "@typed/fx#Versioned.Versioned",
    "packageName": "@typed/fx",
    "moduleName": ".",
    "exportName": "Versioned.Versioned",
    "kind": "interface",
    "signatures": [
      "export interface Versioned<out R1, out E1, out A2, out E2, out R2, out A3, out E3, out R3> extends Fx.Fx<A2, E2, R2>, Effect.Effect<A3, E3, R3> {\n    readonly version: Effect.Effect<number, E1, R1>;\n    readonly interrupt: Effect.Effect<void, never, R1>;\n}",
      "export declare namespace Versioned {\n    type Unify<T> = T extends Versioned<infer R1, infer E1, infer A2, infer E2, infer R2, infer A3, infer E3, infer R3> | (infer _) ? Versioned<R1, E1, A2, E2, R2, A3, E3, R3> : never;\n    type VersionContext<T> = T extends Versioned<infer R, any, any, any, any, any, any, any> ? R : never;\n    type VersionError<T> = T extends Versioned<any, infer E, any, any, any, any, any, any> ? E : never;\n    interface Service<Self, Id extends string, E1, A2, E2, A3, E3> extends Versioned<Self, E1, A2, E2, Self, A3, E3, Self> {\n        readonly id: Id;\n        readonly service: Context.Service<Self, Versioned<never, E1, A2, E2, never, A3, E3, never>>;\n        readonly make: <R1 = never, R2 = never, R3 = never>(version: Effect.Effect<number, E1, R1>, fx: Fx.Fx<A2, E2, R2>, effect: Effect.Effect<A3, E3, R3>) => Layer.Layer<Self, never, Exclude<R1 | R2 | R3, Scope.Scope>>;\n    }\n    interface Class<Self, Id extends string, E1, A2, E2, A3, E3> extends Service<Self, Id, E1, A2, E2, A3, E3> {\n        new (): Service<Self, Id, E1, A2, E2, A3, E3>;\n    }\n}"
    ],
    "summary": "A Versioned value is a value that changes over time, and each change is associated with a version number.\nIt combines the capabilities of an `Fx` (to observe changes) and an `Effect` (to get the current value).",
    "sections": {
      "Why": "Keeps a current-value Effect, pushed Fx updates, and an invalidation version together so\nconsumers can avoid stale work without hiding errors or services.",
      "Ownership and lifetime": "Versioned is a contract and performs no acquisition. Implementations retain the errors,\nservices, interruption, and Scope requirements expressed by its members.",
      "Property: interrupt": "Interrupts shared in-flight current-value work.",
      "Property: interrupt: Why": "Returns an Effect that interrupts shared in-flight current-value work and completes with\n`void`; it does not complete or take ownership of the independently supplied Fx update channel.",
      "Property: interrupt: Ownership and lifetime": "Nothing happens until the Effect is run. It cannot fail, requires the version channel's `R1`,\nand does not start a read or subscription merely by being accessed.",
      "Property: version": "Samples the current invalidation version.",
      "Property: version: Why": "Samples the input's invalidation token independently of reading the current value or observing\npushed updates.",
      "Property: version: Ownership and lifetime": "version does not own its inputs. Observation and current reads retain upstream lifetime,\ntyped failures, services, and interruption behavior."
    },
    "examples": [],
    "relations": [],
    "source": {
      "file": "packages/fx/src/Versioned/Versioned.ts",
      "line": 61
    },
    "since": "1.0.0",
    "category": "State protocol"
  },
  "exposure": {
    "recordKind": "declaration",
    "id": "@typed/fx#Versioned.Versioned",
    "packageName": "@typed/fx",
    "packageVersion": "2.0.0-beta.7",
    "moduleName": ".",
    "consumerSpecifier": "@typed/fx",
    "exportName": "Versioned",
    "qualifiedName": "Versioned.Versioned",
    "declarationKey": "declaration:c2e74261dd7553cf4da293fa",
    "family": "interface",
    "signatures": [
      "export interface Versioned<out R1, out E1, out A2, out E2, out R2, out A3, out E3, out R3> extends Fx.Fx<A2, E2, R2>, Effect.Effect<A3, E3, R3> {\n    readonly version: Effect.Effect<number, E1, R1>;\n    readonly interrupt: Effect.Effect<void, never, R1>;\n}",
      "export declare namespace Versioned {\n    type Unify<T> = T extends Versioned<infer R1, infer E1, infer A2, infer E2, infer R2, infer A3, infer E3, infer R3> | (infer _) ? Versioned<R1, E1, A2, E2, R2, A3, E3, R3> : never;\n    type VersionContext<T> = T extends Versioned<infer R, any, any, any, any, any, any, any> ? R : never;\n    type VersionError<T> = T extends Versioned<any, infer E, any, any, any, any, any, any> ? E : never;\n    interface Service<Self, Id extends string, E1, A2, E2, A3, E3> extends Versioned<Self, E1, A2, E2, Self, A3, E3, Self> {\n        readonly id: Id;\n        readonly service: Context.Service<Self, Versioned<never, E1, A2, E2, never, A3, E3, never>>;\n        readonly make: <R1 = never, R2 = never, R3 = never>(version: Effect.Effect<number, E1, R1>, fx: Fx.Fx<A2, E2, R2>, effect: Effect.Effect<A3, E3, R3>) => Layer.Layer<Self, never, Exclude<R1 | R2 | R3, Scope.Scope>>;\n    }\n    interface Class<Self, Id extends string, E1, A2, E2, A3, E3> extends Service<Self, Id, E1, A2, E2, A3, E3> {\n        new (): Service<Self, Id, E1, A2, E2, A3, E3>;\n    }\n}"
    ],
    "sourceSpans": [
      {
        "file": "packages/fx/src/Versioned/Versioned.ts",
        "start": {
          "line": 61,
          "column": 1
        },
        "end": {
          "line": 99,
          "column": 2
        }
      },
      {
        "file": "packages/fx/src/Versioned/Versioned.ts",
        "start": {
          "line": 118,
          "column": 1
        },
        "end": {
          "line": 309,
          "column": 2
        }
      },
      {
        "file": "packages/fx/src/Versioned/Versioned.ts",
        "start": {
          "line": 98,
          "column": 3
        },
        "end": {
          "line": 98,
          "column": 54
        }
      },
      {
        "file": "packages/fx/src/Versioned/Versioned.ts",
        "start": {
          "line": 80,
          "column": 3
        },
        "end": {
          "line": 80,
          "column": 51
        }
      }
    ],
    "aliases": [
      "@typed/fx/Versioned#Versioned"
    ],
    "isAlias": true,
    "parentId": "@typed/fx#Versioned",
    "static": false,
    "importedFrom": "declaration:c2e74261dd7553cf4da293fa"
  },
  "declaration": {
    "declarationKey": "declaration:c2e74261dd7553cf4da293fa",
    "name": "Versioned",
    "family": "interface",
    "facets": [
      {
        "family": "interface",
        "syntaxKind": "InterfaceDeclaration",
        "signatures": [
          "export interface Versioned<out R1, out E1, out A2, out E2, out R2, out A3, out E3, out R3> extends Fx.Fx<A2, E2, R2>, Effect.Effect<A3, E3, R3> {\n    readonly version: Effect.Effect<number, E1, R1>;\n    readonly interrupt: Effect.Effect<void, never, R1>;\n}"
        ],
        "typeParameters": [
          "out R1",
          "out E1",
          "out A2",
          "out E2",
          "out R2",
          "out A3",
          "out E3",
          "out R3"
        ],
        "sourceSpans": [
          {
            "file": "packages/fx/src/Versioned/Versioned.ts",
            "start": {
              "line": 61,
              "column": 1
            },
            "end": {
              "line": 99,
              "column": 2
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      },
      {
        "family": "namespace",
        "syntaxKind": "ModuleDeclaration",
        "signatures": [
          "export declare namespace Versioned {\n    type Unify<T> = T extends Versioned<infer R1, infer E1, infer A2, infer E2, infer R2, infer A3, infer E3, infer R3> | (infer _) ? Versioned<R1, E1, A2, E2, R2, A3, E3, R3> : never;\n    type VersionContext<T> = T extends Versioned<infer R, any, any, any, any, any, any, any> ? R : never;\n    type VersionError<T> = T extends Versioned<any, infer E, any, any, any, any, any, any> ? E : never;\n    interface Service<Self, Id extends string, E1, A2, E2, A3, E3> extends Versioned<Self, E1, A2, E2, Self, A3, E3, Self> {\n        readonly id: Id;\n        readonly service: Context.Service<Self, Versioned<never, E1, A2, E2, never, A3, E3, never>>;\n        readonly make: <R1 = never, R2 = never, R3 = never>(version: Effect.Effect<number, E1, R1>, fx: Fx.Fx<A2, E2, R2>, effect: Effect.Effect<A3, E3, R3>) => Layer.Layer<Self, never, Exclude<R1 | R2 | R3, Scope.Scope>>;\n    }\n    interface Class<Self, Id extends string, E1, A2, E2, A3, E3> extends Service<Self, Id, E1, A2, E2, A3, E3> {\n        new (): Service<Self, Id, E1, A2, E2, A3, E3>;\n    }\n}"
        ],
        "typeParameters": [],
        "sourceSpans": [
          {
            "file": "packages/fx/src/Versioned/Versioned.ts",
            "start": {
              "line": 118,
              "column": 1
            },
            "end": {
              "line": 309,
              "column": 2
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      },
      {
        "family": "property",
        "syntaxKind": "PropertySignature",
        "signatures": [
          "readonly interrupt: Effect.Effect<void, never, R1>;"
        ],
        "typeParameters": [],
        "sourceSpans": [
          {
            "file": "packages/fx/src/Versioned/Versioned.ts",
            "start": {
              "line": 98,
              "column": 3
            },
            "end": {
              "line": 98,
              "column": 54
            }
          }
        ],
        "static": false,
        "readonly": true,
        "optional": false
      },
      {
        "family": "property",
        "syntaxKind": "PropertySignature",
        "signatures": [
          "readonly version: Effect.Effect<number, E1, R1>;"
        ],
        "typeParameters": [],
        "sourceSpans": [
          {
            "file": "packages/fx/src/Versioned/Versioned.ts",
            "start": {
              "line": 80,
              "column": 3
            },
            "end": {
              "line": 80,
              "column": 51
            }
          }
        ],
        "static": false,
        "readonly": true,
        "optional": false
      }
    ],
    "signatures": [
      "export interface Versioned<out R1, out E1, out A2, out E2, out R2, out A3, out E3, out R3> extends Fx.Fx<A2, E2, R2>, Effect.Effect<A3, E3, R3> {\n    readonly version: Effect.Effect<number, E1, R1>;\n    readonly interrupt: Effect.Effect<void, never, R1>;\n}",
      "export declare namespace Versioned {\n    type Unify<T> = T extends Versioned<infer R1, infer E1, infer A2, infer E2, infer R2, infer A3, infer E3, infer R3> | (infer _) ? Versioned<R1, E1, A2, E2, R2, A3, E3, R3> : never;\n    type VersionContext<T> = T extends Versioned<infer R, any, any, any, any, any, any, any> ? R : never;\n    type VersionError<T> = T extends Versioned<any, infer E, any, any, any, any, any, any> ? E : never;\n    interface Service<Self, Id extends string, E1, A2, E2, A3, E3> extends Versioned<Self, E1, A2, E2, Self, A3, E3, Self> {\n        readonly id: Id;\n        readonly service: Context.Service<Self, Versioned<never, E1, A2, E2, never, A3, E3, never>>;\n        readonly make: <R1 = never, R2 = never, R3 = never>(version: Effect.Effect<number, E1, R1>, fx: Fx.Fx<A2, E2, R2>, effect: Effect.Effect<A3, E3, R3>) => Layer.Layer<Self, never, Exclude<R1 | R2 | R3, Scope.Scope>>;\n    }\n    interface Class<Self, Id extends string, E1, A2, E2, A3, E3> extends Service<Self, Id, E1, A2, E2, A3, E3> {\n        new (): Service<Self, Id, E1, A2, E2, A3, E3>;\n    }\n}"
    ],
    "typeParameters": [
      "out R1",
      "out E1",
      "out A2",
      "out E2",
      "out R2",
      "out A3",
      "out E3",
      "out R3"
    ],
    "summary": "A Versioned value is a value that changes over time, and each change is associated with a version number.\nIt combines the capabilities of an `Fx` (to observe changes) and an `Effect` (to get the current value).",
    "sections": {
      "Why": "Keeps a current-value Effect, pushed Fx updates, and an invalidation version together so\nconsumers can avoid stale work without hiding errors or services.",
      "Ownership and lifetime": "Versioned is a contract and performs no acquisition. Implementations retain the errors,\nservices, interruption, and Scope requirements expressed by its members.",
      "Property: interrupt": "Interrupts shared in-flight current-value work.",
      "Property: interrupt: Why": "Returns an Effect that interrupts shared in-flight current-value work and completes with\n`void`; it does not complete or take ownership of the independently supplied Fx update channel.",
      "Property: interrupt: Ownership and lifetime": "Nothing happens until the Effect is run. It cannot fail, requires the version channel's `R1`,\nand does not start a read or subscription merely by being accessed.",
      "Property: version": "Samples the current invalidation version.",
      "Property: version: Why": "Samples the input's invalidation token independently of reading the current value or observing\npushed updates.",
      "Property: version: Ownership and lifetime": "version does not own its inputs. Observation and current reads retain upstream lifetime,\ntyped failures, services, and interruption behavior."
    },
    "examples": [],
    "sourceSpans": [
      {
        "file": "packages/fx/src/Versioned/Versioned.ts",
        "start": {
          "line": 61,
          "column": 1
        },
        "end": {
          "line": 99,
          "column": 2
        }
      },
      {
        "file": "packages/fx/src/Versioned/Versioned.ts",
        "start": {
          "line": 118,
          "column": 1
        },
        "end": {
          "line": 309,
          "column": 2
        }
      },
      {
        "file": "packages/fx/src/Versioned/Versioned.ts",
        "start": {
          "line": 98,
          "column": 3
        },
        "end": {
          "line": 98,
          "column": 54
        }
      },
      {
        "file": "packages/fx/src/Versioned/Versioned.ts",
        "start": {
          "line": 80,
          "column": 3
        },
        "end": {
          "line": 80,
          "column": 51
        }
      }
    ],
    "since": "1.0.0",
    "category": "State protocol"
  }
}