PushInputChannel

Type alias for a push input channel.

In push channels, the sender initiates data transfer and the receiver handles incoming data.