package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

A

Ahrefs <github@ahrefs.com>

Maintainers

I

igor@ahrefs.com

Sources

devkit-1.20210120.tbz

md5=47338eaae436aba40abd4d194ee40054

sha256=499b050b73643f6ad7349a41485539d4166d149a07fba59cb6841f508c0297f8

sha512=6a5bf77061d390ddb331ed3d5891a5c56502be91f0eff6846202f658ebfa97ef57695d7a192cbdad4c7b8835f5665df3ea4375daf46930334ebbd9a07f00feca

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

Module `Devkit_core.Pid`Source

Unique process identification

Sourcetype t = {

host : string;
(*
machine hostname (no spaces allowed)
*)
id : int;
(*
process id
*)
name : string;
(*
application id (no spaces allowed), for information.
*)
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 make : id:int -> host:string -> stamp:int -> string -> t

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

On This Page

Current process identifier