Index of values


C
channel_contents [Mikmatch.Text]
channel_contents ic returns the string containing the bytes that can be read from the given input channel ic.
chop_spaces [Mikmatch.Fixed]
chop_spaces s returns a string where the leading and trailing spaces are removed.

F
file_contents [Mikmatch.Text]
file_contents file returns the string containing the bytes that can be read from the given file.
float [Mikmatch.Fixed]
float s reads an float from a string where leading and trailing spaces are allowed.
fold_left [Mikmatch.Text]
Like List.fold_left but the Skip exception can be used to skip an element of the list.
fold_right [Mikmatch.Text]
Like List.fold_right but the Skip exception can be used to skip an element of the list.

I
int [Mikmatch.Fixed]
int s reads an int from a string where leading and trailing spaces are allowed.
is_dir [Mikmatch.Directory]
is_dir dir returns true if dir is a directory, false otherwise.
iter_lines_of_channel [Mikmatch.Text]
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 [Mikmatch.Text]
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.

L
lines_of_channel [Mikmatch.Text]
lines_of_channel ic returns the list of the lines that can be read from input channel ic.
lines_of_file [Mikmatch.Text]
lines_of_file file returns the list of the lines that can be read from file file.
list [Mikmatch.Glob]
list path_filter works like Mikmatch.Glob.scan but returns a list of all file paths that match path_filter.
list [Mikmatch.Directory]
list dir returns the alphabetically sorted list of the names of the files contained in directory dir.
llist [Mikmatch.Glob]
llist path_filter works like Mikmatch.Glob.lscan but returns a list of all file paths that match path_filter.
lscan [Mikmatch.Glob]
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.

M
map [Mikmatch.Text]
Like List.map but it is guaranteed that the elements of the input list are processed from left to right.
map_lines_of_channel [Mikmatch.Text]
map_lines_of_channel f ic is equivalent to map f (lines_of_channel ic) but faster.
map_lines_of_file [Mikmatch.Text]
map_lines_of_file f file is equivalent to map f (lines_of_file file) but faster.

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

S
save [Mikmatch.Text]
save file data stores the string data in file.
save_lines [Mikmatch.Text]
save_lines file l saves the given list l of strings in file and adds a newline characters ('\n') after each of them.
scan [Mikmatch.Glob]
scan action path_filter returns all the file paths having a name that matches path_filter.