Module Miaou_core.NavigationSource

Page state wrapper with navigation support.

Instead of pages manually managing a next_page field, the framework wraps page state in 'a t and provides navigation helpers.

Usage in pages

  let handle_key ps key ~size =
    match key with
    | "Esc" -> Navigation.back ps
    | "q" -> Navigation.quit ps
    | "Enter" -> Navigation.goto "other_page" ps
    | "j" -> Navigation.update (fun s -> {s with cursor = s.cursor + 1}) ps
    | _ -> ps

Type-safe navigation

Navigation uses a variant type to prevent common mistakes:

• Goto "page" pushes the current page onto the history stack and navigates to the named page.
• Back pops the previous page from the history stack.
• Quit exits the application.

Using a variant instead of magic strings makes it impossible to accidentally use goto "parent_page" when back is intended, which previously caused infinite navigation loops.