package picos

You can search for identifiers within the package.

in-package search v0.2.0

package picos

picos
- Picos
  - Computation
  - Fiber
    
    FLS
    
    Maybe
  - Handler
  - Trigger
picos.domain
- Picos_domain
  - DLS
picos.exn_bt
- Picos_exn_bt
picos.fd
- Picos_fd
  - Resource
picos.fifos
- Picos_fifos
picos.htbl
- Picos_htbl
picos.lwt
- Picos_lwt
  - System
picos.lwt_unix
- Picos_lwt_unix
picos.mpscq
- Picos_mpscq
picos.randos
- Picos_randos
picos.rc
- Picos_rc
  - Make
    
    Resource
  - Resource
  - S
    
    Resource
picos.select
- Picos_select
  - Intr
picos.stdio
- Picos_stdio
  - Unix
    
    LargeFile
picos.structured
- Picos_structured
  - Bundle
  - Control
  - Finally
  - Promise
  - Run
picos.sync
- Picos_sync
  - Condition
  - Lazy
  - Mutex
picos.thread
- Picos_thread
  - TLS
picos.threaded
- Picos_threaded

Legend:
Library
Module
Module type
Parameter
Class
Class type

Externally reference counted file descriptors.

val report_leaks : bool ref

If !report_leaks = true then undisposed file descriptors will be reported at exit.

include Picos_rc.S with type Resource.t = Unix.file_descr

module Resource : Picos_rc.Resource with type t = Unix.file_descr

Resource type.

type t

Opaque type alias for the resource type.

val create : ?dispose:bool -> Resource.t -> t

create resource adds an entry for the resource with an initial reference count of 1 to the table for the resource and returns the resource as a value of the opaque alias type.

The optional dispose argument defaults to true. When explicitly specified as ~dispose:false, the resource will not be disposed when the reference count becomes zero. This is intended for special cases where a resource is e.g. managed outside of the control of the user program.

val unsafe_get : t -> Resource.t

unsafe_get opaque_resource casts the opaque alias type back to the resource type.

⚠️ This should only be called and the resource used either after creating the reference counting entry or after incrementing the reference count and before the matching decrement.

val incr : t -> unit

incr opaque_resource tries to find the entry for the resource and increment the reference count.

raises Invalid_argument
in case no entry is found for the resource or the reference count was zero or the resource was marked as closed previously by a decrement operation.

val decr : ?close:bool -> t -> unit

decr opaque_resource tries to find the entry for the resource and decrement the reference count. If the reference count becomes zero, the entry for the resource will be removed and the resource will be disposed, unless ~dispose:false was specified for create.

The optional close argument defaults to false. When explicitly specified as ~close:true the resource will be marked as closed and attempts to increment the reference will fail.

raises Invalid_argument
in case no entry is found for the resource or the reference count was zero.

type info = {

resource : Resource.t;
(*
The resource.
*)
count : int;
(*
Reference count. This may be 0.
*)
closed : bool;
(*
Whether the resource has been closed, see decr.
*)
dispose : bool;
(*
Whether to dispose the resource, see create.
*)
bt : Printexc.raw_backtrace;
(*
Backtrace captured at create.
*)

}

Information on a resource.

val infos : unit -> info Seq.t

infos () returns a sequence of entries in the reference counting table at the point in time of of calling infos ().