How deeply does Learn Haskell by Example cover routing?

Encodes multiple typed endpoints and variable segments, but defers detailed explanation of DataKinds and TypeOperators.

Routing

As explained in Learn Haskell by Example

A route is a URL path pattern that identifies an API operation and may contain variable segments.

Routing maps URL paths and HTTP requests to API operations. In Servant, a route is encoded as a type, using path segments, request descriptions, response types, and combinators. section 17.1.1

Build a route from these pieces:

Use string type-level segments such as "entries" or "add" to describe the URL path. section 17.1.1
Use :> to attach request and response information, such as Get '[JSON] [TodoEntry] or ReqBody '[JSON] TodoEntry. section 17.1.1
Use :<|> to combine several endpoint descriptions into one API. section 17.1.1
Use Capture to keep a variable path segment, such as an integer todo identifier. section 17.1.1

Todo-list routes

A typed API can expose GET /entries, POST /add with a JSON TodoEntry body, and PATCH /toggle/:id with an integer capture. Servant can reject request bodies that do not match the declared specification. section 17.1.1

How Learn Haskell by Example covers it

liveBook manning.com

Read Learn Haskell by Example on liveBook Get the book at manning.com

Also explained in

liveBook manning.com

Rust Servers, Services, and AppsA router is a request-dispatching component that selects a handler based on the characteristics of an incoming request.
liveBook manning.com

ASP.NET Core in Action, 3eRouting is the mechanism that maps incoming requests to application endpoints or handlers.
liveBook manning.com

Learn Go with Pocket-Sized ProjectsA multiplexer is a web-serving component or library that matches incoming requests to handlers and manages their routing.
liveBook manning.com

Go in Practice, Second EditionURL pattern matching is the routing of requests by applying expressive patterns to URL paths rather than only comparing fixed path segments.
liveBook manning.com

Pro ASP.NET Core 7, Tenth EditionRouter is a Blazor component that discovers routable components in an assembly and renders the component matching the current URL.
liveBook manning.com

Pro Angular 16Router is the Angular service that performs programmatic navigation among application routes.
liveBook manning.com

AI Agents and ApplicationsA router function is a callable that examines workflow conditions and returns the name of the next execution path.
liveBook manning.com

AI Agents in Action, Second EditionModel routing is selecting and dispatching a request to a model or agent based on the request's characteristics and required task complexity.
liveBook manning.com

React in DepthA route is a configured application endpoint or location that maps incoming requests to a handler or interface output.
liveBook manning.com

Google Anthos in ActionTraffic routing is the directed selection of destinations for network requests according to routing rules or release-management criteria.
liveBook manning.com

Build a Frontend Web Framework (From Scratch)A client-side application component that maps URLs to views or components and manages navigation without a full page reload.
liveBook manning.com

Building Reliable AI SystemsThe technique of directing different queries or tasks to selected models according to their requirements or cost.
liveBook manning.com

Learn Docker in a Month of Lunches, Second EditionA Traefik router is a routing rule that matches an incoming request and selects a target service.
liveBook manning.com

The Well-Grounded Python Developer: How the pros use Python and FlaskA URL route is a web-framework mapping from a URL pattern or path to application code that handles requests for it.
liveBook manning.com

Build an AI Agent (From Scratch)A router agent is an AI agent that examines a request and transfers control to an appropriate specialist agent.
liveBook manning.com

.NET in Action, Second EditionA route is a URL pattern that an HTTP request can match to select an endpoint handler.
liveBook manning.com

Transformers in ActionA gating network is a lightweight neural component that scores experts and selects or weights them for each input token.
liveBook manning.com

Essential TypeScript 5, Third EditionRouter is the Angular service that performs programmatic navigation and manages application URL changes.
liveBook manning.com

Machine Learning System DesignRouting between models is a pattern that selects among models according to the characteristics or difficulty of each input.
liveBook manning.com

LatencyRequest routing is the strategy of forwarding incoming requests to the component responsible for processing them.
liveBook manning.com

Financial AI in PracticeModel routing is the process of directing requests to different models according to their characteristics or requirements.

Compare how 22 books explain routing →

Related concepts

progressive enhancementuses · Progressive enhancement is a development approach that provides broadly compatible baseline functionality and adds capabilities when the environment supports them.
routing middlewareused by · Routing middleware is an ASP.NET Core request-pipeline component that matches incoming requests to endpoints and stores the selected endpoint for subsequent processing.
asp-action attributeused by · The asp-action attribute is a Razor tag helper attribute that identifies the action method for which a URL should be generated.
connected routeincludes · A connected route is a route to a network directly attached to an interface with an IP address that is operationally up.
RedirectToRouteused by · RedirectToRoute is a method or result that generates a URL from route information and returns a redirect response to that URL.
handlerused by · A handler is a callable or software component that processes an event, request, message, or other input and performs associated processing.

This explainer was generated by Manning's knowledge graph from the text of Learn Haskell by Example. The section links point to the parts of the book it draws on.