Skip to main content

Type crossings

Typed specification

Generated by the pinned ess generate --kind docs from adapters/prometheus/spec/ess. Structural validation establishes consistency; behaviour, storage and cross-record predicates remain implementation obligations.

A conversion is this system's permission for a value of one type to be used as another. Every one of them carries a reason, and the reason is required rather than optional precisely so that this page can exist: someone asking why an invoice's email address is allowed to become a mailbox address gets an answer written by the person who allowed it, not a shrug.

Declaring a crossing is also the only way to make one. Two newtypes over String do not convert because they are both strings; they convert because a line in the specification says they may.

This system declares no crossings. Every type is used only as itself.

Back to the index.


Generated from connectors_prometheus v1 · model digest 5a394966bc5849079b110e96a78cbdd0e0f71db4e76dbe085d6826e6c18c9495 · contract digest 22177c4cb3e3da2cd6b496730bb7ca9a9dd7a984bf2b2c26511d9911190f9968. Do not edit this file; change the specification and regenerate it with ess generate.