package stog
Install
dune-project
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.