package ez_file

You can search for identifiers within the package.

in-package search v0.2.0

package ez_file

ez_file
- CHANGES
- LICENSE
- README
- Library ez_file
  - EzFile
    
    OS
    
    Sig
    
    OP
    
    String
    
    Abstract
    
    Channel
  - FileAbstract
    
    OP
  - FileChannel
  - FileDirMaker
    
    Make
  - FileOS
  - FileSelector
  - FileSig
    
    CONTENT_OPERATIONS
    
    DIRECTORY_OPERATIONS
    
    FILENAME_OPERATIONS
    
    OP
    
    FILE_OPERATIONS
    
    OP
  - FileString
    
    OP
  - Main
- Sources
  - ez_file
    
    ezFile.ml
    
    fileAbstract.ml
    
    fileChannel.ml
    
    fileDirMaker.ml
    
    fileOS.ml
    
    fileSelector.ml
    
    fileSig.ml
    
    fileString.ml
    
    main.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `FileAbstract`Source

File operations with filenames represented by an abstract type FileGen.t

include FileSig.FILE_OPERATIONS

include FileSig.FILENAME_OPERATIONS

Sourcetype t

Sourceval concat : t -> t -> t

Sourceval is_absolute : t -> bool

Sourceval is_relative : t -> bool

Sourceval is_implicit : t -> bool

Sourceval add_suffix : t -> string -> t

Sourceval check_suffix : t -> string -> bool

Sourceval extensions : t -> string list

Sourceval basename : t -> string

Sourceval dirname : t -> t

Sourceval add_basename : t -> string -> t

Sourceval add_basenames : t -> string list -> t

Sourceval chop_extension : t -> t

Sourceval last_extension : t -> string option

Sourceval current_dir_name : t

Sourceval open_in : t -> in_channel

Sourceval open_out : t -> out_channel

Sourceval open_in_bin : t -> in_channel

Sourceval open_out_bin : t -> out_channel

Source

val open_fd : 
  t ->
  MinUnix.open_flag list ->
  MinUnix.file_perm ->
  MinUnix.file_descr

Sourceval temp_file : t -> string -> t

Sourceval with_in : t -> (in_channel -> unit) -> unit

Sourceval with_in_bin : t -> (in_channel -> unit) -> unit

Sourceval with_out : t -> (out_channel -> unit) -> unit

Sourceval with_out_bin : t -> (out_channel -> unit) -> unit

Sourceval exists : t -> bool

Sourceval getcwd : unit -> t

Sourceval size : t -> int

Sourceval is_directory : t -> bool

Sourceval is_link : t -> bool

Sourceval remove : t -> unit

Sourceval rename : t -> t -> unit

Sourceval stat : t -> MinUnix.stats

Sourceval lstat : t -> MinUnix.stats

Sourcemodule OP : sig ... end

Sourceval copy_rec : t -> t -> unit

Sourceval uncopy_rec : t -> t -> unit

Sourceval find_in_path : string list -> string -> t

find_in_path path filename searches a file in a list of directories.

include FileSig.CONTENT_OPERATIONS
  with type in_file := t
   and type out_file := t

Sourceval read_file : t -> string

read_file file returns the full content of file. If the file is opened, it is opened in binary mode, no conversion is applied.

Sourceval write_file : t -> string -> unit

write_file file content creates file file with content content. If the file is opened, it is opened in binary mode, no conversion is applied.

Sourceval read_subfile : t -> int -> int -> string

read_subfile file pos len returns a string containing len bytes read from file file at pos pos. If the file is opened, it is opened in binary mode. Raises End_of_file if the file is too short.

Sourceval read_lines : t -> string array

read_lines file returns the content of file as an array of lines. If the file is opened, it is opened in text mode.

Sourceval read_lines_to_list : t -> string list

read_lines_to_list file returns the content of file as a list of lines. If the file is opened, it is opened in text mode.

Sourceval write_lines : t -> string array -> unit

write_lines file lines creates the file file from an array of lines, using FileChannel.output_line for each line.

Sourceval write_lines_of_list : t -> string list -> unit

write_lines file lines creates the file file from a list of lines, using FileChannel.output_line for each line.

Sourceval read_sublines : t -> int -> int -> string array

read_sublines file pos len returns at most len lines of the file file, starting at line pos. It differs from read_subfile in that it will not raise any exception if the file is too short. Note that it reads the file from beginning everytimes.

Sourceval read_sublines_to_list : t -> int -> int -> string list

Same as read_sublines, but returns a list of strings.

