package picos_io

You can search for identifiers within the package.

in-package search v0.2.0

Asynchronous IO system for Picos

Install

sha256=862d61383e2df93a876bedcffb1fd1ddc0f96c50b0e9c07943a2aee1f0e182be

sha512=87805379017ef4a7f2c11b954625a3757a0f1431bb9ba59132202de278b3e41adbe0cdc20e3ab23b7c9a8c5a15faeb7ec79348e7d80f2b14274b00df0893b8c0

Resource type.

A resource that must be explicitly disposed.

Sourcetype t = Unix.file_descr

Represents a disposable resource.

Sourceval equal : t -> t -> bool

equal resource1 resource2 determines whether resource1 and resource2 are one and the same.

Sourceval hash : t -> int

hash resource computes the hash value for resource.

Sourceval dispose : t -> unit

dispose resource releases the resource.

⚠️ The physical resource value may be reused only after dispose has been called on it.