channel.accept
← channel dialect
Accept ownership of the next record without waiting for its payload. Mutable acceptance requires exclusive initialized storage at readiness.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Memory effects |
readwrite channel |
| Ownership effects |
borrow channel (by_value), fresh read |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
channel |
any |
required |
— |
| Result |
read |
any |
required |
— |
| Attribute |
mode |
enum ChannelReadMode |
optional |
— |
Examples
%read = channel.accept %channel : channel<tile<144xi32>> -> read<tile<144xi32>>