package picos_io

You can search for identifiers within the package.

in-package search v0.2.0

Asynchronous IO system for Picos

Install

sha256=3f5a08199cf65c2dae2f7d68f3877178f1da8eabf5376e15114e5a8958087dfa

sha512=ad24910c47ce614268c4268874bb918da7f8b5f03b3ad706bbf30323635262e94ddab6be24eaebbca706bfa82c0a517d4272b396459e020c185942125c9bdb7b

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.