Skip to main content

Type crossings

Typed specification

Generated by the pinned ess generate --kind docs from adapters/kubernetes/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_kubernetes v1 · model digest 860ee995d42502fcf5cf8042d04e0af8a02e201a325b1ea6d3c5c1b2d4cd0b9d · contract digest c879b76501b1f4fa0bc8311c7dc4ac4503e6c1eae4a414dfdac51e8d463f3279. Do not edit this file; change the specification and regenerate it with ess generate.