Type crossings
Generated by the pinned ess generate --kind docs from adapters/grafana/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.
Generated from connectors_grafana v1 · model digest 5a16b14a6f74fe19a54b52e116e508d3918aa3e17aa0fc985cf6283b400eff6f · contract digest 028e696ce9486a32aaccce75d2627e46ed3757d560c5edb7fd6bd9a0349ef83d. Do not edit this file; change the specification and regenerate it with ess generate.