Harrow

A thin, macro-free HTTP framework over Hyper with opt-in observability.

Features

• No macros, no magic -- handlers are plain async fn(Request) -> Response functions. No extractors, no trait bounds, no #[debug_handler].
• Route introspection -- the route table is a first-class data structure you can enumerate at startup for OpenAPI generation, health checks, or monitoring config.
• Opt-in observability -- structured logging, OTLP trace export, and request-id propagation are wired in with one call, powered by rolly.
• Feature-gated middleware -- request-id, CORS, catch-panic, compression, session, rate-limit, and o11y are opt-in via Cargo features. Nothing compiles unless you ask for it.
• Fast -- built directly on Hyper 1.x and matchit routing. No Tower, no BoxCloneService, no deep type nesting.
• Pluggable server backends -- choose between Tokio/Hyper (cross-platform) or Monoio/io_uring (Linux high-performance).

Server Backends (Required)

Harrow requires you to explicitly select an HTTP server backend. There is no default — you must pick exactly one:

Choosing a Backend

Use Tokio for:

• Cross-platform development (macOS, Windows)
• Container deployments (Docker, ECS Fargate, Lambda)
• When you need TLS support (tls feature)
• General-purpose HTTP services

Use Monoio for:

• High-throughput Linux servers (2-3x throughput at 16+ cores)
• Thread-per-core architecture with io_uring
• Bare metal or EC2 deployments with kernel 6.1+

Configuration

# Tokio backend (cross-platform)
[dependencies]
harrow = { version = "0.9", features = ["tokio", "json"] }
tokio = { version = "1", features = ["full"] }  # Required for #[tokio::main] and tokio APIs

# io_uring backend (Linux 6.1+ only)
[dependencies]
harrow = { version = "0.9", features = ["monoio", "json"] }
# Harrow bootstraps monoio worker threads internally via `harrow::runtime::monoio::run(...)`

Explicit Runtime Selection

When both features are enabled (e.g., during development with multiple examples), use the explicit runtime modules:

// Explicit Tokio
use harrow::runtime::tokio::serve;

// Explicit Monoio
use harrow::runtime::monoio::run;

See examples/monoio_hello.rs for a complete Monoio example.

Quickstart

[dependencies]
harrow = { version = "0.9", features = ["tokio"] }
tokio = { version = "1", features = ["full"] }  # Required for #[tokio::main]

use harrow::{App, Request, Response};

async fn hello(_req: Request) -> Response {
    Response::text("hello, world")
}

async fn greet(req: Request) -> Response {
    let name = req.param("name");
    Response::text(format!("hello, {name}"))
}

#[tokio::main]
async fn main() {
    let app = App::new()
        .health("/health")
        .get("/", hello)
        .get("/greet/:name", greet)
        .group("/api", |g| g.get("/greet/:name", greet));

    let addr = "127.0.0.1:3000".parse().unwrap();
    harrow::serve(app, addr).await.unwrap();
}

Probes And Error Responses

use harrow::{App, ProblemDetail, Request, Response};
use http::StatusCode;

async fn readiness(req: Request) -> Result<Response, ProblemDetail> {
    req.require_state::<String>().map_err(|_| {
        ProblemDetail::new(StatusCode::SERVICE_UNAVAILABLE)
            .detail("database unavailable"),
    })?;

    Ok(Response::text("ready"))
}

let app = App::new()
    .state("primary-db".to_string())
    .health("/health")
    .liveness("/live")
    .readiness_handler("/ready", readiness)
    .default_problem_details()
    .not_found_handler(|req| async move {
        ProblemDetail::new(StatusCode::NOT_FOUND)
            .detail(format!("no route for {}", req.path()))
    });

Documentation

• Design rationale -- why Harrow exists and what it optimises for
• Explicit extractors philosophy -- the design choice behind plain function signatures
• Performance notes -- benchmark methodology and results

Workspace layout

License

Licensed under the MIT License.