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.