Type crossings
Generated by the pinned ess generate --kind docs from adapters/loki/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_loki v1 · model digest ea710d541a308a38ac6d9d12c83d027f48b1cb1a76188adae267684f3ad4a3a5 · contract digest c2059dc6709a93bbc1cbd48ec1f45b78ffae70b697fe056ee3618d6c265d7d67. Do not edit this file; change the specification and regenerate it with ess generate.