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

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

Interface for asynchronous reading operations.

• read : α → Async β

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

Interface for asynchronous writing operations.

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

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

Interface for asynchronous streaming with selector-based iteration.

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