devkit

Development kit - general purpose library
IN THIS PACKAGE
Module Devkit_core . Pid
type t = private {
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

*)
}
val dummy : t

dummy instance, use sparingly

val show : t -> string
  • returns

    pretty-printed pid (human readable)

val host : t -> string
  • returns

    machine hostname

val name : t -> string
  • returns

    application name

val to_string : t -> string
  • returns

    string representation of pid, can be read back by parse_pid_exn

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

Current process identifier

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