Enum Route 

pub enum Route {
    Landing {},
    Pricing {},
    Privacy {},
    Terms {},
    Roadmap {},
    Guide {},
    Crates {},
    Success {
        session_id: Option<String>,
    },
    Studio {
        file: Option<String>,
    },
    Learn {},
    Profile {},
    Workspace {
        subject: String,
    },
    Registry {
        token: Option<String>,
        login: Option<String>,
        error: Option<String>,
        q: Option<String>,
    },
    PackageDetail {
        name: String,
    },
    Benchmarks {},
    News {
        tag: Option<String>,
    },
    NewsArticle {
        slug: String,
    },
    NotFound {
        route: Vec<String>,
    },
}

Application routes.

This enum is derived with Routable to generate route matching logic. Each variant corresponds to a URL pattern and its associated page component.

Variants

Landing

Marketing homepage at /.

Pricing

Contact and licensing at /pricing.

Privacy

Privacy policy at /privacy.

Terms

Terms of service at /terms.

Roadmap

Product roadmap at /roadmap.

Guide

Documentation and tutorials at /guide.

Crates

Crate documentation at /crates.

Success

Post-checkout success page at /success.

Stripe redirects here with a session_id query parameter that the page exchanges for a license key.

Fields

session_id: Option<String>

Stripe checkout session id from the redirect, if any.

Studio

Playground for experimentation at /studio.

Deep links carry the VFS path of the file to open as a file query parameter (without the leading slash), e.g. /studio?file=examples/logic/prover-demo.logic.

Fields

file: Option<String>

VFS path of the file to open, if any.

Learn

Main learning interface at /learn.

All learning happens here - curriculum browsing, exercises, and review.

Profile

User profile and settings at /profile.

Workspace

Subject-specific workspace at /workspace/:subject.

Fields

subject: String

The workspace subject identifier (e.g., “logic”, “proofs”).

Registry

Package registry browser at /registry.

The GitHub OAuth callback redirects here with token/login on success or error on failure; q pre-fills the package search (the SearchAction URL advertised in the JSON-LD).

Fields

token: Option<String>

OAuth access token from the callback, if any.

login: Option<String>

GitHub login name from the callback, if any.

error: Option<String>

OAuth error message from the callback, if any.

q: Option<String>

Package search query to pre-fill, if any.

PackageDetail

Package detail page at /registry/package/:name.

Fields

name: String

The package name to display.

Benchmarks

Performance benchmarks at /benchmarks.

News

News index page at /news.

An optional tag query parameter pre-applies a tag filter.

Fields

tag: Option<String>

Tag to filter articles by, if any.

NewsArticle

News article page at /news/:slug.

Fields

slug: String

The article slug.

NotFound

Catch-all for unknown routes, renders 404 page.

Fields

route: Vec<String>

Path segments that didn’t match any route.

Trait Implementations

impl Clone for Route

fn clone(&self) -> Route

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Route

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

Formats the value using the given formatter.

impl Display for Route

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

Formats the value using the given formatter.

impl FromStr for Route

type Err = RouteParseError<RouteMatchError>

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl PartialEq for Route

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Routable for Route

where Self: Clone,

const SITE_MAP: &'static [SiteMapSegment]

The error that can occur when parsing a route.

fn render(&self, level: usize) -> Element

Render the route at the given level

fn is_child_of(&self, other: &Self) -> bool

Checks if this route is a child of the given route.

fn parent(&self) -> Option<Self>

Get the parent route of this route.

fn flatten_site_map<'a>() -> FlatMap<Iter<'a, SiteMapSegment>, Vec<Vec<SegmentType>>, fn(&SiteMapSegment) -> Vec<Vec<SegmentType>>>

Returns a flattened version of [Self::SITE_MAP].

fn static_routes() -> Vec<Self>

Gets a list of all the static routes. Example static route: #[route("/static/route")]

impl<'a> TryFrom<&'a str> for Route

type Error = <Route as FromStr>::Err

The type returned in the event of a conversion error.

fn try_from(s: &'a str) -> Result<Self, Self::Error>

Performs the conversion.

impl StructuralPartialEq for Route