{
  "id": "@typed/navigation/model#NavigationEvent",
  "canonicalId": "@typed/navigation#NavigationEvent",
  "symbol": {
    "id": "@typed/navigation/model#NavigationEvent",
    "packageName": "@typed/navigation",
    "moduleName": "model",
    "exportName": "NavigationEvent",
    "kind": "constant",
    "signatures": [
      "export declare const NavigationEvent: Schema.Struct<{\n    readonly type: Schema.Union<readonly [\n        Schema.Literal<\"push\">,\n        Schema.Literal<\"replace\">,\n        Schema.Literal<\"reload\">,\n        Schema.Literal<\"traverse\">\n    ]>;\n    readonly destination: Schema.Struct<{\n        readonly id: Schema.String;\n        readonly key: Schema.String;\n        readonly url: Schema.URLFromString;\n        readonly state: Schema.Unknown;\n        readonly sameDocument: Schema.Boolean;\n    }>;\n    readonly info: Schema.Unknown;\n}>;",
      "export type NavigationEvent = typeof NavigationEvent.Type;"
    ],
    "summary": "Describes a destination after it has been committed by the navigation backend.",
    "sections": {
      "Why": "Post-commit handlers should observe the actual destination, not the earlier proposal, so state\nsynchronization can run only after history and current-entry state agree.",
      "Ownership and lifetime": "The schema acquires no resources. The navigation operation owns dispatch; scoped handler\nregistration controls who receives the event."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { NavigationEvent } from \"@typed/navigation/model\"\nimport * as Schema from \"effect/Schema\"\n\nconst isNavigationEvent = Schema.is(NavigationEvent)"
      }
    ],
    "relations": [],
    "source": {
      "file": "packages/navigation/src/model.ts",
      "line": 243
    },
    "since": "1.0.0",
    "category": "Navigation event schemas"
  },
  "exposure": {
    "recordKind": "declaration",
    "id": "@typed/navigation/model#NavigationEvent",
    "packageName": "@typed/navigation",
    "packageVersion": "1.0.0-beta.7",
    "moduleName": "model",
    "consumerSpecifier": "@typed/navigation/model",
    "exportName": "NavigationEvent",
    "qualifiedName": "NavigationEvent",
    "declarationKey": "declaration:363247bb2dd4b5a4de8bf31d",
    "family": "variable",
    "signatures": [
      "export declare const NavigationEvent: Schema.Struct<{\n    readonly type: Schema.Union<readonly [\n        Schema.Literal<\"push\">,\n        Schema.Literal<\"replace\">,\n        Schema.Literal<\"reload\">,\n        Schema.Literal<\"traverse\">\n    ]>;\n    readonly destination: Schema.Struct<{\n        readonly id: Schema.String;\n        readonly key: Schema.String;\n        readonly url: Schema.URLFromString;\n        readonly state: Schema.Unknown;\n        readonly sameDocument: Schema.Boolean;\n    }>;\n    readonly info: Schema.Unknown;\n}>;",
      "export type NavigationEvent = typeof NavigationEvent.Type;"
    ],
    "sourceSpans": [
      {
        "file": "packages/navigation/src/model.ts",
        "start": {
          "line": 243,
          "column": 14
        },
        "end": {
          "line": 247,
          "column": 3
        }
      },
      {
        "file": "packages/navigation/src/model.ts",
        "start": {
          "line": 261,
          "column": 1
        },
        "end": {
          "line": 261,
          "column": 59
        }
      }
    ],
    "aliases": [
      "@typed/navigation#NavigationEvent"
    ],
    "isAlias": false,
    "static": false
  },
  "declaration": {
    "declarationKey": "declaration:363247bb2dd4b5a4de8bf31d",
    "name": "NavigationEvent",
    "family": "variable",
    "facets": [
      {
        "family": "variable",
        "syntaxKind": "VariableDeclaration",
        "signatures": [
          "export declare const NavigationEvent: Schema.Struct<{\n    readonly type: Schema.Union<readonly [\n        Schema.Literal<\"push\">,\n        Schema.Literal<\"replace\">,\n        Schema.Literal<\"reload\">,\n        Schema.Literal<\"traverse\">\n    ]>;\n    readonly destination: Schema.Struct<{\n        readonly id: Schema.String;\n        readonly key: Schema.String;\n        readonly url: Schema.URLFromString;\n        readonly state: Schema.Unknown;\n        readonly sameDocument: Schema.Boolean;\n    }>;\n    readonly info: Schema.Unknown;\n}>;"
        ],
        "typeParameters": [],
        "sourceSpans": [
          {
            "file": "packages/navigation/src/model.ts",
            "start": {
              "line": 243,
              "column": 14
            },
            "end": {
              "line": 247,
              "column": 3
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      },
      {
        "family": "type-alias",
        "syntaxKind": "TypeAliasDeclaration",
        "signatures": [
          "export type NavigationEvent = typeof NavigationEvent.Type;"
        ],
        "typeParameters": [],
        "sourceSpans": [
          {
            "file": "packages/navigation/src/model.ts",
            "start": {
              "line": 261,
              "column": 1
            },
            "end": {
              "line": 261,
              "column": 59
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      }
    ],
    "signatures": [
      "export declare const NavigationEvent: Schema.Struct<{\n    readonly type: Schema.Union<readonly [\n        Schema.Literal<\"push\">,\n        Schema.Literal<\"replace\">,\n        Schema.Literal<\"reload\">,\n        Schema.Literal<\"traverse\">\n    ]>;\n    readonly destination: Schema.Struct<{\n        readonly id: Schema.String;\n        readonly key: Schema.String;\n        readonly url: Schema.URLFromString;\n        readonly state: Schema.Unknown;\n        readonly sameDocument: Schema.Boolean;\n    }>;\n    readonly info: Schema.Unknown;\n}>;",
      "export type NavigationEvent = typeof NavigationEvent.Type;"
    ],
    "typeParameters": [],
    "summary": "Describes a destination after it has been committed by the navigation backend.",
    "sections": {
      "Why": "Post-commit handlers should observe the actual destination, not the earlier proposal, so state\nsynchronization can run only after history and current-entry state agree.",
      "Ownership and lifetime": "The schema acquires no resources. The navigation operation owns dispatch; scoped handler\nregistration controls who receives the event."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { NavigationEvent } from \"@typed/navigation/model\"\nimport * as Schema from \"effect/Schema\"\n\nconst isNavigationEvent = Schema.is(NavigationEvent)"
      }
    ],
    "sourceSpans": [
      {
        "file": "packages/navigation/src/model.ts",
        "start": {
          "line": 243,
          "column": 14
        },
        "end": {
          "line": 247,
          "column": 3
        }
      },
      {
        "file": "packages/navigation/src/model.ts",
        "start": {
          "line": 261,
          "column": 1
        },
        "end": {
          "line": 261,
          "column": 59
        }
      }
    ],
    "since": "1.0.0",
    "category": "Navigation event schemas"
  }
}