Skip to main content
TermRock
GitHub
ComponentsNavigation

Component · Navigation

Pagination

Page navigation for remote datasets with prev/next, page numbers, unknown totals, page size, loading, jump entry, and narrow contraction. Not scroll virtualization.

Kind
widget
Input
interactive
Canvas
120×40

Live preview

Loading terminal preview.

Static terminal poster. Choose Run live to start the Rust demo.

Ghosttypagination/full
Loading terminal poster…
○ loading posterNo input — rendered state only
Pagination · exact mounted Rust story
01 · Purpose
What it is for
Page navigation for remote datasets with prev/next, page numbers, unknown totals, page size, loading, jump entry, and narrow contraction. Not scroll virtualization.
Best fit: Navigation · navigation · widget
02 · Behavior
What the mounted story proves
  1. 01
    Pagination
    Representative 120×40 terminal state.
  2. 02
    Passive paint
    No keyboard or pointer action is claimed by this representative story.
  3. 03
    Evidence stays explicit
    5 covered · 8 partial · 4 missing axes.
03 · Implement
Install, then start from exact code
Install
cargo add termrock --git https://github.com/tailrocks/termrock.git --rev 5283c2acf9154d0cfcd37b1ffe821c00faf90ea2
Add TermRock once. Keep domain effects in the host application.
Minimal implementation
Exact Rust setup used by pagination/full.
Open to load code.
04 · Adapt
Variants and composition
Variants
Use the preview Variant menu when alternate registered stories exist. Each selection mounts a fresh configuration.
Composition
Navigation · navigation · widget
05 · Reference
API, tokens, accessibility
API
PaginationOpen source ↗
Tokens
DesignSystemInspect exact story code for roles and capability projection.
Accessibility
Input contract mountedNo input claim in the representative story.
Contract
Evidence in progress5/23 axes covered
06 · Go deeper
Advanced guidance
Authored implementation guidance
Purpose. Navigate pages of remote or expensive datasets. Host fetches;
TermRock emits [PageRequest] { page, page_size, offset() }.


Not scrolling


PaginationVirtualization
DataDiscrete remote pagesLocal / stream window
UXPage 3 of 12Continuous scroll
APILIMIT/OFFSET, ?page=Paint slice only


pagination_guidance::WHEN_VIRTUALIZE documents the choice.


Totals


    

  • PageTotal::Known(n) — full chrome, last page
    • 

  • Unknown — next allowed; no last
    • 

  • AtLeast(n) — summary of n+
    • 

Ownership boundary
TermRock owns reusable terminal rendering and interaction state. The host owns domain data, policy, persistence, authorization, and side effects.
Evidence status
5 covered, 8 partial, and 4 missing contract axes. Missing evidence is not a behavior claim.
Navigation List
Route-oriented navigation list with hierarchy, filter, and focus distinct from active route.
Quick Open
High-performance multi-provider fuzzy resource opener with async streaming, previews, query syntax, JumpOverlay and fullscreen integration.