package picos

  1. Overview
  2. Docs
Pico scheduler framework

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (5)

Authors

  1. V
    Vesa Karvonen <vesa.a.j.k@gmail.com>

Maintainers

  1. V
    Vesa Karvonen <vesa.a.j.k@gmail.com>

Sources

picos-0.3.0.tbz
sha256=544804c0bde4b29764f82f04e7defed7c06bc43e5a6ce3f7fdc326cb54a7f066
sha512=4c93427e477fb52374a554a8b9c4c92836a9b5899161275d1473269ab526a1f59177209140631ed763a55be375855dea12f076e18bf4124522414986c0e257be

doc/picos.rc/Picos_rc/Make/argument-1-Resource/index.html

Parameter Make.Resource

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.