Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 4 Nov 2026. What's built · Install 0.2.0
jadpo
ReferenceWeb and network

LanguageValues and typesStandard types

Web and network

URLs, domain names, HTTP values, IP addresses and network identifiers.

Topics

Web and software

The web types are the values a web app and its network pass around: URLs and paths, domain names, HTTP statuses and headers, cookies, IP ranges, and the problem documents an API reports failures with.

Types

TypeWhat it is
UrlAn http:// or https:// address with a host.
UrlPathA URL's path, starting with /: /products/42.
RelativeUrlAn address relative to another: ../images/logo.png, ?page=2.
SlugA URL-safe name: lower-case words joined by hyphens, autumn-sale.
DomainNameA domain name: example.com.
HostnameA host: a domain name or an IP address.
WebOriginA web origin: the scheme, the host and any port, https://example.com.
HttpMethodAn HTTP method a route is written with: GET, POST, PUT, PATCH or DELETE.
HttpStatusAn HTTP response's status code, from 100 to 599.
HttpHeaderNameAn HTTP header's name, in lower case: content-type.
FileTypeA file's media type: image/png, application/pdf and so on.
UserAgentWhat an HTTP client says it is: curl/8.7.1.
ProblemDetailsAn HTTP API's error body, as other APIs often send one.
JsonPointerA pointer into a JSON document: /foo/0.
CookieA cookie as a server sets it: SID=31d4d96e; Path=/; Secure; HttpOnly.
UtmParametersWhere a visit came from, as marketing links carry it: source, medium and campaign.
IpAddressAn IPv4 or IPv6 address: 192.0.2.1, 2001:db8::1.
CidrA range of IP addresses: 192.0.2.0/24.
NetworkPortA TCP or UDP port, from 1 to 65535.
MacAddressA network card's hardware address: AC-DE-48-00-00-80.
ImeiA mobile device's 15-digit IMEI.
EmojiOne emoji: 😀, 👍🏽.
PushTokenThe address of a device for push notifications, from Apple's or Google's service.

Markdown for agents: /docs/types-web-and-network.md.Built from Jadpo main at 6cc3cb4.