package devkit

  1. Overview
  2. Docs
Development kit - general purpose library

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (8)

Authors

  1. A
    Ahrefs <github@ahrefs.com>

Maintainers

  1. I
    igor@ahrefs.com

Sources

1.2.tar.gz
sha256=28f4c68127579b86c5f50e01e444e8c51f0543bc5472c2dcac28993bc88aa756
md5=0317493fa5cc1054a882ceca59ce5992

doc/devkit.core/Devkit_core/Pid/index.html

Module Devkit_core.PidSource

Unique process identification

Sourcetype t = private {
  1. host : string;
    (*

    machine hostname (no spaces allowed)

    *)
  2. id : int;
    (*

    process id

    *)
  3. name : string;
    (*

    application id (no spaces allowed), for information.

    *)
  4. stamp : int;
    (*

    stamp for uniqueness to guard against pid reuse

    *)
}
Sourceval dummy : t

dummy instance, use sparingly

Sourceval show : t -> string
  • returns

    pretty-printed pid (human readable)

Sourceval host : t -> string
  • returns

    machine hostname

Sourceval name : t -> string
  • returns

    application name

Sourceval to_string : t -> string
  • returns

    string representation of pid, can be read back by parse_pid_exn

Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval parse_exn : string -> t

Current process identifier

Sourceval set_name : string -> unit
Sourceval self : unit -> t
Sourceval self_name : unit -> string
Sourceval self_as : string -> t
Sourceval show_self : unit -> string