Skip to content

docs: annotate route paths and params in examples - #728

Merged
cpojer merged 2 commits into
voidzero-dev:mainfrom
yangshun:docs/typed-route-examples
Nov 6, 2026
Merged

cpojer merged 2 commits into
voidzero-dev:mainfrom
yangshun:docs/typed-route-examples

Conversation

@yangshun

@yangshun yangshun commented Nov 6, 2026 •

Copy link
Copy Markdown
Collaborator

Motivation

I noticed the docs aren't showing the most type-safe way of using the APIs. Since agents heavily refer to the docs for examples, improving type safety of the docs will help end-users generate more robust code.

Summary

  • Show PageParams and satisfies RouteUrl in examples for c.redirect(), c.req.param(), revalidate({ paths }), and routing.prerender, which still accept plain strings.
  • Ask documentation examples to type-check in AGENTS.md.

These APIs accept plain strings, so the guides show the PageParams and RouteUrl checks, and AGENTS.md asks examples to type-check.

Co-authored-by: Cursor <cursoragent@cursor.com>
@yangshun
yangshun force-pushed the docs/typed-route-examples branch from cb532f1 to 10a9b9c Compare November 6, 2026 07:57
cpojer
cpojer previously approved these changes Nov 6, 2026

@cpojer cpojer left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

Signed-off-by: Christoph Nakazawa <christoph.pojer@gmail.com>
@cpojer
cpojer merged commit 12afbc8 into voidzero-dev:main Nov 6, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants