This module provides buffered asynchronous I/O operations for efficient reading and writing.

class Std.Internal.Async.IO.AsyncRead (α β : Type) : Type

Interface for asynchronous reading operations.

• read : α → IO.Async.Async β

class Std.Internal.Async.IO.AsyncWrite (α β : Type) : Type

Interface for asynchronous writing operations.

• write : α → β → IO.Async.Async Unit
• writeAll : α → Array β → IO.Async.Async Unit
• flush : α → IO.Async.Async Unit

class Std.Internal.Async.IO.AsyncStream (α : Type) (β : outParam Type) : Type

Interface for asynchronous streaming with selector-based iteration.

• next : α → IO.Async.Selector β
• stop : α → IO Unit