Sourceval iter_blocks : (EzCompat.Bytes.t -> int -> unit) -> t -> unit

iter_blocks f file reads the content of file file, and calls f buffer len on each chunk. The buffer is reused, and only the first len bytes are from the file. Chunks have a maximal size of 32768.

Sourceval iter_lines : (string -> unit) -> t -> unit

iter_lines f file calls f line on all the lines line of the file file.

Sourceval iteri_lines : (int -> string -> unit) -> t -> unit

iteri_lines f file calls f line_num line on every line line of the file file, with line_num the line number, starting with line 0.

Sourceval copy_file : t -> t -> unit

copy_file src dst copy all the content remaining in file src to file dst.

include FileSig.DIRECTORY_OPERATIONS with type t := t

Sourceexception NotADirectory of t

This exception is raised when one of the following functions is called with a non-directory argument

Sourceval make_dir : ?mode:int -> ?p:bool -> t -> unit

make_dir ?mode ?p filename creates a directory filename, if it does not already exist. It fails with NotADirectory if the file already exists, but is not a directory. The mode argument is the Unix permissions (0o755 by default). The p argument controls whether parents directories should be created as well, if they don't exist, instead of failing.

Sourceval remove_dir : ?all:bool -> ?glob:string -> t -> unit

remove_dir ?all filename removes directory filename, or complains the NotADirectory if it does not exist. The all argument controls whether the function should recursively remove all files and sub-directories included as well. If glob is specified, it is called to select files to remove, and the directories are not deleted even if all is true.

Source

val select : 
  ?deep:bool ->
  ?dft:[ `After | `Before ] ->
  ?glob:string ->
  ?filter:(bool -> string -> string -> bool) ->
  ?follow_links:bool ->
  ?error:(exn -> string -> t -> unit) ->
  unit ->
  t FileSelector.t

select ?deep ?dft ?glob ?filter ?follow_links ?error () creates a selctor to customize a file iterator.

The deep and dft arguments controls whether function should recurse in sub-directories. If deep is true, and ~dft is not specified, the files are listed in breadth-first mode (a,b,a/x,b/x,a/x/y for example). If ~dft is `Before, the files are listed in depth-first mode, and the ancestors are before their children. If ~dft is `After, the are after their children.

The glob argument can be used to filter the basenames of files with a regular expression.

The filter argument is called as filter is_dir basename path where is_dir is set when checking whether to enter or not into a sub-directory, basename is the basename of the file and path is the path starting with a '/', yet relative to the initial directory. filter is called on every file with is_dir false to decide whether it should be added or not, and only on sub-directories with is_dir true to decide whether to enter or not if deep is true.

The follow_links argument is used to decide if a link to directory should be followed (when deep is also set).

The error argument is called when an error occurs, with error exn path filename.

Sourceval read_dir : ?select:t FileSelector.t -> t -> t array

read_dir ?select filename returns the files contained in the directory filename.

In a directory, files are sorted in lexicographical order of their names.

Sourceval read_dir_to_list : ?select:t FileSelector.t -> t -> t list

Same as read_dir, but returns a list instead of an array

Source

val iter_dir : 
  ?select:t FileSelector.t ->
  (basename:string -> localpath:string -> file:t -> unit) ->
  t ->
  unit

Same as read_dir, but calls a function on every file and directory with the basename, the relative path (yet, starting with a '/') and the filename (i.e. the directory name concatenated with the relative path): f basename path file. It is not equivalent to using read_dir and then itering on the result, as iter_dir the function is called during the traversal, not after.

Sourceval iterator : ?select:t FileSelector.t -> t -> unit -> (string * t) option

iterator ?select dir creates an iterator on directory dir. The iterator is a function that returns None when finished, or Some (path, filename) with the next file to iter on.

Sourceval mkdir : t -> int -> unit

mkdir filename mode simply creates the directory filename with permissions mode.

Sourceval readdir : t -> string array

readdir filename returns the files contained in directory filename as an array of strings. The strings are sorted in lexicographical order.

Sourceval rmdir : t -> unit

rmdir filename removes directory filename, or fails if it does not exist or is not a directory.

Sourceval equal : t -> t -> bool

Sourceval to_string : t -> string

Sourceval of_string : string -> t

Sourceval of_unix_string : string -> t

Sourceval of_win32_string : string -> t

Sourceval to_rooted_string : t -> string

Sourceval of_path : string -> string list -> t

package ez_file

Module FileAbstractSource

Module `FileAbstract`Source