package picos_aux

You can search for identifiers within the package.

in-package search v0.2.0

Auxiliary libraries for Picos

Install

sha256=862d61383e2df93a876bedcffb1fd1ddc0f96c50b0e9c07943a2aee1f0e182be

sha512=87805379017ef4a7f2c11b954625a3757a0f1431bb9ba59132202de278b3e41adbe0cdc20e3ab23b7c9a8c5a15faeb7ec79348e7d80f2b14274b00df0893b8c0

A resource that must be explicitly disposed.

type t

Represents a disposable resource.

val equal : t -> t -> bool

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

val hash : t -> int

hash resource computes the hash value for resource.

val dispose : t -> unit

dispose resource releases the resource.

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