package core_extended

  1. Overview
  2. Docs
package core_extended
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Core.Sys end
val argv : string array

The command line arguments given to the process. The first element is the command name used to invoke the program. The following elements are the command-line arguments given to the program.

val executable_name : string

The name of the file containing the executable currently running.

For all of the following functions, ?follow_symlinks defaults to true.

val file_exists : ?follow_symlinks:bool -> string -> [ `Yes | `No | `Unknown ]

file_exists ~follow_symlinks path

Test whether the file in path exists on the file system. If follow_symlinks is true and path is a symlink the result concerns the target of the symlink.

`Unknown is returned for files for which we cannot successfully determine whether they are on the system or not (e.g. files in directories to which we do not have read permission).

val file_exists_exn : ?follow_symlinks:bool -> string -> bool

Same as file_exists but blows up on `Unknown

val is_directory : ?follow_symlinks:bool -> string -> [ `Yes | `No | `Unknown ]

Returns `Yes if the file exists and is a directory

val is_file : ?follow_symlinks:bool -> string -> [ `Yes | `No | `Unknown ]

Returns `Yes if the file exists and is a regular file

val is_directory_exn : ?follow_symlinks:bool -> string -> bool
val is_file_exn : ?follow_symlinks:bool -> string -> bool
val remove : string -> unit

Remove the given file name from the file system.

val rename : string -> string -> unit

Rename a file. The first argument is the old name and the second is the new name. If there is already another file under the new name, rename may replace it, or raise an exception, depending on your operating system.

val getenv : string -> string option

Return the value associated to a variable in the process environment. Return None if the variable is unbound.

val getenv_exn : string -> string
val command : string -> int

Execute the given shell command and return its exit code.

val command_exn : string -> unit

command_exn command runs command and then raises an exception if it returns with nonzero exit status.

val chdir : string -> unit

Change the current working directory of the process.

val getcwd : unit -> string

Return the current working directory of the process.

val readdir : string -> string array

Return the names of all files present in the given directory. Names denoting the current directory and the parent directory ("." and ".." in Unix) are not returned. Each string in the result is a file name rather than a complete path. There is no guarantee that the name strings in the resulting array will appear in any specific order; they are not, in particular, guaranteed to appear in alphabetical order.

val fold_dir : init:'acc -> f:('acc -> string -> 'acc) -> string -> 'acc

Call readdir, and fold over the elements of the array.

  • raises Sys_error

    _ if readdir fails. As with readdir, "." and ".." are not returned raises the same exception than opendir and closedir.

val ls_dir : string -> string list

Same as readdir, but return a list rather than an array.

val interactive : bool Pervasives.ref

This reference is initially set to false in standalone programs and to true if the code is being executed under the interactive toplevel system ocaml.

val os_type : string

Operating system currently executing the Caml program. One of

  • "Unix" (for all Unix versions, including Linux and Mac OS X),
  • "Win32" (for MS-Windows, OCaml compiled with MSVC++ or Mingw),
  • "Cygwin" (for MS-Windows, OCaml compiled with Cygwin).
val word_size : int

Size of one word on the machine currently executing the Caml program, in bits: 32 or 64.

val int_size : int

Size of an int. It is 31 bits (resp. 63 bits) when using the OCaml compiler on a 32 bits (resp. 64 bits) platform. It may differ for other compilers, e.g. it is 32 bits when compiling to JavaScript.

  • since 4.03.0
val big_endian : bool

Whether the machine currently executing the Caml program is big-endian.

exception Break

Exception raised on interactive interrupt if Sys.catch_break is on.

val catch_break : bool -> unit

Warning: this function clobbers the Signal.int (SIGINT) handler. SIGINT is the signal that's sent to your program when you hit CTRL-C.

Warning: catch_break uses deep ocaml runtime magic to raise Sys.Break inside of the main execution context. Consider explicitly handling Signal.int instead. If all you want to do is terminate on CTRL-C you don't have to do any special setup, that's the default behavior.

catch_break governs whether interactive interrupt (ctrl-C) terminates the program or raises the Break exception. Call catch_break true to enable raising Break, and catch_break false to let the system terminate the program on user interrupt.

val ocaml_version : string

ocaml_version is the version of Objective Caml. It is a string of the form "major.minor[.patchlevel][+additional-info]", where major, minor, and patchlevel are integers, and additional-info is an arbitrary string. The [.patchlevel] and [+additional-info] parts may be absent.

val execution_mode : unit -> [ `Bytecode | `Native ]

execution_mode tests whether the code being executed was compiled natively or to bytecode.

val c_int_size : unit -> int

c_int_size returns the number of bits in a C int. Note that this can be different from word_size. For example, Linux x86-64 should have word_size = 64, but c_int_size () = 32

val home_directory : unit -> string

Return the home directory, using the HOME environment variable if that is defined, and if not, using the effective user's information in the Unix password database.

Optimization
val opaque_identity : 'a -> 'a

For the purposes of optimization, opaque_identity behaves like an unknown (and thus possibly side-effecting) function. At runtime, opaque_identity disappears altogether. A typical use of this function is to prevent pure computations from being optimized away in benchmarking loops. For example:

for _round = 1 to 100_000 do
  ignore (Sys.opaque_identity (my_pure_computation ()))
done
include module type of struct include Extended_sys end
val ls : string -> string list
val file_kind : string -> Core.Unix.file_kind
val groups : unit -> string list

Get the names of the groups the user belongs to

val hostname : unit -> string
val last_accessed : ?follow_symlinks:bool -> string -> Core.Time.t option

last_accessed path returns the time path was last accessed. For files, the access time is updated whenever the file is read or executed. Note that some filesystems do not implement access time updates, or may allow mounting with access time updates disabled.

val last_accessed_exn : ?follow_symlinks:bool -> string -> Core.Time.t
val last_modified : ?follow_symlinks:bool -> string -> Core.Time.t option

last_modify path returns the time the file at path was last modified. For files, the modify time is updated whenever path is written to, or if its status attributes are updated.

val last_modified_exn : ?follow_symlinks:bool -> string -> Core.Time.t
val last_changed : ?follow_symlinks:bool -> string -> Core.Time.t option

last_changed path returns the time path last had its status changed. This is not the same as last modified, as the last status change will also be updated if path's ownership or permissions change.

val last_changed_exn : ?follow_symlinks:bool -> string -> Core.Time.t
val file_size : ?follow_symlinks:bool -> string -> Core.Int64.t option
val file_size_exn : ?follow_symlinks:bool -> string -> Core.Int64.t
val scroll_lock : bool -> unit

scroll_lock false disables scroll locking.

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