Library
Module
Module type
Parameter
Class
Class type
Utilities.
string_of_file filename
returns the content of filename
in the form of one string.
file_of_string ~file str
creates a file named filename
whose content is str
.
Separate the given string according to the given list of characters.
strip_string s
removes all leading and trailing spaces from the given string.
@cgname String.strip_string
strip_blank_lines s
works as strip_string
, but only strips full blank lines, without touching spaces or tabulations.
lowercase s
lowers the case of the given string, including accentuated characters.
@cgname String.lowercase
list_chop n l
returns the n
first documents of list l
or the whole list if n >= List.length l
.
@cgname List.list_chop
is_prefix pattern s
returns true if string s
begins with pattern
.
@cgname String.is_prefix
list_remove_doubles ?pred l
remove doubles in the given list l
, according to the optional equality function pred
. Default equality function is (=)
.
@cgname List.list_remove_doubles
filename_extension filename
returns extension of filename
or ""
if there is no extension.
opt_of_string s
returns None
if the string if empty (length is 0) or Some s
.
@cgname String.opt_of_string
string_of_opt s_opt
returns the empty string if s_opt = None
or s
if s_opt = Some s
.
@cgname String.string_of_opt
Return mdification time of the given file, or None if the file does not exist.
path_under ~parent file
returns the path to file
from parent
.