Expand description
Converting a value to a port type, the one way polydat does it (input_variance.md).
A write into a kernel is never converted: a value that does not
satisfy the input’s declared type is refused. Where a host’s values
legitimately vary in type, the conversion is either the host’s, made
with to_port before the write, or a converter node in the
program, which applies the same function when its input changes.
Both use the boundary adapter catalog, so a value converts the same
way on either side.
Structs§
- Convert
Error - Why a value could not be converted.
Functions§
- to_port
valueas a value of typeto, by the boundary adapter catalog.