Skip to main content

Module convert

Module convert 

Source
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§

ConvertError
Why a value could not be converted.

Functions§

to_port
value as a value of type to, by the boundary adapter catalog.