Index of values

channel_contents ic returns the string containing the bytes that can be read from the given input channel ic.

chop_spaces s returns a string where the leading and trailing spaces are removed.

file_contents file returns the string containing the bytes that can be read from the given file.

float s reads an float from a string where leading and trailing spaces are allowed.

Like List.fold_left but the Skip exception can be used to skip an element of the list.

Like List.fold_right but the Skip exception can be used to skip an element of the list.

int s reads an int from a string where leading and trailing spaces are allowed.

is_dir dir returns true if dir is a directory, false otherwise.

iter_lines_of_channel f ic reads input channel ic and applies successively the given function f to each line until the end of file is reached.

iter_lines_of_file f file reads file file and applies successively the given function f to each line until the end of file is reached.

lines_of_channel ic returns the list of the lines that can be read from input channel ic.

lines_of_file file returns the list of the lines that can be read from file file.

list path_filter works like Mikmatch.Glob.scan but returns a list of all file paths that match path_filter.

list dir returns the alphabetically sorted list of the names of the files contained in directory dir.

llist path_filter works like Mikmatch.Glob.lscan but returns a list of all file paths that match path_filter.

Same as Mikmatch.Glob.scan but file paths are kept as a list of strings that form a valid path when concatenated using Filename.concat.

Like List.map but it is guaranteed that the elements of the input list are processed from left to right.

map_lines_of_channel f ic is equivalent to map f (lines_of_channel ic) but faster.

map_lines_of_file f file is equivalent to map f (lines_of_file file) but faster.

Like List.rev_map, but it is guaranteed that the elements of the input list are processed from left to right.

save file data stores the string data in file.

save_lines file l saves the given list l of strings in file and adds a newline characters ('\n') after each of them.

scan action path_filter returns all the file paths having a name that matches path_filter.