# NavigationType

Validates the four transition operations understood by navigation providers.

## Signatures

```ts
export declare const NavigationType: Schema.Union<readonly [
    Schema.Literal<"push">,
    Schema.Literal<"replace">,
    Schema.Literal<"reload">,
    Schema.Literal<"traverse">
]>;
```

```ts
export type NavigationType = typeof NavigationType.Type;
```

## Why

A closed operation vocabulary lets handlers distinguish history growth, replacement, reload, and
traversal without inspecting backend-specific events.

## Ownership and lifetime

This immutable schema acquires no resources.

## Examples

```ts
import { NavigationType } from "@typed/navigation/model"
import * as Schema from "effect/Schema"

Schema.decodeUnknownSync(NavigationType)("replace")
```