{
  "id": "@typed/navigation/model#ProposedDestination",
  "canonicalId": "@typed/navigation#ProposedDestination",
  "symbol": {
    "id": "@typed/navigation/model#ProposedDestination",
    "packageName": "@typed/navigation",
    "moduleName": "model",
    "exportName": "ProposedDestination",
    "kind": "constant",
    "signatures": [
      "export declare const ProposedDestination: Schema.Struct<{\n    readonly url: Schema.URLFromString;\n    readonly state: Schema.Unknown;\n    readonly sameDocument: Schema.Boolean;\n    readonly key: Schema.optional<Schema.String>;\n}>;",
      "export type ProposedDestination = typeof ProposedDestination.Type;"
    ],
    "summary": "Describes a destination before the navigation backend assigns stable entry identity.",
    "sections": {
      "Why": "Separating a requested destination from a committed one makes redirects, guards, and backend\ncommits explicit instead of pretending every requested URL is already in history.",
      "Ownership and lifetime": "This immutable schema acquires no resources. Values live for as long as the transition or caller\nretaining them; a navigation provider owns conversion to a committed {@link Destination}."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { ProposedDestination } from \"@typed/navigation/model\"\nimport * as Schema from \"effect/Schema\"\n\nconst decode = Schema.decodeUnknownSync(ProposedDestination)\nconst destination = decode({ url: \"/settings\", state: {}, sameDocument: true })"
      }
    ],
    "relations": [],
    "source": {
      "file": "packages/navigation/src/model.ts",
      "line": 26
    },
    "since": "1.0.0",
    "category": "Destination schemas"
  },
  "exposure": {
    "recordKind": "declaration",
    "id": "@typed/navigation/model#ProposedDestination",
    "packageName": "@typed/navigation",
    "packageVersion": "1.0.0-beta.7",
    "moduleName": "model",
    "consumerSpecifier": "@typed/navigation/model",
    "exportName": "ProposedDestination",
    "qualifiedName": "ProposedDestination",
    "declarationKey": "declaration:08d80f6200a1d5fe9e83cf7c",
    "family": "variable",
    "signatures": [
      "export declare const ProposedDestination: Schema.Struct<{\n    readonly url: Schema.URLFromString;\n    readonly state: Schema.Unknown;\n    readonly sameDocument: Schema.Boolean;\n    readonly key: Schema.optional<Schema.String>;\n}>;",
      "export type ProposedDestination = typeof ProposedDestination.Type;"
    ],
    "sourceSpans": [
      {
        "file": "packages/navigation/src/model.ts",
        "start": {
          "line": 26,
          "column": 14
        },
        "end": {
          "line": 31,
          "column": 3
        }
      },
      {
        "file": "packages/navigation/src/model.ts",
        "start": {
          "line": 46,
          "column": 1
        },
        "end": {
          "line": 46,
          "column": 67
        }
      }
    ],
    "aliases": [
      "@typed/navigation#ProposedDestination"
    ],
    "isAlias": false,
    "static": false
  },
  "declaration": {
    "declarationKey": "declaration:08d80f6200a1d5fe9e83cf7c",
    "name": "ProposedDestination",
    "family": "variable",
    "facets": [
      {
        "family": "variable",
        "syntaxKind": "VariableDeclaration",
        "signatures": [
          "export declare const ProposedDestination: Schema.Struct<{\n    readonly url: Schema.URLFromString;\n    readonly state: Schema.Unknown;\n    readonly sameDocument: Schema.Boolean;\n    readonly key: Schema.optional<Schema.String>;\n}>;"
        ],
        "typeParameters": [],
        "sourceSpans": [
          {
            "file": "packages/navigation/src/model.ts",
            "start": {
              "line": 26,
              "column": 14
            },
            "end": {
              "line": 31,
              "column": 3
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      },
      {
        "family": "type-alias",
        "syntaxKind": "TypeAliasDeclaration",
        "signatures": [
          "export type ProposedDestination = typeof ProposedDestination.Type;"
        ],
        "typeParameters": [],
        "sourceSpans": [
          {
            "file": "packages/navigation/src/model.ts",
            "start": {
              "line": 46,
              "column": 1
            },
            "end": {
              "line": 46,
              "column": 67
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      }
    ],
    "signatures": [
      "export declare const ProposedDestination: Schema.Struct<{\n    readonly url: Schema.URLFromString;\n    readonly state: Schema.Unknown;\n    readonly sameDocument: Schema.Boolean;\n    readonly key: Schema.optional<Schema.String>;\n}>;",
      "export type ProposedDestination = typeof ProposedDestination.Type;"
    ],
    "typeParameters": [],
    "summary": "Describes a destination before the navigation backend assigns stable entry identity.",
    "sections": {
      "Why": "Separating a requested destination from a committed one makes redirects, guards, and backend\ncommits explicit instead of pretending every requested URL is already in history.",
      "Ownership and lifetime": "This immutable schema acquires no resources. Values live for as long as the transition or caller\nretaining them; a navigation provider owns conversion to a committed {@link Destination}."
    },
    "examples": [
      {
        "language": "ts",
        "code": "import { ProposedDestination } from \"@typed/navigation/model\"\nimport * as Schema from \"effect/Schema\"\n\nconst decode = Schema.decodeUnknownSync(ProposedDestination)\nconst destination = decode({ url: \"/settings\", state: {}, sameDocument: true })"
      }
    ],
    "sourceSpans": [
      {
        "file": "packages/navigation/src/model.ts",
        "start": {
          "line": 26,
          "column": 14
        },
        "end": {
          "line": 31,
          "column": 3
        }
      },
      {
        "file": "packages/navigation/src/model.ts",
        "start": {
          "line": 46,
          "column": 1
        },
        "end": {
          "line": 46,
          "column": 67
        }
      }
    ],
    "since": "1.0.0",
    "category": "Destination schemas"
  }
}