package stog
Install
Dune Dependency
Authors
Maintainers
Sources
md5=2b0da8498e2e425cdbc44ff7ecb2a097
sha512=ae11b868e2a6d5e92ffffdde04f25ae1595e4bd7c9a6447327764327f17d2641713f01374f14ec9fd52e0ca7e0feb9d85c4fc5913aa49b4d1d73c52427d4263e
doc/stog.base/Stog_base/Misc/index.html
Module Stog_base.Misc
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
.