package coq

  1. Overview
  2. Docs
package coq
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module CUnixSource

System utilities
Sourcetype physical_path = string
Sourcetype load_path = physical_path list
Sourceval physical_path_of_string : string -> physical_path
Sourceval string_of_physical_path : physical_path -> string
Sourceval escaped_string_of_physical_path : physical_path -> string

Escape what has to be escaped (e.g. surround with quotes if with spaces)

Sourceval canonical_path_name : string -> string
Sourceval remove_path_dot : string -> string

Remove all initial "./" in a path

Sourceval strip_path : string -> string

If a path p starts with the current directory $PWD then strip_path p returns the sub-path relative to $PWD. Any leading "./" are also removed from the result.

Sourceval correct_path : string -> string -> string

correct_path f dir = dir/f if f is relative

Sourceval path_to_list : string -> string list
Sourceval make_suffix : string -> string -> string

make_suffix file suf catenate file with suf when file does not already end with suf.

Sourceval file_readable_p : string -> bool
Executing commands

run_command com launches command com, and returns the contents of stdout and stderr. If given, ~hook is called on each elements read on stdout or stderr.

Sourceval run_command : ?hook:(bytes -> unit) -> string -> Unix.process_status * string

sys_command launches program prog with arguments args. It behaves like Sys.command, except that we rely on Unix.create_process, it's hardly more complex and avoids dealing with shells. In particular, no need to quote arguments (against whitespace or other funny chars in paths), hence no need to care about the different quoting conventions of /bin/sh and cmd.exe.

Sourceval sys_command : string -> string list -> Unix.process_status

A version of Unix.waitpid immune to EINTR exceptions

Sourceval waitpid_non_intr : int -> Unix.process_status
Sourceval same_file : string -> string -> bool

Check if two file names refer to the same (existing) file

Sourceval mktemp_dir : ?temp_dir:string -> string -> string -> string

Like Stdlib.Filename.temp_file but producing a directory.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct