2020-02-08 20:44:29 +01:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace JoopSchilder\React\Stream\NonBlockingInput;
|
|
|
|
|
|
|
|
interface NonBlockingInputInterface
|
|
|
|
{
|
|
|
|
|
|
|
|
function open(): void;
|
|
|
|
|
|
|
|
|
2020-02-08 22:09:11 +01:00
|
|
|
function select(): ?object;
|
|
|
|
|
2020-02-08 20:44:29 +01:00
|
|
|
|
|
|
|
function close(): void;
|
|
|
|
|
|
|
|
}
|