<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link rel="Up" href="FilePath.PATH_STRING_SPECIFICATION.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="FileUtil" rel="Chapter" href="FileUtil.html"> <link title="FileUtilStr" rel="Chapter" href="FileUtilStr.html"> <link title="FilePath" rel="Chapter" href="FilePath.html"><link title="Converting abstract type from/to string " rel="Section" href="#3_Convertingabstracttypefromtostring"> <link title="Standard operations" rel="Section" href="#3_Standardoperations"> <title>FilePath.PATH_STRING_SPECIFICATION.Abstract</title> </head> <body> <div class="navbar"> <a href="FilePath.PATH_STRING_SPECIFICATION.html">Up</a> </div> <center><h1>Module <a href="type_FilePath.PATH_STRING_SPECIFICATION.Abstract.html">FilePath.PATH_STRING_SPECIFICATION.Abstract</a></h1></center> <br> <pre><span class="keyword">module</span> Abstract: <code class="type"><a href="FilePath.PATH_SPECIFICATION.html">FilePath.PATH_SPECIFICATION</a></code><code class="type"> </code></pre><hr width="100%"> <pre><span class="keyword">type</span> <a name="TYPEfilename"></a><code class="type"></code>filename </pre> <pre><span class="keyword">type</span> <a name="TYPEextension"></a><code class="type"></code>extension </pre> <br> <a name="3_Convertingabstracttypefromtostring"></a> <h3>Converting abstract type from/to string </h3><br> <pre><span class="keyword">val</span> <a name="VALstring_of_filename"></a>string_of_filename : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> string</code></pre><div class="info"> Create a filename from a string.<br> </div> <pre><span class="keyword">val</span> <a name="VALfilename_of_string"></a>filename_of_string : <code class="type">string -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> Create a string from a filename.<br> </div> <pre><span class="keyword">val</span> <a name="VALextension_of_string"></a>extension_of_string : <code class="type">string -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEextension">extension</a></code></pre><div class="info"> Create an extension from a string.<br> </div> <pre><span class="keyword">val</span> <a name="VALstring_of_extension"></a>string_of_extension : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEextension">extension</a> -> string</code></pre><div class="info"> Return string representation of an extension.<br> </div> <br> <a name="3_Standardoperations"></a> <h3>Standard operations</h3><br> <pre><span class="keyword">val</span> <a name="VALmake_filename"></a>make_filename : <code class="type">string list -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALmake_filename"><code class="code">FilePath.make_filename</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALis_subdir"></a>is_subdir : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> bool</code></pre><div class="info"> See <a href="FilePath.html#VALis_subdir"><code class="code">FilePath.is_subdir</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALis_updir"></a>is_updir : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> bool</code></pre><div class="info"> See <a href="FilePath.html#VALis_updir"><code class="code">FilePath.is_updir</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALcompare"></a>compare : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> int</code></pre><div class="info"> See <a href="FilePath.html#VALcompare"><code class="code">FilePath.compare</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALbasename"></a>basename : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALbasename"><code class="code">FilePath.basename</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALdirname"></a>dirname : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALdirname"><code class="code">FilePath.dirname</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALconcat"></a>concat : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALconcat"><code class="code">FilePath.concat</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALreduce"></a>reduce : <code class="type">?no_symlink:bool -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALreduce"><code class="code">FilePath.reduce</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALmake_absolute"></a>make_absolute : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALmake_absolute"><code class="code">FilePath.make_absolute</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALmake_relative"></a>make_relative : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALmake_relative"><code class="code">FilePath.make_relative</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALreparent"></a>reparent : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALreparent"><code class="code">FilePath.reparent</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALidentity"></a>identity : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALidentity"><code class="code">FilePath.identity</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALis_valid"></a>is_valid : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> bool</code></pre><div class="info"> See <a href="FilePath.html#VALis_valid"><code class="code">FilePath.is_valid</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALis_relative"></a>is_relative : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> bool</code></pre><div class="info"> See <a href="FilePath.html#VALis_relative"><code class="code">FilePath.is_relative</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALis_current"></a>is_current : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> bool</code></pre><div class="info"> See <a href="FilePath.html#VALis_current"><code class="code">FilePath.is_current</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALis_parent"></a>is_parent : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> bool</code></pre><div class="info"> See <a href="FilePath.html#VALis_parent"><code class="code">FilePath.is_parent</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALchop_extension"></a>chop_extension : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALchop_extension"><code class="code">FilePath.chop_extension</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALget_extension"></a>get_extension : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEextension">extension</a></code></pre><div class="info"> See <a href="FilePath.html#VALget_extension"><code class="code">FilePath.get_extension</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALcheck_extension"></a>check_extension : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEextension">extension</a> -> bool</code></pre><div class="info"> See <a href="FilePath.html#VALcheck_extension"><code class="code">FilePath.check_extension</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALadd_extension"></a>add_extension : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEextension">extension</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALadd_extension"><code class="code">FilePath.add_extension</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALreplace_extension"></a>replace_extension : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> -><br> <a href="FilePath.PATH_SPECIFICATION.html#TYPEextension">extension</a> -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALreplace_extension"><code class="code">FilePath.replace_extension</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALstring_of_path"></a>string_of_path : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> list -> string</code></pre><div class="info"> See <a href="FilePath.html#VALstring_of_path"><code class="code">FilePath.string_of_path</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALpath_of_string"></a>path_of_string : <code class="type">string -> <a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a> list</code></pre><div class="info"> See <a href="FilePath.html#VALpath_of_string"><code class="code">FilePath.path_of_string</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALcurrent_dir"></a>current_dir : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALcurrent_dir"><code class="code">FilePath.current_dir</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALparent_dir"></a>parent_dir : <code class="type"><a href="FilePath.PATH_SPECIFICATION.html#TYPEfilename">filename</a></code></pre><div class="info"> See <a href="FilePath.html#VALparent_dir"><code class="code">FilePath.parent_dir</code></a><br> </div> </body></html>