<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html> <head> <!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ --> <title>src/System/Path/NameManip.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>{- arch-tag: Path utilities name manipulation code <a name="line-2"></a> <a name="line-3"></a>-}</span> <a name="line-4"></a> <a name="line-5"></a><span class='hs-comment'>{- | <a name="line-6"></a> Module : System.Path.NameManip <a name="line-7"></a> Copyright : Copyright (C) 2004 Volker Wysk <a name="line-8"></a> License : GNU LGPL, version 2.1 or above <a name="line-9"></a> <a name="line-10"></a> Maintainer : John Goerzen <jgoerzen@complete.org> <a name="line-11"></a> Stability : provisional <a name="line-12"></a> Portability: portable <a name="line-13"></a> <a name="line-14"></a>Low-level path name manipulations. <a name="line-15"></a> <a name="line-16"></a>Written by Volker Wysk <a name="line-17"></a>-}</span> <a name="line-18"></a> <a name="line-19"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>Path</span><span class='hs-varop'>.</span><span class='hs-conid'>NameManip</span> <span class='hs-keyword'>where</span> <a name="line-20"></a> <a name="line-21"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>List</span> <span class='hs-layout'>(</span><span class='hs-varid'>intersperse</span><span class='hs-layout'>)</span> <a name="line-22"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>Directory</span> <span class='hs-layout'>(</span><span class='hs-varid'>getCurrentDirectory</span><span class='hs-layout'>)</span> <a name="line-23"></a> <a name="line-24"></a><a name="slice_path"></a><span class='hs-comment'>{- | Split a path in components. Repeated \"@\/@\" characters don\'t lead to empty <a name="line-25"></a>components. \"@.@\" path components are removed. If the path is absolute, the first component <a name="line-26"></a>will start with \"@\/@\". \"@..@\" components are left intact. They can't be simply <a name="line-27"></a>removed, because the preceding component might be a symlink. In this case, <a name="line-28"></a>'realpath' is probably what you need. <a name="line-29"></a> <a name="line-30"></a>The case that the path is empty, is probably an error. However, it is <a name="line-31"></a>treated like \"@.@\", yielding an empty path components list. <a name="line-32"></a> <a name="line-33"></a>Examples: <a name="line-34"></a> <a name="line-35"></a>>slice_path "/" = ["/"] <a name="line-36"></a>>slice_path "/foo/bar" = ["/foo","bar"] <a name="line-37"></a>>slice_path "..//./" = [".."] <a name="line-38"></a>>slice_path "." = [] <a name="line-39"></a> <a name="line-40"></a>See 'unslice_path', 'realpath', 'realpath_s'. <a name="line-41"></a>-}</span> <a name="line-42"></a><span class='hs-definition'>slice_path</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ The path to be broken to components.</span> <a name="line-43"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ List of path components.</span> <a name="line-44"></a><span class='hs-definition'>slice_path</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <a name="line-45"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>p</span> <span class='hs-keyword'>of</span> <a name="line-46"></a> <span class='hs-layout'>(</span><span class='hs-chr'>'/'</span><span class='hs-conop'>:</span><span class='hs-varid'>p'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>case</span> <span class='hs-varid'>slice_path'</span> <span class='hs-varid'>p'</span> <span class='hs-keyword'>of</span> <a name="line-47"></a> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"/"</span><span class='hs-keyglyph'>]</span> <a name="line-48"></a> <span class='hs-layout'>(</span><span class='hs-varid'>c</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-chr'>'/'</span><span class='hs-conop'>:</span><span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <a name="line-49"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>slice_path'</span> <span class='hs-varid'>p</span> <a name="line-50"></a> <span class='hs-keyword'>where</span> <a name="line-51"></a> <span class='hs-varid'>slice_path'</span> <span class='hs-varid'>o</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>filter</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>c</span> <span class='hs-varop'>/=</span> <span class='hs-str'>""</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>c</span> <span class='hs-varop'>/=</span> <span class='hs-str'>"."</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>split</span> <span class='hs-varid'>o</span><span class='hs-layout'>)</span> <a name="line-52"></a> <a name="line-53"></a> <span class='hs-varid'>split</span> <span class='hs-str'>""</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span> <a name="line-54"></a> <span class='hs-varid'>split</span> <span class='hs-layout'>(</span><span class='hs-chr'>'/'</span><span class='hs-conop'>:</span><span class='hs-varid'>o</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>""</span> <span class='hs-conop'>:</span> <span class='hs-varid'>split</span> <span class='hs-varid'>o</span> <a name="line-55"></a> <span class='hs-varid'>split</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>split</span> <span class='hs-varid'>xs</span> <span class='hs-keyword'>of</span> <a name="line-56"></a> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span> <a name="line-57"></a> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-conop'>:</span><span class='hs-varid'>ys</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>y</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>ys</span><span class='hs-layout'>)</span> <a name="line-58"></a> <a name="line-59"></a><a name="unslice_path"></a><span class='hs-comment'>{- | Form a path from path components. This isn't the inverse <a name="line-60"></a>of 'slice_path', since @'unslice_path' . 'slice_path'@ <a name="line-61"></a>normalises the path. <a name="line-62"></a> <a name="line-63"></a>See 'slice_path'. <a name="line-64"></a>-}</span> <a name="line-65"></a><span class='hs-definition'>unslice_path</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ List of path components</span> <a name="line-66"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ The path which consists of the supplied path components</span> <a name="line-67"></a><span class='hs-definition'>unslice_path</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"."</span> <a name="line-68"></a><span class='hs-definition'>unslice_path</span> <span class='hs-varid'>cs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concat</span> <span class='hs-layout'>(</span><span class='hs-varid'>intersperse</span> <span class='hs-str'>"/"</span> <span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <a name="line-69"></a> <a name="line-70"></a> <a name="line-71"></a><a name="normalise_path"></a><span class='hs-comment'>{- | Normalise a path. This is done by reducing repeated @\/@ characters to one, and removing <a name="line-72"></a>@.@ path components. @..@ path components are left intact, because of possible symlinks. <a name="line-73"></a> <a name="line-74"></a>@'normalise_path' = 'unslice_path' . 'slice_path'@ <a name="line-75"></a>-}</span> <a name="line-76"></a><span class='hs-definition'>normalise_path</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path to be normalised</span> <a name="line-77"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path in normalised form</span> <a name="line-78"></a><span class='hs-definition'>normalise_path</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>unslice_path</span> <span class='hs-varop'>.</span> <span class='hs-varid'>slice_path</span> <a name="line-79"></a> <a name="line-80"></a> <a name="line-81"></a><a name="slice_filename"></a><span class='hs-comment'>{- | Split a file name in components. This are the base file name and the <a name="line-82"></a>suffixes, which are separated by dots. If the name starts with a dot, it is <a name="line-83"></a>regarded as part of the base name. The result is a list of file name <a name="line-84"></a>components. The filename may be a path. In this case, everything up to the <a name="line-85"></a>last path component will be returned as part of the base file name. The <a name="line-86"></a>path gets normalised thereby. <a name="line-87"></a> <a name="line-88"></a>No empty suffixes are returned. If the file name contains several <a name="line-89"></a>consecutive dots, they are regared as part of the preceding file name <a name="line-90"></a>component. <a name="line-91"></a> <a name="line-92"></a>Concateneting the name components and adding dots, reproduces the <a name="line-93"></a>original name, with a normalised path: <a name="line-94"></a>@concat . intersperse \".\" . 'slice_filename' == 'normalise'@. <a name="line-95"></a> <a name="line-96"></a>Note that the last path component might be \"@..@\". Then it is not <a name="line-97"></a>possible to deduce the refered directory's name from the path. An IO <a name="line-98"></a>action for getting the real path is then necessary. <a name="line-99"></a> <a name="line-100"></a>Examples: <a name="line-101"></a> <a name="line-102"></a>@ <a name="line-103"></a>'slice_filename' \"a.b\/\/.\/.foo.tar.gz\" == [\"a.b\/.foo\",\"tar\",\"gz\"] <a name="line-104"></a>'slice_filename' \".x..y.\" == [\".x.\", \"y.\"] <a name="line-105"></a>@ <a name="line-106"></a> <a name="line-107"></a>See 'unslice_filename', @slice_filename\'@. <a name="line-108"></a>-}</span> <a name="line-109"></a><span class='hs-definition'>slice_filename</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path</span> <a name="line-110"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ List of components the file name is made up of</span> <a name="line-111"></a><span class='hs-definition'>slice_filename</span> <span class='hs-varid'>path</span> <span class='hs-keyglyph'>=</span> <a name="line-112"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>comps</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>slice_path</span> <span class='hs-varid'>path</span> <a name="line-113"></a> <span class='hs-keyword'>in</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>comps</span> <span class='hs-varop'>==</span> <span class='hs-conid'>[]</span> <a name="line-114"></a> <span class='hs-keyword'>then</span> <span class='hs-conid'>[]</span> <a name="line-115"></a> <span class='hs-keyword'>else</span> <span class='hs-comment'>-- slice_filename' result not empty, because comps not empty</span> <a name="line-116"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>base</span><span class='hs-conop'>:</span><span class='hs-varid'>suffixes</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>slice_filename'</span> <span class='hs-layout'>(</span><span class='hs-varid'>last</span> <span class='hs-varid'>comps</span><span class='hs-layout'>)</span> <a name="line-117"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-varid'>unslice_path</span> <span class='hs-layout'>(</span><span class='hs-varid'>init</span> <span class='hs-varid'>comps</span> <span class='hs-varop'>++</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>base</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>suffixes</span><span class='hs-layout'>)</span> <a name="line-118"></a> <a name="line-119"></a> <a name="line-120"></a><a name="slice_filename'"></a><span class='hs-comment'>{- | This is a variant of 'slice_filename'. It is like 'slice_filename', except for <a name="line-121"></a>being more efficient, and the filename must not contain any preceding path, <a name="line-122"></a>since this case isn't considered. <a name="line-123"></a> <a name="line-124"></a>See 'slice_filename', 'unslice_filename'. <a name="line-125"></a>-}</span> <a name="line-126"></a><span class='hs-definition'>slice_filename'</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ File name without path</span> <a name="line-127"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ List of components the file name is made up of</span> <a name="line-128"></a><span class='hs-definition'>slice_filename'</span> <span class='hs-varid'>filename</span> <span class='hs-keyglyph'>=</span> <a name="line-129"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>filename</span> <span class='hs-keyword'>of</span> <a name="line-130"></a> <span class='hs-layout'>(</span><span class='hs-chr'>'.'</span><span class='hs-conop'>:</span><span class='hs-varid'>filename'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>case</span> <span class='hs-varid'>slice_filename''</span> <span class='hs-varid'>filename'</span> <span class='hs-keyword'>of</span> <a name="line-131"></a> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"."</span><span class='hs-keyglyph'>]</span> <a name="line-132"></a> <span class='hs-layout'>(</span><span class='hs-varid'>t</span><span class='hs-conop'>:</span><span class='hs-varid'>ts</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-chr'>'.'</span><span class='hs-conop'>:</span><span class='hs-varid'>t</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>ts</span> <a name="line-133"></a> <span class='hs-varid'>filename</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>slice_filename''</span> <span class='hs-varid'>filename</span> <a name="line-134"></a> <span class='hs-keyword'>where</span> <a name="line-135"></a> <span class='hs-varid'>slice_filename''</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <a name="line-136"></a> <span class='hs-varid'>slice_filename''</span> <span class='hs-str'>""</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span> <a name="line-137"></a> <span class='hs-varid'>slice_filename''</span> <span class='hs-varid'>fn</span> <span class='hs-keyglyph'>=</span> <a name="line-138"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>beg</span><span class='hs-layout'>,</span><span class='hs-varid'>rest</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>split1</span> <span class='hs-varid'>fn</span> <a name="line-139"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-varid'>beg</span> <span class='hs-conop'>:</span> <span class='hs-varid'>slice_filename''</span> <span class='hs-varid'>rest</span><span class='hs-layout'>)</span> <a name="line-140"></a> <a name="line-141"></a> <span class='hs-varid'>split1</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-142"></a> <span class='hs-varid'>split1</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>y</span><span class='hs-conop'>:</span><span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-143"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>x</span> <span class='hs-varop'>==</span> <span class='hs-chr'>'.'</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>y</span> <span class='hs-varop'>/=</span> <span class='hs-chr'>'.'</span> <span class='hs-keyword'>then</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-varid'>y</span><span class='hs-conop'>:</span><span class='hs-varid'>r</span><span class='hs-layout'>)</span> <a name="line-144"></a> <span class='hs-keyword'>else</span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>beg</span><span class='hs-layout'>,</span><span class='hs-varid'>rest</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>split1</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-conop'>:</span><span class='hs-varid'>r</span><span class='hs-layout'>)</span> <a name="line-145"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>beg</span><span class='hs-layout'>,</span><span class='hs-varid'>rest</span><span class='hs-layout'>)</span> <a name="line-146"></a> <span class='hs-varid'>split1</span> <span class='hs-varid'>str</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>str</span><span class='hs-layout'>,</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <a name="line-147"></a> <a name="line-148"></a> <a name="line-149"></a> <a name="line-150"></a><a name="unslice_filename"></a><span class='hs-comment'>{- | Form file name from file name components, interspersing dots. This is <a name="line-151"></a>the inverse of 'slice_filename', except for normalisation of any path. <a name="line-152"></a> <a name="line-153"></a>> unslice_filename = concat . intersperse "." <a name="line-154"></a> <a name="line-155"></a>See 'slice_filename'. <a name="line-156"></a>-}</span> <a name="line-157"></a><span class='hs-definition'>unslice_filename</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ List of file name components</span> <a name="line-158"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Name of the file which consists of the supplied components</span> <a name="line-159"></a><span class='hs-definition'>unslice_filename</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concat</span> <span class='hs-varop'>.</span> <span class='hs-varid'>intersperse</span> <span class='hs-str'>"."</span> <a name="line-160"></a> <a name="line-161"></a> <a name="line-162"></a><a name="split_path"></a><span class='hs-comment'>{- | Split a path in directory and file name. Only in the case that the <a name="line-163"></a>supplied path is empty, both parts are empty strings. Otherwise, @\".\"@ is filled in <a name="line-164"></a>for the corresponding part, if necessary. Unless the path is empty, <a name="line-165"></a>concatenating the returned path and file name components with a slash in <a name="line-166"></a>between, makes a valid path to the file. <a name="line-167"></a> <a name="line-168"></a>@split_path@ splits off the last path component. This <a name="line-169"></a>isn't the same as the text after the last @\/@. <a name="line-170"></a> <a name="line-171"></a>Note that the last path component might be @\"..\"@. Then it is not <a name="line-172"></a>possible to deduce the refered directory's name from the path. Then an IO <a name="line-173"></a>action for getting the real path is necessary. <a name="line-174"></a> <a name="line-175"></a>Examples: <a name="line-176"></a> <a name="line-177"></a>>split_path "/a/b/c" == ("/a/b", "c") <a name="line-178"></a>>split_path "foo" == (".", "foo") <a name="line-179"></a>>split_path "foo/bar" == ("foo", "bar") <a name="line-180"></a>>split_path "foo/.." == ("foo", "..") <a name="line-181"></a>>split_path "." == (".", ".") <a name="line-182"></a>>split_path "" == ("", "") <a name="line-183"></a>>split_path "/foo" == ("/", "foo") <a name="line-184"></a>>split_path "foo/" == (".", "foo") <a name="line-185"></a>>split_path "foo/." == (".", "foo") <a name="line-186"></a>>split_path "foo///./bar" == ("foo", "bar") <a name="line-187"></a> <a name="line-188"></a>See 'slice_path'. <a name="line-189"></a>-}</span> <a name="line-190"></a><span class='hs-definition'>split_path</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path to be split</span> <a name="line-191"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Directory and file name components of the path. The directory path is normalized.</span> <a name="line-192"></a><span class='hs-definition'>split_path</span> <span class='hs-str'>""</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span><span class='hs-str'>""</span><span class='hs-layout'>)</span> <a name="line-193"></a><span class='hs-definition'>split_path</span> <span class='hs-varid'>path</span> <span class='hs-keyglyph'>=</span> <a name="line-194"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>slice_path</span> <span class='hs-varid'>path</span> <span class='hs-keyword'>of</span> <a name="line-195"></a> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-str'>"."</span><span class='hs-layout'>,</span><span class='hs-str'>"."</span><span class='hs-layout'>)</span> <a name="line-196"></a> <span class='hs-keyglyph'>[</span><span class='hs-str'>"/"</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-str'>"/"</span><span class='hs-layout'>,</span> <span class='hs-str'>"."</span><span class='hs-layout'>)</span> <a name="line-197"></a> <span class='hs-keyglyph'>[</span><span class='hs-chr'>'/'</span><span class='hs-conop'>:</span><span class='hs-varid'>p</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-str'>"/"</span><span class='hs-layout'>,</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <a name="line-198"></a> <span class='hs-keyglyph'>[</span><span class='hs-varid'>fn</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-str'>"."</span><span class='hs-layout'>,</span> <span class='hs-varid'>fn</span><span class='hs-layout'>)</span> <a name="line-199"></a> <span class='hs-varid'>parts</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span> <span class='hs-varid'>unslice_path</span> <span class='hs-layout'>(</span><span class='hs-varid'>init</span> <span class='hs-varid'>parts</span><span class='hs-layout'>)</span> <a name="line-200"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>last</span> <span class='hs-varid'>parts</span> <a name="line-201"></a> <span class='hs-layout'>)</span> <a name="line-202"></a> <a name="line-203"></a><a name="dir_part"></a><span class='hs-comment'>{- | Get the directory part of a path. <a name="line-204"></a> <a name="line-205"></a>>dir_part = fst . split_path <a name="line-206"></a> <a name="line-207"></a>See 'split_path'. <a name="line-208"></a>-}</span> <a name="line-209"></a><span class='hs-definition'>dir_part</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-210"></a><span class='hs-definition'>dir_part</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fst</span> <span class='hs-varop'>.</span> <span class='hs-varid'>split_path</span> <a name="line-211"></a> <a name="line-212"></a> <a name="line-213"></a><a name="filename_part"></a><span class='hs-comment'>{- | Get the last path component of a path. <a name="line-214"></a> <a name="line-215"></a>>filename_part = snd . split_path <a name="line-216"></a> <a name="line-217"></a>Examples: <a name="line-218"></a> <a name="line-219"></a>>filename_part "foo/bar" == "bar" <a name="line-220"></a>>filename_part "." == "." <a name="line-221"></a> <a name="line-222"></a>See 'split_path'. <a name="line-223"></a>-}</span> <a name="line-224"></a><span class='hs-definition'>filename_part</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-225"></a><span class='hs-definition'>filename_part</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>snd</span> <span class='hs-varop'>.</span> <span class='hs-varid'>split_path</span> <a name="line-226"></a> <a name="line-227"></a> <a name="line-228"></a><a name="unsplit_path"></a><span class='hs-comment'>{- | Inverse of 'split_path', except for normalisation. <a name="line-229"></a> <a name="line-230"></a>This concatenates two paths, and takes care of @\".\"@ and empty paths. When the two components are the result of @split_path@, then @unsplit_path@ <a name="line-231"></a>creates a normalised path. It is best documented by its definition: <a name="line-232"></a> <a name="line-233"></a>>unsplit_path (".", "") = "." <a name="line-234"></a>>unsplit_path ("", ".") = "." <a name="line-235"></a>>unsplit_path (".", q) = q <a name="line-236"></a>>unsplit_path ("", q) = q <a name="line-237"></a>>unsplit_path (p, "") = p <a name="line-238"></a>>unsplit_path (p, ".") = p <a name="line-239"></a>>unsplit_path (p, q) = p ++ "/" ++ q <a name="line-240"></a> <a name="line-241"></a>Examples: <a name="line-242"></a> <a name="line-243"></a>>unsplit_path ("", "") == "" <a name="line-244"></a>>unsplit_path (".", "") == "." <a name="line-245"></a>>unsplit_path (".", ".") == "." <a name="line-246"></a>>unsplit_path ("foo", ".") == "foo" <a name="line-247"></a> <a name="line-248"></a>See 'split_path'. <a name="line-249"></a>-}</span> <a name="line-250"></a><span class='hs-definition'>unsplit_path</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span> <span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span> <span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Directory and file name</span> <a name="line-251"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path formed from the directory and file name parts</span> <a name="line-252"></a><span class='hs-definition'>unsplit_path</span> <span class='hs-layout'>(</span><span class='hs-str'>"."</span><span class='hs-layout'>,</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"."</span> <a name="line-253"></a><span class='hs-definition'>unsplit_path</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-str'>"."</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"."</span> <a name="line-254"></a><span class='hs-definition'>unsplit_path</span> <span class='hs-layout'>(</span><span class='hs-str'>"."</span><span class='hs-layout'>,</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>q</span> <a name="line-255"></a><span class='hs-definition'>unsplit_path</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>q</span> <a name="line-256"></a><span class='hs-definition'>unsplit_path</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>p</span> <a name="line-257"></a><span class='hs-definition'>unsplit_path</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span> <span class='hs-str'>"."</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>p</span> <a name="line-258"></a><span class='hs-definition'>unsplit_path</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>p</span> <span class='hs-varop'>++</span> <span class='hs-str'>"/"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>q</span> <a name="line-259"></a> <a name="line-260"></a> <a name="line-261"></a><a name="split_filename"></a><span class='hs-comment'>{- | Split a file name in prefix and suffix. If there isn't any suffix in <a name="line-262"></a>the file name, then return an empty suffix. A dot at the beginning or at <a name="line-263"></a>the end is not regarded as introducing a suffix. <a name="line-264"></a> <a name="line-265"></a>The last path component is what is being split. This isn't the same as <a name="line-266"></a>splitting the string at the last dot. For instance, if the file name <a name="line-267"></a>doesn't contain any dot, dots in previous path component's aren't mistaken <a name="line-268"></a>as introducing suffixes. <a name="line-269"></a> <a name="line-270"></a>The path part is returned in normalised form. This means, @\".\"@ components <a name="line-271"></a>are removed, and multiple \"@\/@\"s are reduced to one. <a name="line-272"></a> <a name="line-273"></a>Note that there isn't any plausibility check performed on the suffix. If the file name doesn't have a suffix, but happens to contain a dot, then this <a name="line-274"></a>dot is mistaken as introducing a suffix. <a name="line-275"></a> <a name="line-276"></a>Examples: <a name="line-277"></a> <a name="line-278"></a>>split_filename "path/to/foo.bar" = ("path/to/foo","bar") <a name="line-279"></a>>split_filename "path/to/foo" = ("path/to/foo","") <a name="line-280"></a>>split_filename "/path.to/foo" = ("/path.to/foo","") <a name="line-281"></a>>split_filename "a///./x" = ("a/x","") <a name="line-282"></a>>split_filename "dir.suffix/./" = ("dir","suffix") <a name="line-283"></a>>split_filename "Photographie, Das 20. Jahrhundert (300 dpi)" = ("Photographie, Das 20", " Jahrhundert (300 dpi)") <a name="line-284"></a> <a name="line-285"></a>See 'slice_path', 'split_filename\'' <a name="line-286"></a>-}</span> <a name="line-287"></a><span class='hs-definition'>split_filename</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path including the file name to be split</span> <a name="line-288"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ The normalised path with the file prefix, and the file suffix.</span> <a name="line-289"></a><span class='hs-definition'>split_filename</span> <span class='hs-str'>""</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <a name="line-290"></a><span class='hs-definition'>split_filename</span> <span class='hs-varid'>path</span> <span class='hs-keyglyph'>=</span> <a name="line-291"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>slice_path</span> <span class='hs-varid'>path</span> <span class='hs-keyword'>of</span> <a name="line-292"></a> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-str'>"."</span><span class='hs-layout'>,</span><span class='hs-str'>""</span><span class='hs-layout'>)</span> <a name="line-293"></a> <span class='hs-varid'>comps</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>pref_fn</span><span class='hs-layout'>,</span> <span class='hs-varid'>suff_fn</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>split_filename'</span> <span class='hs-layout'>(</span><span class='hs-varid'>last</span> <span class='hs-varid'>comps</span><span class='hs-layout'>)</span> <a name="line-294"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span> <span class='hs-varid'>concat</span> <span class='hs-layout'>(</span><span class='hs-varid'>intersperse</span> <span class='hs-str'>"/"</span> <span class='hs-layout'>(</span><span class='hs-varid'>init</span> <span class='hs-varid'>comps</span> <span class='hs-varop'>++</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>pref_fn</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-295"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>suff_fn</span> <a name="line-296"></a> <span class='hs-layout'>)</span> <a name="line-297"></a> <a name="line-298"></a> <a name="line-299"></a><a name="split_filename'"></a><span class='hs-comment'>{- | Variant of 'split_filename'. This is a more efficient version <a name="line-300"></a>of 'split_filename', for the case that you know the string is <a name="line-301"></a>is a pure file name without any slashes. <a name="line-302"></a> <a name="line-303"></a>See 'split_filename'. <a name="line-304"></a>-}</span> <a name="line-305"></a><span class='hs-definition'>split_filename'</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Filename to be split</span> <a name="line-306"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Base name and the last suffix</span> <a name="line-307"></a><span class='hs-definition'>split_filename'</span> <span class='hs-str'>""</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <a name="line-308"></a><span class='hs-definition'>split_filename'</span> <span class='hs-varid'>fn</span> <span class='hs-keyglyph'>=</span> <a name="line-309"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>parts</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>slice_filename'</span> <span class='hs-varid'>fn</span> <a name="line-310"></a> <span class='hs-keyword'>in</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>parts</span> <span class='hs-keyword'>of</span> <a name="line-311"></a> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-str'>"."</span><span class='hs-layout'>,</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <a name="line-312"></a> <span class='hs-keyglyph'>[</span><span class='hs-varid'>base</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>base</span><span class='hs-layout'>,</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <a name="line-313"></a> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>unslice_filename</span> <span class='hs-layout'>(</span><span class='hs-varid'>init</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>last</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <a name="line-314"></a> <a name="line-315"></a> <a name="line-316"></a><a name="unsplit_filename"></a><span class='hs-comment'>{- | Inverse of 'split_filename'. Concatenate prefix and suffix, adding <a name="line-317"></a>a dot in between, iff the suffix is not empty. The path part of the prefix is <a name="line-318"></a>normalised. <a name="line-319"></a> <a name="line-320"></a>See 'split_filename'. <a name="line-321"></a>-}</span> <a name="line-322"></a><span class='hs-definition'>unsplit_filename</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ File name prefix and suffix</span> <a name="line-323"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path</span> <a name="line-324"></a><span class='hs-definition'>unsplit_filename</span> <span class='hs-layout'>(</span><span class='hs-varid'>prefix</span><span class='hs-layout'>,</span> <span class='hs-varid'>suffix</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-325"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>suffix</span> <span class='hs-varop'>==</span> <span class='hs-str'>""</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>prefix</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>prefix</span> <span class='hs-varop'>++</span> <span class='hs-str'>"."</span> <span class='hs-varop'>++</span> <span class='hs-varid'>suffix</span> <a name="line-326"></a> <a name="line-327"></a> <a name="line-328"></a><a name="split3"></a><span class='hs-comment'>{- | Split a path in directory, base file name and suffix. <a name="line-329"></a>-}</span> <a name="line-330"></a><span class='hs-definition'>split3</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path to split</span> <a name="line-331"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Directory part, base file name part and suffix part</span> <a name="line-332"></a><span class='hs-definition'>split3</span> <span class='hs-str'>""</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span><span class='hs-str'>""</span><span class='hs-layout'>,</span><span class='hs-str'>""</span><span class='hs-layout'>)</span> <a name="line-333"></a><span class='hs-definition'>split3</span> <span class='hs-varid'>path</span> <span class='hs-keyglyph'>=</span> <a name="line-334"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>comps</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>slice_path</span> <span class='hs-varid'>path</span> <a name="line-335"></a> <span class='hs-layout'>(</span><span class='hs-varid'>base</span><span class='hs-layout'>,</span> <span class='hs-varid'>suffix</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>split_filename'</span> <span class='hs-layout'>(</span><span class='hs-varid'>last</span> <span class='hs-varid'>comps</span><span class='hs-layout'>)</span> <a name="line-336"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-varid'>unslice_path</span> <span class='hs-layout'>(</span><span class='hs-varid'>init</span> <span class='hs-varid'>comps</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>base</span><span class='hs-layout'>,</span> <span class='hs-varid'>suffix</span><span class='hs-layout'>)</span> <a name="line-337"></a> <a name="line-338"></a> <a name="line-339"></a><a name="unsplit3"></a><span class='hs-comment'>{- | <a name="line-340"></a>Form path from directory, base file name and suffix parts. <a name="line-341"></a>-}</span> <a name="line-342"></a><span class='hs-definition'>unsplit3</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Directory part, base file name part and suffix part</span> <a name="line-343"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path consisting of dir, base and suffix</span> <a name="line-344"></a><span class='hs-definition'>unsplit3</span> <span class='hs-layout'>(</span><span class='hs-varid'>dir</span><span class='hs-layout'>,</span> <span class='hs-varid'>base</span><span class='hs-layout'>,</span> <span class='hs-varid'>suffix</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-345"></a> <span class='hs-varid'>unsplit_path</span> <span class='hs-layout'>(</span><span class='hs-varid'>dir</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varid'>unsplit_filename</span> <span class='hs-layout'>(</span><span class='hs-varid'>base</span><span class='hs-layout'>,</span><span class='hs-varid'>suffix</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-346"></a> <a name="line-347"></a> <a name="line-348"></a><a name="test_suffix"></a><span class='hs-comment'>{- | Test a path for a specific suffix and split it off. <a name="line-349"></a> <a name="line-350"></a>If the path ends with the suffix, then the result is @Just <a name="line-351"></a>prefix@, where @prefix@ is the normalised path <a name="line-352"></a>without the suffix. Otherwise it's @Nothing@. <a name="line-353"></a>-}</span> <a name="line-354"></a><span class='hs-definition'>test_suffix</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Suffix to split off</span> <a name="line-355"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path to test</span> <a name="line-356"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Prefix without the suffix or @Nothing@</span> <a name="line-357"></a><span class='hs-definition'>test_suffix</span> <span class='hs-varid'>suffix</span> <span class='hs-varid'>path</span> <span class='hs-keyglyph'>=</span> <a name="line-358"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>prefix</span><span class='hs-layout'>,</span> <span class='hs-varid'>suff</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>split_filename</span> <span class='hs-varid'>path</span> <a name="line-359"></a> <span class='hs-keyword'>in</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>suff</span> <span class='hs-varop'>==</span> <span class='hs-varid'>suffix</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>prefix</span> <a name="line-360"></a> <span class='hs-keyword'>else</span> <span class='hs-conid'>Nothing</span> <a name="line-361"></a> <a name="line-362"></a> <a name="line-363"></a><a name="absolute_path"></a><span class='hs-comment'>{- | Make a path absolute, using the current working directory. <a name="line-364"></a> <a name="line-365"></a>This makes a relative path absolute with respect to the current <a name="line-366"></a>working directory. An absolute path is returned unmodified. <a name="line-367"></a> <a name="line-368"></a>The current working directory is determined with @getCurrentDirectory@ <a name="line-369"></a>which means that symbolic links in it are expanded and the path is <a name="line-370"></a>normalised. This is different from @pwd@. <a name="line-371"></a>-}</span> <a name="line-372"></a><span class='hs-definition'>absolute_path</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ The path to be made absolute</span> <a name="line-373"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Absulte path</span> <a name="line-374"></a><span class='hs-definition'>absolute_path</span> <span class='hs-varid'>path</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-chr'>'/'</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-varid'>path</span> <a name="line-375"></a><span class='hs-definition'>absolute_path</span> <span class='hs-varid'>path</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-376"></a> <span class='hs-varid'>cwd</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getCurrentDirectory</span> <a name="line-377"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>cwd</span> <span class='hs-varop'>++</span> <span class='hs-str'>"/"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>path</span><span class='hs-layout'>)</span> <a name="line-378"></a> <a name="line-379"></a> <a name="line-380"></a><a name="absolute_path_by"></a><span class='hs-comment'>{- | Make a path absolute. <a name="line-381"></a> <a name="line-382"></a>This makes a relative path absolute with respect to a specified <a name="line-383"></a>directory. An absolute path is returned unmodified. <a name="line-384"></a>-}</span> <a name="line-385"></a><span class='hs-definition'>absolute_path_by</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ The directory relative to which the path is made absolute</span> <a name="line-386"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ The path to be made absolute</span> <a name="line-387"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Absolute path</span> <a name="line-388"></a><span class='hs-definition'>absolute_path_by</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>path</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-chr'>'/'</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>path</span> <a name="line-389"></a><span class='hs-definition'>absolute_path_by</span> <span class='hs-varid'>dir</span> <span class='hs-varid'>path</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dir</span> <span class='hs-varop'>++</span> <span class='hs-str'>"/"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>path</span> <a name="line-390"></a> <a name="line-391"></a> <a name="line-392"></a><a name="absolute_path'"></a><span class='hs-comment'>{- | Make a path absolute. <a name="line-393"></a> <a name="line-394"></a>This makes a relative path absolute with respect to a specified <a name="line-395"></a>directory. An absolute path is returned unmodified. <a name="line-396"></a> <a name="line-397"></a>The order of the arguments can be confusing. You should rather use 'absolute_path_by'. @absolute_path\'@ is included for backwards compatibility. <a name="line-398"></a>-}</span> <a name="line-399"></a><span class='hs-definition'>absolute_path'</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ The path to be made absolute</span> <a name="line-400"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ The directory relative to which the path is made absolute</span> <a name="line-401"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Absolute path</span> <a name="line-402"></a><span class='hs-definition'>absolute_path'</span> <span class='hs-varid'>path</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-chr'>'/'</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>path</span> <a name="line-403"></a><span class='hs-definition'>absolute_path'</span> <span class='hs-varid'>path</span> <span class='hs-varid'>dir</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dir</span> <span class='hs-varop'>++</span> <span class='hs-str'>"/"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>path</span> <a name="line-404"></a> <a name="line-405"></a> <a name="line-406"></a><a name="guess_dotdot_comps"></a><span class='hs-comment'>{- | Guess the @\"..\"@-component free form of a path, specified as a list of path components, by syntactically removing them, along with the preceding <a name="line-407"></a> path components. This will produce <a name="line-408"></a> erroneous results when the path contains symlinks. If the path contains leading @\"..\"@ components, or more @\"..\"@ components than preceeding normal <a name="line-409"></a> components, then the @\"..\"@ components can't be normalised away. In this case, the result is @Nothing@. <a name="line-410"></a>-}</span> <a name="line-411"></a><span class='hs-definition'>guess_dotdot_comps</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ List of path components</span> <a name="line-412"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ In case the path could be transformed, the @\"..\"@-component free list of path components.</span> <a name="line-413"></a><span class='hs-definition'>guess_dotdot_comps</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>guess_dotdot_comps'</span> <span class='hs-conid'>[]</span> <a name="line-414"></a> <span class='hs-keyword'>where</span> <a name="line-415"></a> <span class='hs-varid'>guess_dotdot_comps'</span> <span class='hs-varid'>schon</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>schon</span> <a name="line-416"></a> <span class='hs-varid'>guess_dotdot_comps'</span> <span class='hs-conid'>[]</span> <span class='hs-layout'>(</span><span class='hs-str'>".."</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span> <a name="line-417"></a> <span class='hs-varid'>guess_dotdot_comps'</span> <span class='hs-varid'>schon</span> <span class='hs-layout'>(</span><span class='hs-str'>".."</span><span class='hs-conop'>:</span><span class='hs-varid'>teile</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>guess_dotdot_comps'</span> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-varop'>.</span> <span class='hs-varid'>tail</span> <span class='hs-varop'>.</span> <span class='hs-varid'>reverse</span> <span class='hs-varop'>$</span> <span class='hs-varid'>schon</span><span class='hs-layout'>)</span> <span class='hs-varid'>teile</span> <a name="line-418"></a> <span class='hs-varid'>guess_dotdot_comps'</span> <span class='hs-varid'>schon</span> <span class='hs-layout'>(</span><span class='hs-varid'>teil</span><span class='hs-conop'>:</span><span class='hs-varid'>teile</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>guess_dotdot_comps'</span> <span class='hs-layout'>(</span><span class='hs-varid'>schon</span> <span class='hs-varop'>++</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>teil</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-varid'>teile</span> <a name="line-419"></a> <a name="line-420"></a> <a name="line-421"></a><a name="guess_dotdot"></a><span class='hs-comment'>{- | Guess the @\"..\"@-component free, normalised form of a path. The transformation is purely syntactic. @\"..\"@ path components will be removed, along <a name="line-422"></a> with their preceding path components. This will produce <a name="line-423"></a> erroneous results when the path contains symlinks. If the path contains leading @\"..\"@ components, or more @\"..\"@ components than preceeding normal <a name="line-424"></a> components, then the @\"..\"@ components can't be normalised away. In this case, the result is @Nothing@. <a name="line-425"></a> <a name="line-426"></a>>guess_dotdot = fmap unslice_path . guess_dotdot_comps . slice_path <a name="line-427"></a>-}</span> <a name="line-428"></a><span class='hs-definition'>guess_dotdot</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ Path to be normalised</span> <a name="line-429"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ In case the path could be transformed, the normalised, @\"..\"@-component free form of the path.</span> <a name="line-430"></a><span class='hs-definition'>guess_dotdot</span> <span class='hs-keyglyph'>=</span> <a name="line-431"></a> <span class='hs-varid'>fmap</span> <span class='hs-varid'>unslice_path</span> <span class='hs-varop'>.</span> <span class='hs-varid'>guess_dotdot_comps</span> <span class='hs-varop'>.</span> <span class='hs-varid'>slice_path</span> </pre></body> </html>