Enum NavRequest 

pub enum NavRequest {
    Go(String),
    Push(String),
    Replace(String),
    Pop,
    GoNamed {
        name: String,
        params: BTreeMap<String, String>,
    },
    PushNamed {
        name: String,
        params: BTreeMap<String, String>,
    },
}

The declarative router vocabulary (a go_router-subset layer), flat-re-exported from frust-widgets so app code never names that crate directly: Router resolves a location against a Route table (built via RouteBuilder) into Resolution/ResolvedPages driving a NavigatorController, with :param/query parsing (Location/PathPattern/RouteParams), per-route/top-level Redirects (loop-guarded at DEFAULT_REDIRECT_LIMIT), and an ErrorBuilder fallback for an unmatched location.

A page builder receives the location’s query merged under its path captures, so /terminal?session=abc reads its own parameter.

RouteNavigator is the seam a screen navigates through: a Send + Sync queue of NavRequest data (paths and names, never closures) that rides provide_context — the Router itself cannot, since it holds Rc page builders. RouterDeepLinks::track drains it every rebuild, so a request queued in an event handler (on any thread — the queue never panics off-thread) applies on the next frame.

shell_route is the nested-navigator binding: its children resolve onto a second NavigatorController the app owns and its own page — the chrome wrapping that inner navigator — stays retained while they do, so navigating between siblings inside the shell never rebuilds the chrome. See its docs for the keep rule and the per-verb table. One queued navigation request: pure data (paths, names, params), never a closure or a page. Applied by Router::pump against the router’s own route table, so the request and the resolution stay on opposite sides of the Send + Sync boundary.

Variants

Go(String)

Reset the stack to the matched chain — Router::go.

Push(String)

Stack the matched leaf — Router::push.

Replace(String)

Replace the top page with the matched leaf — Router::replace.

Pop

Pop the top page — Router::pop.

GoNamed

Router::go_named.

Fields

name: String

The route’s name.

params: BTreeMap<String, String>

Params substituted into the named route’s pattern; leftovers become query parameters.

PushNamed

Router::push_named.

Fields

name: String

The route’s name.

params: BTreeMap<String, String>

Params substituted into the named route’s pattern; leftovers become query parameters.

Trait Implementations

impl Clone for NavRequest

fn clone(&self) -> NavRequest

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for NavRequest

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Eq for NavRequest

impl PartialEq for NavRequest

fn eq(&self, other: &NavRequest) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for NavRequest