package stog
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=e9ce23a296e6309688a2d459fcbf9320
sha512=eeffb8957436879409d66138941770d5a7941cbb89d138f78b6ab35d4b8c198886e559ec4af026256b03da732f897306eda59fcd5b93ece5907a144321419d4e
doc/stog.base/Stog_base/Misc/index.html
Module Stog_base.MiscSource
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.
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.
list_chop n l returns the n first documents of list l or the whole list if n >= List.length l.
is_prefix pattern s returns true if string s begins with pattern.
list_remove_doubles ?pred l remove doubles in the given list l, according to the optional equality function pred. Default equality function is (=).
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.
string_of_opt s_opt returns the empty string if s_opt = None or s if s_opt = Some s.
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.