ez_file
Easy file manipulation (read_file, write_file, etc.)
IN THIS PACKAGE
-
library ez_file
-
module EzFile
-
module FileAbstract
-
module OP
-
-
module FileChannel
-
module FileDirMaker
-
module FileOS
-
module FileSelector
-
module FileSig
-
module type CONTENT_OPERATIONS
-
module type DIRECTORY_OPERATIONS
-
module type FILENAME_OPERATIONS
-
module OP
-
-
module type FILE_OPERATIONS
-
module OP
-
-
-
module FileString
-
module OP
-
-
module Main
-
Libraries
This package provides the following libraries (via dune):
ez_file
Documentation:
EzFileFileAbstractFile operations with filenames represented by an abstract typeFileGen.tFileChannelFile operations on the stdlibin_channel/out_channeltypesFileDirMakerFileOSOperating-System specific valuesFileSelectorFileSigSignatures exported by other modulesFileStringFile operations with filenames represented by thestringtypeMain
Dependencies: re, ocplib_stuff, unix