write_char w char copies char into an internal buffer. If possible, this write will be combined with previous and/or subsequent writes before transmission.

write_string w ?off ?len str copies str into an internal buffer. If possible, this write will be combined with previous and/or subsequent writes before transmission.

write_bigstring w ?off ?len bs copies bs into an internal buffer. If possible, this write will be combined with previous and/or subsequent writes before transmission.

schedule_bigstring w ?off ?len bs schedules bs to be transmitted at the next opportunity without performing a copy. bs should not be modified until a subsequent call to flush has successfully completed.

flush t f makes all bytes in t available for writing to the awaiting output channel. Once those bytes have reached that output channel, f `Written will be called. If instead, the output channel is closed before all of those bytes are successfully written, f `Closed will be called.

The type of the output channel is runtime-dependent, as are guarantees about whether those packets have been queued for delivery or have actually been received by the intended recipient.

close t closes t, causing subsequent write calls to raise. If t is writable, this will cause any pending output to become available to the output channel.

is_closed t is true if close has been called on t, or if the attached output channel is closed (e.g. because report_write_result `Closed has been called). A closed t may still have pending output.