Sophie

Sophie

distrib > Fedora > 14 > x86_64 > by-pkgid > a0995fd4c38add851d8e9994a3499e40 > files > 722

ghc-darcs-devel-2.4.4-3.fc14.x86_64.rpm

<!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/Darcs/SlurpDirectory/Internal.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>-- Copyright (C) 2002-2004 David Roundy</span>
<a name="line-2"></a><span class='hs-comment'>--</span>
<a name="line-3"></a><span class='hs-comment'>-- This program is free software; you can redistribute it and/or modify</span>
<a name="line-4"></a><span class='hs-comment'>-- it under the terms of the GNU General Public License as published by</span>
<a name="line-5"></a><span class='hs-comment'>-- the Free Software Foundation; either version 2, or (at your option)</span>
<a name="line-6"></a><span class='hs-comment'>-- any later version.</span>
<a name="line-7"></a><span class='hs-comment'>--</span>
<a name="line-8"></a><span class='hs-comment'>-- This program is distributed in the hope that it will be useful,</span>
<a name="line-9"></a><span class='hs-comment'>-- but WITHOUT ANY WARRANTY; without even the implied warranty of</span>
<a name="line-10"></a><span class='hs-comment'>-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span>
<a name="line-11"></a><span class='hs-comment'>-- GNU General Public License for more details.</span>
<a name="line-12"></a><span class='hs-comment'>--</span>
<a name="line-13"></a><span class='hs-comment'>-- You should have received a copy of the GNU General Public License</span>
<a name="line-14"></a><span class='hs-comment'>-- along with this program; see the file COPYING.  If not, write to</span>
<a name="line-15"></a><span class='hs-comment'>-- the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,</span>
<a name="line-16"></a><span class='hs-comment'>-- Boston, MA 02110-1301, USA.</span>
<a name="line-17"></a>
<a name="line-18"></a><span class='hs-comment'>{-# OPTIONS_GHC -cpp #-}</span>
<a name="line-19"></a><span class='hs-comment'>{-# LANGUAGE CPP #-}</span>
<a name="line-20"></a>
<a name="line-21"></a><span class='hs-comment'>-- | SlurpDirectory is intended to give a nice lazy way of traversing directory</span>
<a name="line-22"></a><span class='hs-comment'>-- trees.</span>
<a name="line-23"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Darcs</span><span class='hs-varop'>.</span><span class='hs-conid'>SlurpDirectory</span><span class='hs-varop'>.</span><span class='hs-conid'>Internal</span>
<a name="line-24"></a>                      <span class='hs-layout'>(</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>SlurpyContents</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'>slurpies_to_map</span><span class='hs-layout'>,</span> <span class='hs-varid'>map_to_slurpies</span><span class='hs-layout'>,</span>
<a name="line-25"></a>                        <span class='hs-conid'>FileContents</span><span class='hs-layout'>,</span> <span class='hs-varid'>empty_slurpy</span><span class='hs-layout'>,</span>
<a name="line-26"></a>                        <span class='hs-varid'>slurp</span><span class='hs-layout'>,</span> <span class='hs-varid'>mmap_slurp</span><span class='hs-layout'>,</span> <span class='hs-varid'>slurp_unboring</span><span class='hs-layout'>,</span> <span class='hs-varid'>co_slurp</span><span class='hs-layout'>,</span>
<a name="line-27"></a>                        <span class='hs-varid'>slurp_name</span><span class='hs-layout'>,</span> <span class='hs-varid'>is_file</span><span class='hs-layout'>,</span> <span class='hs-varid'>is_dir</span><span class='hs-layout'>,</span>
<a name="line-28"></a>                        <span class='hs-varid'>get_filecontents</span><span class='hs-layout'>,</span> <span class='hs-varid'>get_dircontents</span><span class='hs-layout'>,</span> <span class='hs-varid'>get_mtime</span><span class='hs-layout'>,</span>
<a name="line-29"></a>                        <span class='hs-varid'>get_length</span><span class='hs-layout'>,</span> <span class='hs-varid'>get_slurp</span><span class='hs-layout'>,</span>
<a name="line-30"></a>                        <span class='hs-varid'>slurp_removefile</span><span class='hs-layout'>,</span> <span class='hs-varid'>slurp_removedir</span><span class='hs-layout'>,</span>
<a name="line-31"></a>                        <span class='hs-varid'>slurp_remove</span><span class='hs-layout'>,</span>
<a name="line-32"></a>                        <span class='hs-varid'>slurp_modfile</span><span class='hs-layout'>,</span> <span class='hs-varid'>slurp_hasfile</span><span class='hs-layout'>,</span> <span class='hs-varid'>slurp_hasdir</span><span class='hs-layout'>,</span>
<a name="line-33"></a>                        <span class='hs-varid'>slurp_has_anycase</span><span class='hs-layout'>,</span> <span class='hs-varid'>undefined_time</span><span class='hs-layout'>,</span>
<a name="line-34"></a>                        <span class='hs-varid'>undefined_size</span><span class='hs-layout'>,</span>
<a name="line-35"></a>                        <span class='hs-varid'>slurp_has</span><span class='hs-layout'>,</span> <span class='hs-varid'>list_slurpy</span><span class='hs-layout'>,</span> <span class='hs-varid'>list_slurpy_files</span><span class='hs-layout'>,</span>
<a name="line-36"></a>                        <span class='hs-varid'>get_path_list</span><span class='hs-layout'>,</span>
<a name="line-37"></a>                        <span class='hs-varid'>list_slurpy_dirs</span><span class='hs-layout'>,</span>
<a name="line-38"></a>                        <span class='hs-varid'>isFileReallySymlink</span><span class='hs-layout'>,</span>
<a name="line-39"></a>                        <span class='hs-varid'>doesFileReallyExist</span><span class='hs-layout'>,</span> <span class='hs-varid'>doesDirectoryReallyExist</span><span class='hs-layout'>,</span>
<a name="line-40"></a>                        <span class='hs-conid'>SlurpMonad</span><span class='hs-layout'>,</span> <span class='hs-varid'>withSlurpy</span><span class='hs-layout'>,</span> <span class='hs-varid'>write_files</span><span class='hs-layout'>,</span>
<a name="line-41"></a>                        <span class='hs-varid'>writeSlurpy</span><span class='hs-layout'>,</span> <span class='hs-varid'>syncSlurpy</span>
<a name="line-42"></a>                      <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-43"></a>
<a name="line-44"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>IO</span>
<a name="line-45"></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-varid'>hiding</span> <span class='hs-layout'>(</span> <span class='hs-varid'>getCurrentDirectory</span><span class='hs-layout'>,</span> <span class='hs-varid'>renameFile</span> <span class='hs-layout'>)</span>
<a name="line-46"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Workaround</span> <span class='hs-layout'>(</span> <span class='hs-varid'>getCurrentDirectory</span> <span class='hs-layout'>)</span>
<a name="line-47"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Darcs</span><span class='hs-varop'>.</span><span class='hs-conid'>Utils</span> <span class='hs-layout'>(</span> <span class='hs-varid'>withCurrentDirectory</span><span class='hs-layout'>,</span> <span class='hs-varid'>formatPath</span> <span class='hs-layout'>)</span>
<a name="line-48"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Darcs</span><span class='hs-varop'>.</span><span class='hs-conid'>RepoPath</span> <span class='hs-layout'>(</span> <span class='hs-conid'>FilePathLike</span><span class='hs-layout'>,</span> <span class='hs-varid'>toPath</span> <span class='hs-layout'>)</span>
<a name="line-49"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>IO</span><span class='hs-varop'>.</span><span class='hs-conid'>Unsafe</span> <span class='hs-layout'>(</span> <span class='hs-varid'>unsafeInterleaveIO</span> <span class='hs-layout'>)</span>
<a name="line-50"></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'>isPrefixOf</span> <span class='hs-layout'>)</span>
<a name="line-51"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span> <span class='hs-layout'>(</span> <span class='hs-conid'>MonadPlus</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'>when</span> <span class='hs-layout'>)</span>
<a name="line-52"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Char</span> <span class='hs-layout'>(</span> <span class='hs-varid'>toLower</span> <span class='hs-layout'>)</span>
<a name="line-53"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>Posix</span><span class='hs-varop'>.</span><span class='hs-conid'>Types</span> <span class='hs-layout'>(</span> <span class='hs-conid'>EpochTime</span> <span class='hs-layout'>)</span>
<a name="line-54"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>Posix</span><span class='hs-varop'>.</span><span class='hs-conid'>Files</span>
<a name="line-55"></a>        <span class='hs-layout'>(</span> <span class='hs-varid'>getSymbolicLinkStatus</span><span class='hs-layout'>,</span> <span class='hs-varid'>modificationTime</span><span class='hs-layout'>,</span>
<a name="line-56"></a>          <span class='hs-varid'>fileSize</span><span class='hs-layout'>,</span>
<a name="line-57"></a>          <span class='hs-varid'>isRegularFile</span><span class='hs-layout'>,</span> <span class='hs-varid'>isDirectory</span><span class='hs-layout'>,</span> <span class='hs-varid'>isSymbolicLink</span>
<a name="line-58"></a>        <span class='hs-layout'>)</span>
<a name="line-59"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span> <span class='hs-varid'>catMaybes</span><span class='hs-layout'>,</span> <span class='hs-varid'>isJust</span><span class='hs-layout'>,</span> <span class='hs-varid'>maybeToList</span> <span class='hs-layout'>)</span>
<a name="line-60"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span> <span class='hs-layout'>(</span><span class='hs-conid'>Map</span><span class='hs-layout'>)</span>
<a name="line-61"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Map</span>
<a name="line-62"></a>
<a name="line-63"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Darcs</span><span class='hs-varop'>.</span><span class='hs-conid'>SignalHandler</span> <span class='hs-layout'>(</span> <span class='hs-varid'>tryNonSignal</span> <span class='hs-layout'>)</span>
<a name="line-64"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Darcs</span><span class='hs-varop'>.</span><span class='hs-conid'>CheckFileSystem</span> <span class='hs-layout'>(</span> <span class='hs-varid'>can_I_use_mmap</span> <span class='hs-layout'>)</span>
<a name="line-65"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Darcs</span><span class='hs-varop'>.</span><span class='hs-conid'>IO</span> <span class='hs-layout'>(</span> <span class='hs-conid'>ReadableDirectory</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>WriteableDirectory</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span> <span class='hs-layout'>)</span>
<a name="line-66"></a>
<a name="line-67"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ByteStringUtils</span>
<a name="line-68"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>B</span>
<a name="line-69"></a>
<a name="line-70"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Darcs</span><span class='hs-varop'>.</span><span class='hs-conid'>Patch</span><span class='hs-varop'>.</span><span class='hs-conid'>FileName</span> <span class='hs-layout'>(</span> <span class='hs-conid'>FileName</span><span class='hs-layout'>,</span> <span class='hs-varid'>fn2fp</span><span class='hs-layout'>,</span> <span class='hs-varid'>fp2fn</span><span class='hs-layout'>,</span> <span class='hs-varid'>norm_path</span><span class='hs-layout'>,</span> <span class='hs-varid'>break_on_dir</span><span class='hs-layout'>,</span>
<a name="line-71"></a>                              <span class='hs-varid'>own_name</span><span class='hs-layout'>,</span> <span class='hs-varid'>superName</span> <span class='hs-layout'>)</span>
<a name="line-72"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>Posix</span><span class='hs-varop'>.</span><span class='hs-conid'>Types</span> <span class='hs-layout'>(</span> <span class='hs-conid'>FileOffset</span> <span class='hs-layout'>)</span>
<a name="line-73"></a>
<a name="line-74"></a><span class='hs-cpp'>#include "impossible.h"</span>
<a name="line-75"></a>
<a name="line-76"></a><a name="Slurpy"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Slurpy</span> <span class='hs-varop'>!</span><span class='hs-conid'>FileName</span> <span class='hs-varop'>!</span><span class='hs-conid'>SlurpyContents</span>
<a name="line-77"></a>
<a name="line-78"></a><a name="slurpy_to_pair"></a><span class='hs-definition'>slurpy_to_pair</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-layout'>(</span><span class='hs-conid'>FileName</span><span class='hs-layout'>,</span> <span class='hs-conid'>SlurpyContents</span><span class='hs-layout'>)</span>
<a name="line-79"></a><span class='hs-definition'>slurpy_to_pair</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>fn</span> <span class='hs-varid'>sc</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>fn</span><span class='hs-layout'>,</span> <span class='hs-varid'>sc</span><span class='hs-layout'>)</span>
<a name="line-80"></a>
<a name="line-81"></a><a name="pair_to_slurpy"></a><span class='hs-definition'>pair_to_slurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>FileName</span><span class='hs-layout'>,</span> <span class='hs-conid'>SlurpyContents</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span>
<a name="line-82"></a><span class='hs-definition'>pair_to_slurpy</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uncurry</span> <span class='hs-conid'>Slurpy</span>
<a name="line-83"></a>
<a name="line-84"></a><a name="SlurpyMap"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>SlurpyMap</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Map</span> <span class='hs-conid'>FileName</span> <span class='hs-conid'>SlurpyContents</span>
<a name="line-85"></a>
<a name="line-86"></a><a name="slurpies_to_map"></a><span class='hs-definition'>slurpies_to_map</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Slurpy</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpyMap</span>
<a name="line-87"></a><span class='hs-definition'>slurpies_to_map</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>fromList</span> <span class='hs-varop'>.</span> <span class='hs-varid'>map</span> <span class='hs-varid'>slurpy_to_pair</span>
<a name="line-88"></a>
<a name="line-89"></a><a name="map_to_slurpies"></a><span class='hs-definition'>map_to_slurpies</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>SlurpyMap</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Slurpy</span><span class='hs-keyglyph'>]</span>
<a name="line-90"></a><span class='hs-definition'>map_to_slurpies</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>pair_to_slurpy</span> <span class='hs-varop'>.</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>toList</span>
<a name="line-91"></a>
<a name="line-92"></a><a name="SlurpyContents"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>SlurpyContents</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>SlurpDir</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <span class='hs-conid'>SlurpyMap</span>
<a name="line-93"></a>                    <span class='hs-keyglyph'>|</span> <span class='hs-conid'>SlurpFile</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-conid'>String</span><span class='hs-layout'>,</span><span class='hs-conid'>EpochTime</span><span class='hs-layout'>,</span><span class='hs-conid'>FileOffset</span><span class='hs-layout'>)</span> <span class='hs-conid'>FileContents</span>
<a name="line-94"></a><a name="FileContents"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>FileContents</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span>
<a name="line-95"></a>
<a name="line-96"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Show</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>where</span>
<a name="line-97"></a>    <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>fn</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-98"></a>        <span class='hs-str'>"Dir "</span> <span class='hs-varop'>++</span> <span class='hs-layout'>(</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>fn</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\n"</span> <span class='hs-varop'>++</span>
<a name="line-99"></a>              <span class='hs-varid'>concat</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>show</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map_to_slurpies</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-str'>"End Dir "</span> <span class='hs-varop'>++</span> <span class='hs-layout'>(</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>fn</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\n"</span>
<a name="line-100"></a>    <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>fn</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"File "</span> <span class='hs-varop'>++</span> <span class='hs-layout'>(</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>fn</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\n"</span>
<a name="line-101"></a>
<a name="line-102"></a><a name="mapSlurpyNames"></a><span class='hs-definition'>mapSlurpyNames</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FileName</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span>
<a name="line-103"></a><span class='hs-definition'>mapSlurpyNames</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>onSlurpy</span>
<a name="line-104"></a>  <span class='hs-keyword'>where</span> <span class='hs-varid'>onSlurpy</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>fn</span> <span class='hs-varid'>sc</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Slurpy</span> <span class='hs-layout'>(</span><span class='hs-varid'>f</span> <span class='hs-varid'>fn</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>onSlurpyContents</span> <span class='hs-varid'>sc</span><span class='hs-layout'>)</span>
<a name="line-105"></a>        <span class='hs-varid'>onSlurpyContents</span> <span class='hs-varid'>sf</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>sf</span>
<a name="line-106"></a>        <span class='hs-varid'>onSlurpyContents</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-varid'>x</span> <span class='hs-varid'>sm</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>SlurpDir</span> <span class='hs-varid'>x</span> <span class='hs-varop'>.</span> <span class='hs-varid'>slurpies_to_map</span> <span class='hs-varop'>.</span> <span class='hs-varid'>map</span> <span class='hs-varid'>onSlurpy</span> <span class='hs-varop'>.</span> <span class='hs-varid'>map_to_slurpies</span> <span class='hs-varop'>$</span> <span class='hs-varid'>sm</span>
<a name="line-107"></a>
<a name="line-108"></a><a name="slurp"></a><span class='hs-definition'>slurp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePathLike</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Slurpy</span>
<a name="line-109"></a><a name="mmap_slurp"></a><span class='hs-definition'>mmap_slurp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Slurpy</span>
<a name="line-110"></a><a name="slurp_unboring"></a><span class='hs-definition'>slurp_unboring</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>FilePath</span><span class='hs-keyglyph'>-&gt;</span><span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Slurpy</span>
<a name="line-111"></a><a name="empty_slurpy"></a><span class='hs-definition'>empty_slurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span>
<a name="line-112"></a><span class='hs-definition'>empty_slurpy</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Slurpy</span> <span class='hs-layout'>(</span><span class='hs-varid'>fp2fn</span> <span class='hs-str'>"."</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-conid'>Nothing</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span><span class='hs-layout'>)</span>
<a name="line-113"></a><a name="slurp_name"></a><span class='hs-definition'>slurp_name</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span>
<a name="line-114"></a><a name="is_file"></a><span class='hs-definition'>is_file</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-115"></a><a name="is_dir"></a><span class='hs-definition'>is_dir</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-116"></a>
<a name="line-117"></a><a name="get_filecontents"></a><span class='hs-definition'>get_filecontents</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FileContents</span>
<a name="line-118"></a><a name="get_dircontents"></a><span class='hs-definition'>get_dircontents</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Slurpy</span><span class='hs-keyglyph'>]</span>
<a name="line-119"></a><a name="get_mtime"></a><span class='hs-definition'>get_mtime</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>EpochTime</span>
<a name="line-120"></a><a name="get_length"></a><span class='hs-definition'>get_length</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FileOffset</span>
<a name="line-121"></a>
<a name="line-122"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Eq</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>where</span>
<a name="line-123"></a>    <span class='hs-varid'>s1</span> <span class='hs-varop'>==</span> <span class='hs-varid'>s2</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurp_name</span> <span class='hs-varid'>s1</span><span class='hs-layout'>)</span> <span class='hs-varop'>==</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurp_name</span> <span class='hs-varid'>s2</span><span class='hs-layout'>)</span>
<a name="line-124"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ord</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>where</span>
<a name="line-125"></a>    <span class='hs-varid'>s1</span> <span class='hs-varop'>&lt;=</span> <span class='hs-varid'>s2</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurp_name</span> <span class='hs-varid'>s1</span><span class='hs-layout'>)</span> <span class='hs-varop'>&lt;=</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurp_name</span> <span class='hs-varid'>s2</span><span class='hs-layout'>)</span>
<a name="line-126"></a>
<a name="line-127"></a><a name="SlurpMonad"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>SM</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Either</span> <span class='hs-conid'>String</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>)</span>
<a name="line-128"></a>                        <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Either</span> <span class='hs-conid'>String</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span><span class='hs-layout'>,</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-129"></a><a name="mksm"></a><span class='hs-definition'>mksm</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Either</span> <span class='hs-conid'>String</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span><span class='hs-layout'>,</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-varid'>a</span>
<a name="line-130"></a><span class='hs-definition'>mksm</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>SM</span> <span class='hs-varid'>sm</span> <span class='hs-keyword'>where</span> <span class='hs-varid'>sm</span> <span class='hs-layout'>(</span><span class='hs-conid'>Left</span> <span class='hs-varid'>e</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Left</span> <span class='hs-varid'>e</span>
<a name="line-131"></a>                     <span class='hs-varid'>sm</span> <span class='hs-layout'>(</span><span class='hs-conid'>Right</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-varid'>s</span>
<a name="line-132"></a>
<a name="line-133"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Functor</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-keyword'>where</span>
<a name="line-134"></a>    <span class='hs-varid'>fmap</span> <span class='hs-varid'>f</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>m</span> <span class='hs-varop'>&gt;&gt;=</span> <span class='hs-varid'>return</span> <span class='hs-varop'>.</span> <span class='hs-varid'>f</span>
<a name="line-135"></a>
<a name="line-136"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Monad</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-keyword'>where</span>
<a name="line-137"></a>    <span class='hs-layout'>(</span><span class='hs-conid'>SM</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <span class='hs-varop'>&gt;&gt;=</span> <span class='hs-varid'>k</span>  <span class='hs-keyglyph'>=</span>  <span class='hs-conid'>SM</span> <span class='hs-varid'>sm</span>
<a name="line-138"></a>        <span class='hs-keyword'>where</span> <span class='hs-varid'>sm</span> <span class='hs-varid'>e</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-keyword'>of</span>
<a name="line-139"></a>                     <span class='hs-conid'>Left</span> <span class='hs-varid'>er</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varid'>er</span>
<a name="line-140"></a>                     <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>k</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>of</span>
<a name="line-141"></a>                                     <span class='hs-layout'>(</span><span class='hs-conid'>SM</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>q</span> <span class='hs-layout'>(</span><span class='hs-conid'>Right</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-142"></a>    <span class='hs-varid'>return</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>SM</span> <span class='hs-layout'>(</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-143"></a>                          <span class='hs-conid'>Left</span> <span class='hs-varid'>e</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varid'>e</span>
<a name="line-144"></a>                          <span class='hs-conid'>Right</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-layout'>)</span>
<a name="line-145"></a>    <span class='hs-varid'>fail</span> <span class='hs-varid'>e</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>SM</span> <span class='hs-layout'>(</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-146"></a>                        <span class='hs-conid'>Left</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varid'>x</span>
<a name="line-147"></a>                        <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varid'>e</span> <span class='hs-layout'>)</span>
<a name="line-148"></a>
<a name="line-149"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>MonadPlus</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-keyword'>where</span>
<a name="line-150"></a>    <span class='hs-varid'>mzero</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fail</span> <span class='hs-str'>"SlurpMonad mzero"</span>
<a name="line-151"></a>    <span class='hs-layout'>(</span><span class='hs-conid'>SM</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <span class='hs-varop'>`mplus`</span> <span class='hs-layout'>(</span><span class='hs-conid'>SM</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>SM</span> <span class='hs-varid'>sm</span>
<a name="line-152"></a>        <span class='hs-keyword'>where</span> <span class='hs-varid'>sm</span> <span class='hs-varid'>e</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>p</span> <span class='hs-varid'>e</span> <span class='hs-keyword'>of</span>
<a name="line-153"></a>                     <span class='hs-conid'>Left</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>q</span> <span class='hs-varid'>e</span>
<a name="line-154"></a>                     <span class='hs-varid'>okay</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>okay</span>
<a name="line-155"></a>
<a name="line-156"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>ReadableDirectory</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-keyword'>where</span>
<a name="line-157"></a>    <span class='hs-varid'>mDoesDirectoryExist</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smDoesDirectoryExist</span> <span class='hs-varid'>d</span>
<a name="line-158"></a>    <span class='hs-varid'>mDoesFileExist</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smDoesFileExist</span> <span class='hs-varid'>f</span>
<a name="line-159"></a>    <span class='hs-varid'>mInCurrentDirectory</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smInSlurpy</span>
<a name="line-160"></a>    <span class='hs-varid'>mGetDirectoryContents</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smGetDirContents</span>
<a name="line-161"></a>    <span class='hs-varid'>mReadFilePS</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smReadFilePS</span>
<a name="line-162"></a>    <span class='hs-varid'>mReadFilePSs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smReadFilePSs</span>
<a name="line-163"></a>
<a name="line-164"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>WriteableDirectory</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-keyword'>where</span>
<a name="line-165"></a>    <span class='hs-varid'>mWithCurrentDirectory</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>modifySubSlurpy</span>
<a name="line-166"></a>    <span class='hs-varid'>mSetFileExecutable</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span>
<a name="line-167"></a>    <span class='hs-varid'>mWriteFilePS</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smWriteFilePS</span>
<a name="line-168"></a>    <span class='hs-varid'>mCreateDirectory</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smCreateDirectory</span>
<a name="line-169"></a>    <span class='hs-varid'>mRename</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smRename</span>
<a name="line-170"></a>    <span class='hs-varid'>mRemoveDirectory</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smRemoveDirectory</span>
<a name="line-171"></a>    <span class='hs-varid'>mRemoveFile</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>smRemoveFile</span>
<a name="line-172"></a>
<a name="line-173"></a><a name="write_file"></a><span class='hs-definition'>write_file</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span>
<a name="line-174"></a><span class='hs-definition'>write_file</span> <span class='hs-varid'>s</span> <span class='hs-varid'>fn</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>withSlurpy</span> <span class='hs-varid'>s</span> <span class='hs-varop'>$</span> <span class='hs-varid'>smReadFilePS</span> <span class='hs-varid'>fn</span> <span class='hs-keyword'>of</span>
<a name="line-175"></a>                     <span class='hs-conid'>Left</span> <span class='hs-varid'>err</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>fail</span> <span class='hs-varid'>err</span>
<a name="line-176"></a>                     <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyword'>do</span>
<a name="line-177"></a>                       <span class='hs-varid'>ensureDirectories</span> <span class='hs-layout'>(</span><span class='hs-varid'>superName</span> <span class='hs-varid'>fn</span><span class='hs-layout'>)</span>
<a name="line-178"></a>                       <span class='hs-varid'>mWriteFilePS</span> <span class='hs-varid'>fn</span> <span class='hs-varid'>c</span>
<a name="line-179"></a>                       
<a name="line-180"></a><a name="try_write_file"></a><span class='hs-definition'>try_write_file</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span>
<a name="line-181"></a><span class='hs-definition'>try_write_file</span> <span class='hs-varid'>s</span> <span class='hs-varid'>fp</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>fn</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fp2fn</span> <span class='hs-varid'>fp</span> <span class='hs-keyword'>in</span>
<a name="line-182"></a>  <span class='hs-keyword'>if</span> <span class='hs-varid'>slurp_hasfile</span> <span class='hs-varid'>fn</span> <span class='hs-varid'>s</span>
<a name="line-183"></a>      <span class='hs-keyword'>then</span> <span class='hs-varid'>write_file</span> <span class='hs-varid'>s</span> <span class='hs-varid'>fn</span>
<a name="line-184"></a>      <span class='hs-keyword'>else</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>slurp_hasdir</span> <span class='hs-varid'>fn</span> <span class='hs-varid'>s</span>
<a name="line-185"></a>               <span class='hs-keyword'>then</span> <span class='hs-varid'>ensureDirectories</span> <span class='hs-varid'>fn</span>
<a name="line-186"></a>               <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span>
<a name="line-187"></a>
<a name="line-188"></a><a name="ensureDirectories"></a><span class='hs-definition'>ensureDirectories</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>WriteableDirectory</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>m</span> <span class='hs-conid'>()</span>
<a name="line-189"></a><span class='hs-definition'>ensureDirectories</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-190"></a>          <span class='hs-varid'>isPar</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>mDoesDirectoryExist</span> <span class='hs-varid'>d</span>
<a name="line-191"></a>          <span class='hs-keyword'>if</span> <span class='hs-varid'>isPar</span> 
<a name="line-192"></a>            <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span>
<a name="line-193"></a>            <span class='hs-keyword'>else</span> <span class='hs-varid'>ensureDirectories</span> <span class='hs-layout'>(</span><span class='hs-varid'>superName</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span> <span class='hs-varop'>&gt;&gt;</span> <span class='hs-layout'>(</span><span class='hs-varid'>mCreateDirectory</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span>
<a name="line-194"></a>
<a name="line-195"></a><a name="write_files"></a><span class='hs-definition'>write_files</span> <span class='hs-keyglyph'>::</span>  <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FilePath</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span>
<a name="line-196"></a><span class='hs-definition'>write_files</span> <span class='hs-varid'>s</span> <span class='hs-varid'>fps</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mapM_</span> <span class='hs-layout'>(</span><span class='hs-varid'>try_write_file</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-varid'>fps</span>
<a name="line-197"></a>
<a name="line-198"></a><a name="writeSlurpy"></a><span class='hs-comment'>-- don't overwrite non-empty directories unless explicitly asked by</span>
<a name="line-199"></a><span class='hs-comment'>-- being passed "." (which always exists)</span>
<a name="line-200"></a><span class='hs-definition'>writeSlurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span>
<a name="line-201"></a><span class='hs-definition'>writeSlurpy</span> <span class='hs-varid'>s</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-202"></a>  <span class='hs-varid'>when</span> <span class='hs-layout'>(</span><span class='hs-varid'>d</span> <span class='hs-varop'>/=</span> <span class='hs-str'>"."</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>createDirectory</span> <span class='hs-varid'>d</span>
<a name="line-203"></a>  <span class='hs-varid'>withCurrentDirectory</span> <span class='hs-varid'>d</span> <span class='hs-varop'>$</span> <span class='hs-varid'>write_files</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-varid'>list_slurpy</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-204"></a>
<a name="line-205"></a><a name="withSlurpy"></a><span class='hs-definition'>withSlurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Either</span> <span class='hs-conid'>String</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span><span class='hs-layout'>,</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span>
<a name="line-206"></a><span class='hs-definition'>withSlurpy</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-conid'>SM</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Right</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-207"></a>
<a name="line-208"></a><a name="smDoesDirectoryExist"></a><span class='hs-definition'>smDoesDirectoryExist</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>Bool</span>
<a name="line-209"></a><span class='hs-definition'>smDoesDirectoryExist</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-layout'>(</span><span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>slurp_hasdir</span> <span class='hs-varid'>d</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-210"></a>
<a name="line-211"></a><a name="smDoesFileExist"></a><span class='hs-definition'>smDoesFileExist</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>Bool</span>
<a name="line-212"></a><span class='hs-definition'>smDoesFileExist</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-layout'>(</span><span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>slurp_hasfile</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-213"></a>
<a name="line-214"></a><a name="smInSlurpy"></a><span class='hs-comment'>-- smInSlurpy doesn't make any changes to the subdirectory.</span>
<a name="line-215"></a><span class='hs-definition'>smInSlurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-varid'>a</span>
<a name="line-216"></a><span class='hs-definition'>smInSlurpy</span> <span class='hs-varid'>d</span> <span class='hs-varid'>job</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varid'>sm</span>
<a name="line-217"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>sm</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>get_slurp</span> <span class='hs-varid'>d</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-218"></a>                 <span class='hs-conid'>Just</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>is_dir</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>withSlurpy</span> <span class='hs-varid'>s'</span> <span class='hs-varid'>job</span> <span class='hs-keyword'>of</span>
<a name="line-219"></a>                                        <span class='hs-conid'>Left</span> <span class='hs-varid'>e</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varid'>e</span>
<a name="line-220"></a>                                        <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span>
<a name="line-221"></a>                 <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varop'>$</span> <span class='hs-str'>"smInSlurpy:  Couldn't find directory "</span> <span class='hs-varop'>++</span>
<a name="line-222"></a>                             <span class='hs-varid'>formatPath</span> <span class='hs-layout'>(</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span>
<a name="line-223"></a>
<a name="line-224"></a><a name="fromSlurpFile"></a><span class='hs-definition'>fromSlurpFile</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-varid'>a</span>
<a name="line-225"></a><span class='hs-definition'>fromSlurpFile</span> <span class='hs-varid'>f</span> <span class='hs-varid'>job</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varid'>sm</span>
<a name="line-226"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>sm</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>get_slurp</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-227"></a>                 <span class='hs-conid'>Just</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>is_file</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>job</span> <span class='hs-varid'>s'</span><span class='hs-layout'>)</span>
<a name="line-228"></a>                 <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varop'>$</span> <span class='hs-str'>"fromSlurpFile:  Couldn't find file "</span> <span class='hs-varop'>++</span>
<a name="line-229"></a>                             <span class='hs-varid'>formatPath</span> <span class='hs-layout'>(</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span>
<a name="line-230"></a>
<a name="line-231"></a><a name="modifySubSlurpy"></a><span class='hs-definition'>modifySubSlurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-varid'>a</span>
<a name="line-232"></a><span class='hs-definition'>modifySubSlurpy</span> <span class='hs-varid'>d</span> <span class='hs-varid'>job</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varid'>sm</span>
<a name="line-233"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>sm</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>get_slurp_context</span> <span class='hs-varid'>d</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-234"></a>                 <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span><span class='hs-layout'>,</span> <span class='hs-varid'>sub</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-235"></a>                     <span class='hs-keyword'>case</span> <span class='hs-varid'>withSlurpy</span> <span class='hs-varid'>sub</span> <span class='hs-varid'>job</span> <span class='hs-keyword'>of</span>
<a name="line-236"></a>                     <span class='hs-conid'>Left</span> <span class='hs-varid'>e</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varid'>e</span>
<a name="line-237"></a>                     <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>sub'</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span> <span class='hs-varid'>sub'</span><span class='hs-layout'>,</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span>
<a name="line-238"></a>                 <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varop'>$</span> <span class='hs-str'>"modifySubSlurpy:  Couldn't find directory "</span> <span class='hs-varop'>++</span>
<a name="line-239"></a>                             <span class='hs-varid'>formatPath</span> <span class='hs-layout'>(</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span>
<a name="line-240"></a>
<a name="line-241"></a><a name="modifyFileSlurpy"></a><span class='hs-definition'>modifyFileSlurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>()</span>
<a name="line-242"></a><span class='hs-definition'>modifyFileSlurpy</span> <span class='hs-varid'>f</span> <span class='hs-varid'>job</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varid'>sm</span>
<a name="line-243"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>sm</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>get_slurp_context</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-244"></a>                 <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span><span class='hs-layout'>,</span> <span class='hs-varid'>sf</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span> <span class='hs-varop'>$</span> <span class='hs-varid'>job</span> <span class='hs-varid'>sf</span><span class='hs-layout'>,</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span>
<a name="line-245"></a>                 <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varop'>$</span> <span class='hs-str'>"modifyFileSlurpy:  Couldn't find file "</span> <span class='hs-varop'>++</span>
<a name="line-246"></a>                             <span class='hs-varid'>formatPath</span> <span class='hs-layout'>(</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span>
<a name="line-247"></a>
<a name="line-248"></a><a name="insertSlurpy"></a><span class='hs-definition'>insertSlurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>()</span>
<a name="line-249"></a><span class='hs-definition'>insertSlurpy</span> <span class='hs-varid'>f</span> <span class='hs-varid'>news</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-250"></a>                      <span class='hs-keyword'>if</span> <span class='hs-varid'>slurp_hasfile</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-varop'>||</span> <span class='hs-varid'>slurp_hasdir</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-varop'>||</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurp_hasdir</span> <span class='hs-layout'>(</span><span class='hs-varid'>superName</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-251"></a>                      <span class='hs-keyword'>then</span> <span class='hs-conid'>Left</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Error creating file "</span><span class='hs-varop'>++</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f</span>
<a name="line-252"></a>                      <span class='hs-keyword'>else</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>addslurp</span> <span class='hs-varid'>f</span> <span class='hs-varid'>news</span> <span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span>
<a name="line-253"></a>
<a name="line-254"></a><a name="smReadFilePS"></a><span class='hs-definition'>smReadFilePS</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span>
<a name="line-255"></a><span class='hs-definition'>smReadFilePS</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromSlurpFile</span> <span class='hs-varid'>f</span> <span class='hs-varid'>get_filecontents</span>
<a name="line-256"></a>
<a name="line-257"></a><a name="smReadFilePSs"></a><span class='hs-definition'>smReadFilePSs</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-keyglyph'>]</span>
<a name="line-258"></a><span class='hs-definition'>smReadFilePSs</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromSlurpFile</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-varid'>linesPS</span> <span class='hs-varop'>.</span> <span class='hs-varid'>get_filecontents</span><span class='hs-layout'>)</span>
<a name="line-259"></a>
<a name="line-260"></a><a name="smGetDirContents"></a><span class='hs-definition'>smGetDirContents</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FileName</span><span class='hs-keyglyph'>]</span>
<a name="line-261"></a><span class='hs-definition'>smGetDirContents</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>map</span> <span class='hs-varid'>slurp_fn</span> <span class='hs-varop'>$</span> <span class='hs-varid'>get_dircontents</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-262"></a>
<a name="line-263"></a><a name="smWriteFilePS"></a><span class='hs-definition'>smWriteFilePS</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>()</span>
<a name="line-264"></a><span class='hs-definition'>smWriteFilePS</span> <span class='hs-varid'>f</span> <span class='hs-varid'>ps</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-- this implementation could be made rather more direct</span>
<a name="line-265"></a>                     <span class='hs-comment'>-- and limited to a single pass down the Slurpy</span>
<a name="line-266"></a>                     <span class='hs-varid'>modifyFileSlurpy</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>sl</span><span class='hs-layout'>)</span>
<a name="line-267"></a>                     <span class='hs-varop'>`mplus`</span> <span class='hs-varid'>insertSlurpy</span> <span class='hs-varid'>f</span> <span class='hs-varid'>sl</span>
<a name="line-268"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>sl</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Slurpy</span> <span class='hs-layout'>(</span><span class='hs-varid'>own_name</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-varid'>undef_time_size</span> <span class='hs-varid'>ps</span><span class='hs-layout'>)</span>
<a name="line-269"></a>
<a name="line-270"></a><a name="smCreateDirectory"></a><span class='hs-definition'>smCreateDirectory</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>()</span>
<a name="line-271"></a><span class='hs-definition'>smCreateDirectory</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varid'>sm</span>
<a name="line-272"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>sm</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>slurp_adddir</span> <span class='hs-varid'>a</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-273"></a>                 <span class='hs-conid'>Just</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>s'</span><span class='hs-layout'>,</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span>
<a name="line-274"></a>                 <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Error creating directory "</span><span class='hs-varop'>++</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>a</span>
<a name="line-275"></a>
<a name="line-276"></a><a name="smRename"></a><span class='hs-definition'>smRename</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>()</span>
<a name="line-277"></a><span class='hs-definition'>smRename</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varid'>sm</span>
<a name="line-278"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>sm</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>slurp_move</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-279"></a>                 <span class='hs-conid'>Just</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>s'</span><span class='hs-layout'>,</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span>
<a name="line-280"></a>                 <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> 
<a name="line-281"></a>                     <span class='hs-comment'>-- Workaround for some old patches having moves when the source file doesn't exist.</span>
<a name="line-282"></a>                     <span class='hs-keyword'>if</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurp_has</span> <span class='hs-layout'>(</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-283"></a>                         <span class='hs-keyword'>then</span> <span class='hs-conid'>Left</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Error moving "</span><span class='hs-varop'>++</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>a</span><span class='hs-varop'>++</span><span class='hs-str'>" to "</span><span class='hs-varop'>++</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>b</span>
<a name="line-284"></a>                         <span class='hs-keyword'>else</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span>
<a name="line-285"></a>
<a name="line-286"></a><a name="smRemove"></a><span class='hs-definition'>smRemove</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>()</span>
<a name="line-287"></a><span class='hs-definition'>smRemove</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mksm</span> <span class='hs-varid'>sm</span>
<a name="line-288"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>sm</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>slurp_remove</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-289"></a>                 <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Left</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f</span><span class='hs-varop'>++</span><span class='hs-str'>" does not exist."</span>
<a name="line-290"></a>                 <span class='hs-conid'>Just</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Right</span> <span class='hs-layout'>(</span><span class='hs-varid'>s'</span><span class='hs-layout'>,</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span>
<a name="line-291"></a>
<a name="line-292"></a><a name="smRemoveFile"></a><span class='hs-definition'>smRemoveFile</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>()</span>
<a name="line-293"></a><span class='hs-definition'>smRemoveFile</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span>
<a name="line-294"></a>    <span class='hs-keyword'>do</span> <span class='hs-varid'>exists</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>mDoesFileExist</span> <span class='hs-varid'>f</span>
<a name="line-295"></a>       <span class='hs-keyword'>if</span> <span class='hs-varid'>exists</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>smRemove</span> <span class='hs-varid'>f</span>
<a name="line-296"></a>                 <span class='hs-keyword'>else</span> <span class='hs-varid'>fail</span> <span class='hs-varop'>$</span> <span class='hs-str'>"File "</span><span class='hs-varop'>++</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f</span><span class='hs-varop'>++</span><span class='hs-str'>" does not exist."</span>
<a name="line-297"></a>
<a name="line-298"></a><a name="smRemoveDirectory"></a><span class='hs-definition'>smRemoveDirectory</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpMonad</span> <span class='hs-conid'>()</span>
<a name="line-299"></a><span class='hs-definition'>smRemoveDirectory</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span>
<a name="line-300"></a>    <span class='hs-keyword'>do</span> <span class='hs-varid'>exists</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>mDoesDirectoryExist</span> <span class='hs-varid'>f</span>
<a name="line-301"></a>       <span class='hs-keyword'>if</span> <span class='hs-varid'>exists</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>smRemove</span> <span class='hs-varid'>f</span>
<a name="line-302"></a>                 <span class='hs-keyword'>else</span> <span class='hs-varid'>fail</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Directory "</span><span class='hs-varop'>++</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f</span><span class='hs-varop'>++</span><span class='hs-str'>" does not exist."</span>
<a name="line-303"></a>
<a name="line-304"></a><span class='hs-comment'>-- | Here are a few access functions.</span>
<a name="line-305"></a><span class='hs-definition'>slurp_name</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fn2fp</span> <span class='hs-varid'>n</span>
<a name="line-306"></a><a name="slurp_fn"></a><span class='hs-definition'>slurp_fn</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FileName</span>
<a name="line-307"></a><span class='hs-definition'>slurp_fn</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>n</span>
<a name="line-308"></a><a name="slurp_setname"></a><span class='hs-definition'>slurp_setname</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span>
<a name="line-309"></a><span class='hs-definition'>slurp_setname</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Slurpy</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span>
<a name="line-310"></a>
<a name="line-311"></a><span class='hs-definition'>is_file</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-312"></a><span class='hs-definition'>is_file</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-313"></a>
<a name="line-314"></a><span class='hs-definition'>is_dir</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-315"></a><span class='hs-definition'>is_dir</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-316"></a>
<a name="line-317"></a><span class='hs-definition'>get_filecontents</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>c</span>
<a name="line-318"></a><span class='hs-definition'>get_filecontents</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>bug</span> <span class='hs-str'>"Can't get_filecontents on SlurpDir."</span>
<a name="line-319"></a>
<a name="line-320"></a><span class='hs-definition'>get_dircontents</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map_to_slurpies</span> <span class='hs-varid'>c</span>
<a name="line-321"></a><span class='hs-definition'>get_dircontents</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>bug</span> <span class='hs-str'>"Can't get_dircontents on SlurpFile."</span>
<a name="line-322"></a>
<a name="line-323"></a><span class='hs-definition'>get_mtime</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-varid'>t</span><span class='hs-layout'>,</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>t</span>
<a name="line-324"></a><span class='hs-definition'>get_mtime</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>bug</span> <span class='hs-str'>"can't get_mtime on SlurpDir."</span>
<a name="line-325"></a><span class='hs-definition'>get_length</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>l</span>
<a name="line-326"></a><span class='hs-definition'>get_length</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>bug</span> <span class='hs-str'>"can't get_length on SlurpDir."</span>
<a name="line-327"></a>
<a name="line-328"></a><a name="undefined_time"></a><span class='hs-definition'>undefined_time</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>EpochTime</span>
<a name="line-329"></a><span class='hs-definition'>undefined_time</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-</span><span class='hs-num'>1</span>
<a name="line-330"></a><a name="undefined_size"></a><span class='hs-definition'>undefined_size</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileOffset</span>
<a name="line-331"></a><span class='hs-definition'>undefined_size</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-</span><span class='hs-num'>1</span>
<a name="line-332"></a><a name="undef_time_size"></a><span class='hs-definition'>undef_time_size</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>EpochTime</span><span class='hs-layout'>,</span> <span class='hs-conid'>FileOffset</span><span class='hs-layout'>)</span>
<a name="line-333"></a><span class='hs-definition'>undef_time_size</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>Nothing</span><span class='hs-layout'>,</span> <span class='hs-varid'>undefined_time</span><span class='hs-layout'>,</span> <span class='hs-varid'>undefined_size</span><span class='hs-layout'>)</span>
<a name="line-334"></a>
<a name="line-335"></a><a name="isFileReallySymlink"></a><span class='hs-definition'>isFileReallySymlink</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Bool</span>
<a name="line-336"></a><span class='hs-definition'>isFileReallySymlink</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>fs</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getSymbolicLinkStatus</span> <span class='hs-varid'>f</span>
<a name="line-337"></a>                           <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>isSymbolicLink</span> <span class='hs-varid'>fs</span><span class='hs-layout'>)</span>
<a name="line-338"></a>
<a name="line-339"></a><a name="doesFileReallyExist"></a><span class='hs-definition'>doesFileReallyExist</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Bool</span>
<a name="line-340"></a><span class='hs-definition'>doesFileReallyExist</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>fs</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getSymbolicLinkStatus</span> <span class='hs-varid'>f</span>
<a name="line-341"></a>                           <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>isRegularFile</span> <span class='hs-varid'>fs</span><span class='hs-layout'>)</span>
<a name="line-342"></a>
<a name="line-343"></a><a name="doesDirectoryReallyExist"></a><span class='hs-definition'>doesDirectoryReallyExist</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Bool</span>
<a name="line-344"></a><span class='hs-definition'>doesDirectoryReallyExist</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>fs</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getSymbolicLinkStatus</span> <span class='hs-varid'>f</span>
<a name="line-345"></a>                                <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>isDirectory</span> <span class='hs-varid'>fs</span><span class='hs-layout'>)</span>
<a name="line-346"></a>
<a name="line-347"></a><span class='hs-comment'>-- |slurp is how we get a slurpy in the first place\ldots</span>
<a name="line-348"></a><span class='hs-definition'>slurp</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>slurp_unboring</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-keyword'>_</span><span class='hs-keyglyph'>-&gt;</span><span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>toPath</span>
<a name="line-349"></a><span class='hs-definition'>mmap_slurp</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>canmmap</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>can_I_use_mmap</span>
<a name="line-350"></a>                  <span class='hs-keyword'>if</span> <span class='hs-varid'>canmmap</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>genslurp</span> <span class='hs-conid'>True</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-keyword'>_</span><span class='hs-keyglyph'>-&gt;</span><span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>d</span>
<a name="line-351"></a>                             <span class='hs-keyword'>else</span> <span class='hs-varid'>genslurp</span> <span class='hs-conid'>False</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-keyword'>_</span><span class='hs-keyglyph'>-&gt;</span><span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>d</span>
<a name="line-352"></a><span class='hs-definition'>slurp_unboring</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>genslurp</span> <span class='hs-conid'>False</span>
<a name="line-353"></a><a name="genslurp"></a><span class='hs-definition'>genslurp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-layout'>(</span><span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span>
<a name="line-354"></a>         <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Slurpy</span>
<a name="line-355"></a><span class='hs-definition'>genslurp</span> <span class='hs-varid'>usemm</span> <span class='hs-varid'>nb</span> <span class='hs-varid'>dirname</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-356"></a>    <span class='hs-varid'>isdir</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>doesDirectoryExist</span> <span class='hs-varid'>dirname</span>
<a name="line-357"></a>    <span class='hs-varid'>ms</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>isdir</span>
<a name="line-358"></a>          <span class='hs-keyword'>then</span> <span class='hs-varid'>withCurrentDirectory</span> <span class='hs-varid'>dirname</span> <span class='hs-varop'>$</span>
<a name="line-359"></a>               <span class='hs-keyword'>do</span> <span class='hs-varid'>actualname</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getCurrentDirectory</span>
<a name="line-360"></a>                  <span class='hs-varid'>genslurp_helper</span> <span class='hs-varid'>usemm</span> <span class='hs-varid'>nb</span> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-varid'>actualname</span><span class='hs-layout'>)</span> <span class='hs-str'>""</span> <span class='hs-str'>"."</span>
<a name="line-361"></a>          <span class='hs-keyword'>else</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>former_dir</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getCurrentDirectory</span>
<a name="line-362"></a>                  <span class='hs-varid'>genslurp_helper</span> <span class='hs-varid'>usemm</span> <span class='hs-varid'>nb</span> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-varid'>former_dir</span><span class='hs-layout'>)</span> <span class='hs-str'>""</span> <span class='hs-varid'>dirname</span>
<a name="line-363"></a>    <span class='hs-keyword'>case</span> <span class='hs-varid'>ms</span> <span class='hs-keyword'>of</span>
<a name="line-364"></a>      <span class='hs-conid'>Just</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>return</span> <span class='hs-varid'>s</span>
<a name="line-365"></a>      <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>fail</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Unable to read directory "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>dirname</span> <span class='hs-varop'>++</span>
<a name="line-366"></a>                 <span class='hs-str'>" (it appears to be neither file nor directory)"</span>
<a name="line-367"></a>
<a name="line-368"></a><a name="unsafeInterleaveMapIO"></a><span class='hs-definition'>unsafeInterleaveMapIO</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span>
<a name="line-369"></a><span class='hs-definition'>unsafeInterleaveMapIO</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-conid'>[]</span>
<a name="line-370"></a><span class='hs-definition'>unsafeInterleaveMapIO</span> <span class='hs-varid'>f</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>
<a name="line-371"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>x'</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span>
<a name="line-372"></a>      <span class='hs-varid'>xs'</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>unsafeInterleaveIO</span> <span class='hs-varop'>$</span> <span class='hs-varid'>unsafeInterleaveMapIO</span> <span class='hs-varid'>f</span> <span class='hs-varid'>xs</span>
<a name="line-373"></a>      <span class='hs-varid'>return</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>
<a name="line-374"></a>
<a name="line-375"></a><a name="genslurp_helper"></a><span class='hs-definition'>genslurp_helper</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-layout'>(</span><span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span>
<a name="line-376"></a>                <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>)</span>
<a name="line-377"></a><span class='hs-definition'>genslurp_helper</span> <span class='hs-varid'>usemm</span> <span class='hs-varid'>nb</span> <span class='hs-varid'>formerdir</span> <span class='hs-varid'>fullpath</span> <span class='hs-varid'>dirname</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-378"></a>    <span class='hs-varid'>fs</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getSymbolicLinkStatus</span> <span class='hs-varid'>fulldirname</span>
<a name="line-379"></a>    <span class='hs-keyword'>if</span> <span class='hs-varid'>isRegularFile</span> <span class='hs-varid'>fs</span>
<a name="line-380"></a>     <span class='hs-keyword'>then</span> <span class='hs-keyword'>do</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>mtime</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>Nothing</span><span class='hs-layout'>,</span> <span class='hs-varid'>modificationTime</span> <span class='hs-varid'>fs</span><span class='hs-layout'>,</span> <span class='hs-varid'>fileSize</span> <span class='hs-varid'>fs</span><span class='hs-layout'>)</span>
<a name="line-381"></a>             <span class='hs-varid'>ls</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>unsafeInterleaveIO</span> <span class='hs-varop'>$</span> <span class='hs-varid'>myReadFileLinesPSetc</span> <span class='hs-varid'>fulldirname</span>
<a name="line-382"></a>             <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Slurpy</span> <span class='hs-layout'>(</span><span class='hs-varid'>fp2fn</span> <span class='hs-varid'>dirname</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-conid'>SlurpFile</span> <span class='hs-varid'>mtime</span> <span class='hs-varid'>ls</span>
<a name="line-383"></a>     <span class='hs-keyword'>else</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>isDirectory</span> <span class='hs-varid'>fs</span> <span class='hs-varop'>||</span> <span class='hs-layout'>(</span><span class='hs-varid'>isSymbolicLink</span> <span class='hs-varid'>fs</span> <span class='hs-varop'>&amp;&amp;</span> <span class='hs-varid'>dirname</span> <span class='hs-varop'>==</span> <span class='hs-str'>"."</span><span class='hs-layout'>)</span>
<a name="line-384"></a>          <span class='hs-keyword'>then</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>sl</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>unsafeInterleaveIO</span> <span class='hs-varop'>$</span>
<a name="line-385"></a>                        <span class='hs-keyword'>do</span> <span class='hs-varid'>fnames</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getDirectoryContents</span> <span class='hs-varid'>fulldirname</span>
<a name="line-386"></a>                           <span class='hs-varid'>unsafeInterleaveMapIO</span>
<a name="line-387"></a>                                             <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>f</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>genslurp_helper</span> <span class='hs-varid'>usemm</span> <span class='hs-varid'>nb</span> <span class='hs-varid'>fulldirname'</span>
<a name="line-388"></a>                                              <span class='hs-layout'>(</span><span class='hs-varid'>fullpath</span><span class='hs-varop'>///</span><span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span>
<a name="line-389"></a>                                             <span class='hs-varop'>$</span> <span class='hs-varid'>filter</span> <span class='hs-layout'>(</span><span class='hs-varid'>nb</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-varid'>fullpath</span><span class='hs-varop'>///</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>filter</span> <span class='hs-varid'>not_hidden</span> <span class='hs-varid'>fnames</span>
<a name="line-390"></a>                  <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Slurpy</span> <span class='hs-layout'>(</span><span class='hs-varid'>fp2fn</span> <span class='hs-varid'>dirname</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-conid'>SlurpDir</span> <span class='hs-conid'>Nothing</span> <span class='hs-varop'>$</span> <span class='hs-varid'>slurpies_to_map</span> <span class='hs-varop'>$</span> <span class='hs-varid'>catMaybes</span> <span class='hs-varid'>sl</span>
<a name="line-391"></a>          <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-conid'>Nothing</span>
<a name="line-392"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>fulldirname'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>formerdir</span><span class='hs-varop'>\\\</span><span class='hs-varid'>dirname</span>
<a name="line-393"></a>          <span class='hs-varid'>fulldirname</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>reverse</span> <span class='hs-varid'>fulldirname'</span>
<a name="line-394"></a>          <span class='hs-varid'>myReadFileLinesPSetc</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>usemm</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>mmapFilePS</span>
<a name="line-395"></a>                                          <span class='hs-keyword'>else</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>readFile</span>
<a name="line-396"></a>
<a name="line-397"></a><a name="not_hidden"></a><span class='hs-definition'>not_hidden</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-398"></a><span class='hs-definition'>not_hidden</span> <span class='hs-str'>"."</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-399"></a><span class='hs-definition'>not_hidden</span> <span class='hs-str'>".."</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-400"></a><span class='hs-definition'>not_hidden</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-401"></a>
<a name="line-402"></a><a name="\\\"></a><span class='hs-layout'>(</span><span class='hs-varop'>\\\</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span>
<a name="line-403"></a><span class='hs-layout'>(</span><span class='hs-varop'>\\\</span><span class='hs-layout'>)</span> <span class='hs-str'>""</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>d</span>
<a name="line-404"></a><span class='hs-layout'>(</span><span class='hs-varop'>\\\</span><span class='hs-layout'>)</span> <span class='hs-varid'>d</span> <span class='hs-str'>"."</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>d</span>
<a name="line-405"></a><span class='hs-layout'>(</span><span class='hs-varop'>\\\</span><span class='hs-layout'>)</span> <span class='hs-varid'>d</span> <span class='hs-varid'>subdir</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>reverse</span> <span class='hs-varid'>subdir</span> <span class='hs-varop'>++</span> <span class='hs-str'>"/"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>d</span>
<a name="line-406"></a>
<a name="line-407"></a><a name="///"></a><span class='hs-layout'>(</span><span class='hs-varop'>///</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span>
<a name="line-408"></a><span class='hs-layout'>(</span><span class='hs-varop'>///</span><span class='hs-layout'>)</span> <span class='hs-str'>""</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>d</span>
<a name="line-409"></a><span class='hs-layout'>(</span><span class='hs-varop'>///</span><span class='hs-layout'>)</span> <span class='hs-varid'>d</span> <span class='hs-str'>"."</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>d</span>
<a name="line-410"></a><span class='hs-layout'>(</span><span class='hs-varop'>///</span><span class='hs-layout'>)</span> <span class='hs-varid'>d</span> <span class='hs-varid'>subdir</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>d</span> <span class='hs-varop'>++</span> <span class='hs-str'>"/"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>subdir</span>
<a name="line-411"></a>
<a name="line-412"></a><a name="co_slurp"></a><span class='hs-definition'>co_slurp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Slurpy</span>
<a name="line-413"></a><span class='hs-definition'>co_slurp</span> <span class='hs-varid'>guide</span> <span class='hs-varid'>dirname</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-414"></a>    <span class='hs-varid'>isdir</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>doesDirectoryExist</span> <span class='hs-varid'>dirname</span>
<a name="line-415"></a>    <span class='hs-keyword'>if</span> <span class='hs-varid'>isdir</span>
<a name="line-416"></a>       <span class='hs-keyword'>then</span> <span class='hs-varid'>withCurrentDirectory</span> <span class='hs-varid'>dirname</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span>
<a name="line-417"></a>              <span class='hs-varid'>actualname</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getCurrentDirectory</span>
<a name="line-418"></a>              <span class='hs-conid'>Just</span> <span class='hs-varid'>slurpy</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>co_slurp_helper</span> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-varid'>actualname</span><span class='hs-layout'>)</span> <span class='hs-varid'>guide</span>
<a name="line-419"></a>              <span class='hs-varid'>return</span> <span class='hs-varid'>slurpy</span>
<a name="line-420"></a>       <span class='hs-keyword'>else</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Error coslurping!!! Please report this."</span>
<a name="line-421"></a>
<a name="line-422"></a><a name="co_slurp_helper"></a><span class='hs-definition'>co_slurp_helper</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>)</span>
<a name="line-423"></a><span class='hs-definition'>co_slurp_helper</span> <span class='hs-varid'>former_dir</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>d</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>unsafeInterleaveIO</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span>
<a name="line-424"></a>    <span class='hs-keyword'>let</span> <span class='hs-varid'>d'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fn2fp</span> <span class='hs-varid'>d</span>
<a name="line-425"></a>        <span class='hs-varid'>fn'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>former_dir</span><span class='hs-varop'>\\\</span><span class='hs-varid'>d'</span>
<a name="line-426"></a>        <span class='hs-varid'>fn</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>reverse</span> <span class='hs-varid'>fn'</span>
<a name="line-427"></a>    <span class='hs-varid'>efs</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>tryNonSignal</span> <span class='hs-varop'>$</span> <span class='hs-varid'>getSymbolicLinkStatus</span> <span class='hs-varid'>fn</span>
<a name="line-428"></a>    <span class='hs-keyword'>case</span> <span class='hs-varid'>efs</span> <span class='hs-keyword'>of</span>
<a name="line-429"></a>        <span class='hs-conid'>Right</span> <span class='hs-varid'>fs</span>
<a name="line-430"></a>         <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isDirectory</span> <span class='hs-varid'>fs</span> <span class='hs-varop'>||</span> <span class='hs-layout'>(</span><span class='hs-varid'>isSymbolicLink</span> <span class='hs-varid'>fs</span> <span class='hs-varop'>&amp;&amp;</span> <span class='hs-varid'>d'</span> <span class='hs-varop'>==</span> <span class='hs-str'>"."</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-431"></a>            <span class='hs-keyword'>do</span> <span class='hs-varid'>sl</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>unsafeInterleaveIO</span>
<a name="line-432"></a>                   <span class='hs-varop'>$</span> <span class='hs-varid'>unsafeInterleaveMapIO</span> <span class='hs-layout'>(</span><span class='hs-varid'>co_slurp_helper</span> <span class='hs-varid'>fn'</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>map_to_slurpies</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span>
<a name="line-433"></a>               <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Slurpy</span> <span class='hs-varid'>d</span> <span class='hs-varop'>$</span> <span class='hs-conid'>SlurpDir</span> <span class='hs-conid'>Nothing</span> <span class='hs-varop'>$</span> <span class='hs-varid'>slurpies_to_map</span> <span class='hs-varop'>$</span> <span class='hs-varid'>catMaybes</span> <span class='hs-varid'>sl</span>
<a name="line-434"></a>        <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>return</span> <span class='hs-conid'>Nothing</span>
<a name="line-435"></a><span class='hs-definition'>co_slurp_helper</span> <span class='hs-varid'>former_dir</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>unsafeInterleaveIO</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span>
<a name="line-436"></a>   <span class='hs-keyword'>let</span> <span class='hs-varid'>fn'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>former_dir</span><span class='hs-varop'>\\\</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f</span>
<a name="line-437"></a>       <span class='hs-varid'>fn</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>reverse</span> <span class='hs-varid'>fn'</span>
<a name="line-438"></a>   <span class='hs-varid'>efs</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>tryNonSignal</span> <span class='hs-varop'>$</span> <span class='hs-varid'>getSymbolicLinkStatus</span> <span class='hs-varid'>fn</span>
<a name="line-439"></a>   <span class='hs-keyword'>case</span> <span class='hs-varid'>efs</span> <span class='hs-keyword'>of</span>
<a name="line-440"></a>       <span class='hs-conid'>Right</span> <span class='hs-varid'>fs</span>
<a name="line-441"></a>        <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isRegularFile</span> <span class='hs-varid'>fs</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-442"></a>           <span class='hs-keyword'>do</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>mtime</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>Nothing</span><span class='hs-layout'>,</span> <span class='hs-varid'>modificationTime</span> <span class='hs-varid'>fs</span><span class='hs-layout'>,</span> <span class='hs-varid'>fileSize</span> <span class='hs-varid'>fs</span><span class='hs-layout'>)</span>
<a name="line-443"></a>              <span class='hs-varid'>ls</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>unsafeInterleaveIO</span> <span class='hs-varop'>$</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>readFile</span> <span class='hs-varid'>fn</span>
<a name="line-444"></a>              <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Slurpy</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-conid'>SlurpFile</span> <span class='hs-varid'>mtime</span> <span class='hs-varid'>ls</span>
<a name="line-445"></a>       <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>return</span> <span class='hs-conid'>Nothing</span>
<a name="line-446"></a>
<a name="line-447"></a><a name="get_slurp_context_generic"></a><span class='hs-definition'>get_slurp_context_generic</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Slurpy</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>)</span>
<a name="line-448"></a><span class='hs-definition'>get_slurp_context_generic</span> <span class='hs-varid'>h1</span> <span class='hs-varid'>h2</span> <span class='hs-varid'>fn0</span> <span class='hs-varid'>s0</span> <span class='hs-keyglyph'>=</span>
<a name="line-449"></a>    <span class='hs-keyword'>let</span> <span class='hs-varid'>norm_fn0</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>norm_path</span> <span class='hs-varid'>fn0</span> <span class='hs-keyword'>in</span>
<a name="line-450"></a>    <span class='hs-keyword'>if</span> <span class='hs-varid'>norm_fn0</span> <span class='hs-varop'>==</span> <span class='hs-varid'>empty</span>
<a name="line-451"></a>        <span class='hs-keyword'>then</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>id</span><span class='hs-layout'>,</span> <span class='hs-varid'>s0</span><span class='hs-layout'>)</span>
<a name="line-452"></a>        <span class='hs-keyword'>else</span> <span class='hs-varid'>slurp_context_private</span> <span class='hs-varid'>norm_fn0</span> <span class='hs-varid'>id</span> <span class='hs-varid'>s0</span>
<a name="line-453"></a>  <span class='hs-keyword'>where</span>
<a name="line-454"></a>    <span class='hs-varid'>slurp_context_private</span> <span class='hs-varid'>f</span> <span class='hs-varid'>ctx</span> <span class='hs-varid'>s</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>f'</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-455"></a>        <span class='hs-keyword'>if</span> <span class='hs-varid'>f</span> <span class='hs-varop'>==</span> <span class='hs-varid'>f'</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span><span class='hs-layout'>,</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-456"></a>        <span class='hs-keyword'>else</span> <span class='hs-conid'>Nothing</span>
<a name="line-457"></a>    <span class='hs-varid'>slurp_context_private</span> <span class='hs-varid'>f</span> <span class='hs-varid'>ctx</span> <span class='hs-varid'>s</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>d</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-458"></a>      <span class='hs-keyglyph'>|</span> <span class='hs-varid'>f</span> <span class='hs-varop'>==</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span><span class='hs-layout'>,</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-459"></a>      <span class='hs-keyglyph'>|</span> <span class='hs-varid'>d</span> <span class='hs-varop'>==</span> <span class='hs-varid'>dot</span> <span class='hs-keyglyph'>=</span>
<a name="line-460"></a>            <span class='hs-keyword'>case</span> <span class='hs-varid'>break_on_dir</span> <span class='hs-varid'>f</span> <span class='hs-keyword'>of</span>
<a name="line-461"></a>                <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>dn</span><span class='hs-layout'>,</span><span class='hs-varid'>fn</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>dn</span> <span class='hs-varop'>==</span> <span class='hs-varid'>dot</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-462"></a>                    <span class='hs-varid'>descend</span> <span class='hs-varid'>fn</span>
<a name="line-463"></a>                <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-464"></a>                    <span class='hs-varid'>descend</span> <span class='hs-varid'>f</span>
<a name="line-465"></a>      <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span>
<a name="line-466"></a>            <span class='hs-keyword'>case</span> <span class='hs-varid'>break_on_dir</span> <span class='hs-varid'>f</span> <span class='hs-keyword'>of</span>
<a name="line-467"></a>                <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>dn</span><span class='hs-layout'>,</span><span class='hs-varid'>fn</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-468"></a>                    <span class='hs-keyword'>if</span> <span class='hs-varid'>dn</span> <span class='hs-varop'>==</span> <span class='hs-varid'>d</span>
<a name="line-469"></a>                        <span class='hs-keyword'>then</span> <span class='hs-varid'>descend</span> <span class='hs-varid'>fn</span>
<a name="line-470"></a>                        <span class='hs-keyword'>else</span> <span class='hs-conid'>Nothing</span>
<a name="line-471"></a>                <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Nothing</span>
<a name="line-472"></a>      <span class='hs-keyword'>where</span>
<a name="line-473"></a>        <span class='hs-varid'>descend</span> <span class='hs-varid'>fname</span> <span class='hs-keyglyph'>=</span>
<a name="line-474"></a>            <span class='hs-keyword'>case</span> <span class='hs-varid'>findSubSlurpy</span> <span class='hs-varid'>fname</span> <span class='hs-varid'>c</span> <span class='hs-keyword'>of</span>
<a name="line-475"></a>                  <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Nothing</span>
<a name="line-476"></a>                  <span class='hs-conid'>Just</span> <span class='hs-varid'>this</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>slurp_context_private</span>
<a name="line-477"></a>                                   <span class='hs-varid'>fname</span>
<a name="line-478"></a>                                   <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span> <span class='hs-varop'>.</span> <span class='hs-varid'>h1</span> <span class='hs-varop'>.</span> <span class='hs-conid'>Slurpy</span> <span class='hs-varid'>d</span> <span class='hs-varop'>.</span> <span class='hs-conid'>SlurpDir</span> <span class='hs-conid'>Nothing</span> <span class='hs-varop'>.</span> <span class='hs-varid'>foldr</span> <span class='hs-layout'>(</span><span class='hs-varid'>uncurry</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>insert</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>delete</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurp_fn</span> <span class='hs-varid'>this</span><span class='hs-layout'>)</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>map</span> <span class='hs-varid'>slurpy_to_pair</span> <span class='hs-varop'>.</span> <span class='hs-varid'>h2</span><span class='hs-layout'>)</span>
<a name="line-479"></a>                                   <span class='hs-varid'>this</span>
<a name="line-480"></a>
<a name="line-481"></a>    <span class='hs-varid'>dot</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fp2fn</span> <span class='hs-str'>"."</span>
<a name="line-482"></a>    <span class='hs-varid'>empty</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fp2fn</span> <span class='hs-str'>""</span>
<a name="line-483"></a>
<a name="line-484"></a><a name="get_slurp_context"></a><span class='hs-comment'>-- |get_slurp_context navigates to a specified filename in the given slurpy,</span>
<a name="line-485"></a><span class='hs-comment'>-- and returns the child slurpy at that point together with a update function that can be used</span>
<a name="line-486"></a><span class='hs-comment'>-- to reconstruct the original slurpy from a replacement value for the child slurpy.</span>
<a name="line-487"></a><span class='hs-definition'>get_slurp_context</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>,</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>)</span>
<a name="line-488"></a><span class='hs-definition'>get_slurp_context</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>get_slurp_context_generic</span> <span class='hs-varid'>id</span> <span class='hs-varid'>return</span>
<a name="line-489"></a>
<a name="line-490"></a><a name="get_slurp_context_maybe"></a><span class='hs-comment'>-- |A variant of 'get_slurp_context' that allows for removing the child slurpy</span>
<a name="line-491"></a><span class='hs-comment'>-- altogether by passing in 'Nothing' to the update function.</span>
<a name="line-492"></a><span class='hs-comment'>-- If the child slurpy happened to be at the top level and 'Nothing' was passed in,</span>
<a name="line-493"></a><span class='hs-comment'>-- then the result of the update function will also be 'Nothing', otherwise it will always</span>
<a name="line-494"></a><span class='hs-comment'>-- be a 'Just' value.</span>
<a name="line-495"></a><span class='hs-definition'>get_slurp_context_maybe</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>,</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>)</span>
<a name="line-496"></a><span class='hs-definition'>get_slurp_context_maybe</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>get_slurp_context_generic</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>maybeToList</span>
<a name="line-497"></a>
<a name="line-498"></a><span class='hs-comment'>-- |A variant of 'get_slurp_context' that allows for replacing the child slurpy by</span>
<a name="line-499"></a><span class='hs-comment'>-- a list of slurpies. The result of the update function will always be a singleton</span>
<a name="line-500"></a><span class='hs-comment'>-- list unless the child slurpy was at the top level.</span>
<a name="line-501"></a><span class='hs-comment'>-- Currently unused.</span>
<a name="line-502"></a><span class='hs-comment'>-- get_slurp_context_list :: FileName -&gt; Slurpy -&gt; Maybe ([Slurpy] -&gt; [Slurpy], Slurpy)</span>
<a name="line-503"></a><span class='hs-comment'>-- get_slurp_context_list = get_slurp_context_generic return id</span>
<a name="line-504"></a>
<a name="line-505"></a><a name="slurp_remove"></a><span class='hs-comment'>-- | It is important to be able to readily modify a slurpy.</span>
<a name="line-506"></a><span class='hs-definition'>slurp_remove</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span>
<a name="line-507"></a><span class='hs-definition'>slurp_remove</span> <span class='hs-varid'>fname</span> <span class='hs-varid'>s</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-508"></a>    <span class='hs-keyword'>case</span> <span class='hs-varid'>get_slurp_context_maybe</span> <span class='hs-varid'>fname</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-509"></a>        <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span><span class='hs-layout'>,</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>ctx</span> <span class='hs-conid'>Nothing</span>
<a name="line-510"></a>        <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Nothing</span>
<a name="line-511"></a><span class='hs-definition'>slurp_remove</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>bug</span> <span class='hs-str'>"slurp_remove only acts on SlurpDirs"</span>
<a name="line-512"></a>
<a name="line-513"></a><a name="slurp_removefile"></a><span class='hs-definition'>slurp_removefile</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span>
<a name="line-514"></a><span class='hs-definition'>slurp_removefile</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span>
<a name="line-515"></a>  <span class='hs-keyword'>if</span> <span class='hs-varid'>slurp_hasfile</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span>
<a name="line-516"></a>  <span class='hs-keyword'>then</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>slurp_remove</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-517"></a>       <span class='hs-varid'>s'</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>s'</span>
<a name="line-518"></a>       <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>impossible</span>
<a name="line-519"></a>  <span class='hs-keyword'>else</span> <span class='hs-conid'>Nothing</span>
<a name="line-520"></a>
<a name="line-521"></a><a name="slurp_move"></a><span class='hs-definition'>slurp_move</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span>
<a name="line-522"></a><span class='hs-definition'>slurp_move</span> <span class='hs-varid'>f</span> <span class='hs-varid'>f'</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span>
<a name="line-523"></a>    <span class='hs-keyword'>if</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurp_has</span> <span class='hs-layout'>(</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f'</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-varop'>&amp;&amp;</span> <span class='hs-varid'>slurp_hasdir</span> <span class='hs-layout'>(</span><span class='hs-varid'>superName</span> <span class='hs-varid'>f'</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span>
<a name="line-524"></a>    <span class='hs-keyword'>then</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>get_slurp</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-525"></a>         <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Nothing</span>
<a name="line-526"></a>         <span class='hs-conid'>Just</span> <span class='hs-varid'>sf</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-527"></a>             <span class='hs-keyword'>case</span> <span class='hs-varid'>slurp_remove</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-528"></a>             <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Nothing</span>
<a name="line-529"></a>             <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>s'</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-530"></a>                 <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-varid'>addslurp</span> <span class='hs-varid'>f'</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurp_setname</span> <span class='hs-layout'>(</span><span class='hs-varid'>own_name</span> <span class='hs-varid'>f'</span><span class='hs-layout'>)</span> <span class='hs-varid'>sf</span><span class='hs-layout'>)</span> <span class='hs-varid'>s'</span>
<a name="line-531"></a>             <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>impossible</span>
<a name="line-532"></a>    <span class='hs-keyword'>else</span> <span class='hs-conid'>Nothing</span>
<a name="line-533"></a>
<a name="line-534"></a><a name="addslurp"></a><span class='hs-definition'>addslurp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span>
<a name="line-535"></a><span class='hs-definition'>addslurp</span> <span class='hs-varid'>fname</span> <span class='hs-varid'>s</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>=</span>
<a name="line-536"></a>    <span class='hs-keyword'>case</span> <span class='hs-varid'>get_slurp_context</span> <span class='hs-layout'>(</span><span class='hs-varid'>superName</span> <span class='hs-varid'>fname</span><span class='hs-layout'>)</span> <span class='hs-varid'>s'</span> <span class='hs-keyword'>of</span>
<a name="line-537"></a>        <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span><span class='hs-layout'>,</span> <span class='hs-conid'>Slurpy</span> <span class='hs-varid'>d</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>ctx</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>d</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-varid'>uncurry</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>insert</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurpy_to_pair</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-538"></a>        <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>s'</span>
<a name="line-539"></a>
<a name="line-540"></a><a name="get_slurp"></a><span class='hs-definition'>get_slurp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span>
<a name="line-541"></a><span class='hs-definition'>get_slurp</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>snd</span> <span class='hs-layout'>(</span><span class='hs-varid'>get_slurp_context</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-542"></a>
<a name="line-543"></a><a name="slurp_removedir"></a><span class='hs-definition'>slurp_removedir</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span>
<a name="line-544"></a><span class='hs-definition'>slurp_removedir</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span>
<a name="line-545"></a>    <span class='hs-keyword'>case</span> <span class='hs-varid'>get_slurp</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-546"></a>    <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>l</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-547"></a>        <span class='hs-keyword'>case</span> <span class='hs-varid'>slurp_remove</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-548"></a>        <span class='hs-varid'>s'</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>s'</span>
<a name="line-549"></a>        <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>impossible</span>
<a name="line-550"></a>    <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Nothing</span>
<a name="line-551"></a>
<a name="line-552"></a><a name="slurp_adddir"></a><span class='hs-definition'>slurp_adddir</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span>
<a name="line-553"></a><span class='hs-definition'>slurp_adddir</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span>
<a name="line-554"></a>  <span class='hs-keyword'>if</span> <span class='hs-varid'>slurp_hasfile</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-varop'>||</span> <span class='hs-varid'>slurp_hasdir</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-varop'>||</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>slurp_hasdir</span> <span class='hs-layout'>(</span><span class='hs-varid'>superName</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-555"></a>  <span class='hs-keyword'>then</span> <span class='hs-conid'>Nothing</span>
<a name="line-556"></a>  <span class='hs-keyword'>else</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-varid'>addslurp</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-layout'>(</span><span class='hs-varid'>own_name</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-conid'>Nothing</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span>
<a name="line-557"></a>
<a name="line-558"></a><a name="slurp_modfile"></a><span class='hs-comment'>-- |Code to modify a given file in a slurpy.</span>
<a name="line-559"></a><span class='hs-definition'>slurp_modfile</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-layout'>(</span><span class='hs-conid'>FileContents</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>FileContents</span><span class='hs-layout'>)</span>
<a name="line-560"></a>              <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span>
<a name="line-561"></a><span class='hs-definition'>slurp_modfile</span> <span class='hs-varid'>fname</span> <span class='hs-varid'>modify</span> <span class='hs-varid'>sl</span> <span class='hs-keyglyph'>=</span>
<a name="line-562"></a>    <span class='hs-keyword'>case</span> <span class='hs-varid'>get_slurp_context</span> <span class='hs-varid'>fname</span> <span class='hs-varid'>sl</span> <span class='hs-keyword'>of</span>
<a name="line-563"></a>        <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span><span class='hs-layout'>,</span> <span class='hs-conid'>Slurpy</span> <span class='hs-varid'>ff</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-564"></a>            <span class='hs-keyword'>case</span> <span class='hs-varid'>modify</span> <span class='hs-varid'>c</span> <span class='hs-keyword'>of</span>
<a name="line-565"></a>                <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Nothing</span>
<a name="line-566"></a>                <span class='hs-conid'>Just</span> <span class='hs-varid'>c'</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctx</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>ff</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-varid'>undef_time_size</span> <span class='hs-varid'>c'</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-567"></a>        <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> 
<a name="line-568"></a>            <span class='hs-conid'>Nothing</span>
<a name="line-569"></a>
<a name="line-570"></a><a name="slurp_hasfile"></a><span class='hs-definition'>slurp_hasfile</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-571"></a><span class='hs-definition'>slurp_hasfile</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span>
<a name="line-572"></a>    <span class='hs-keyword'>case</span> <span class='hs-varid'>get_slurp</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-573"></a>        <span class='hs-conid'>Just</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>is_file</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>True</span>
<a name="line-574"></a>        <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>False</span>
<a name="line-575"></a>
<a name="line-576"></a><a name="slurp_has"></a><span class='hs-definition'>slurp_has</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-577"></a><span class='hs-definition'>slurp_has</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>isJust</span> <span class='hs-layout'>(</span><span class='hs-varid'>get_slurp</span> <span class='hs-layout'>(</span><span class='hs-varid'>fp2fn</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-578"></a>
<a name="line-579"></a><a name="slurp_has_anycase"></a><span class='hs-definition'>slurp_has_anycase</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-580"></a><span class='hs-definition'>slurp_has_anycase</span> <span class='hs-varid'>fname</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span>
<a name="line-581"></a>  <span class='hs-varid'>seq</span> <span class='hs-varid'>normed_name</span> <span class='hs-varop'>$</span> <span class='hs-varid'>isJust</span> <span class='hs-varop'>$</span> <span class='hs-varid'>get_slurp</span> <span class='hs-varid'>normed_name</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mapSlurpyNames</span> <span class='hs-varid'>tolower</span> <span class='hs-varid'>s</span>
<a name="line-582"></a>  <span class='hs-keyword'>where</span> <span class='hs-varid'>normed_name</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>norm_path</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fp2fn</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toLower</span> <span class='hs-varid'>fname</span>
<a name="line-583"></a>
<a name="line-584"></a><a name="tolower"></a><span class='hs-definition'>tolower</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FileName</span>
<a name="line-585"></a><span class='hs-definition'>tolower</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fp2fn</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>toLower</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fn2fp</span>
<a name="line-586"></a>
<a name="line-587"></a><a name="findSubSlurpy"></a><span class='hs-definition'>findSubSlurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>SlurpyMap</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Slurpy</span>
<a name="line-588"></a><span class='hs-definition'>findSubSlurpy</span> <span class='hs-varid'>fn</span> <span class='hs-varid'>sm</span> <span class='hs-keyglyph'>=</span>
<a name="line-589"></a>  <span class='hs-keyword'>let</span> <span class='hs-varid'>topname</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>break_on_dir</span> <span class='hs-varid'>fn</span> <span class='hs-keyword'>of</span>
<a name="line-590"></a>                   <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>dn</span><span class='hs-layout'>,</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>dn</span>
<a name="line-591"></a>                   <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>fn</span>
<a name="line-592"></a>  <span class='hs-keyword'>in</span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>topname</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>lookup</span> <span class='hs-varid'>topname</span> <span class='hs-varid'>sm</span><span class='hs-layout'>)</span>
<a name="line-593"></a>
<a name="line-594"></a><a name="slurp_hasdir"></a><span class='hs-definition'>slurp_hasdir</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-595"></a><span class='hs-definition'>slurp_hasdir</span> <span class='hs-varid'>d</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>norm_path</span> <span class='hs-varid'>d</span> <span class='hs-varop'>==</span> <span class='hs-varid'>fp2fn</span> <span class='hs-str'>""</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-596"></a><span class='hs-definition'>slurp_hasdir</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-597"></a>    <span class='hs-varid'>seq</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>f'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>norm_path</span> <span class='hs-varid'>f</span>
<a name="line-598"></a>            <span class='hs-keyword'>in</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>findSubSlurpy</span> <span class='hs-varid'>f'</span> <span class='hs-varid'>c</span> <span class='hs-keyword'>of</span>
<a name="line-599"></a>                <span class='hs-conid'>Just</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>slurp_hasdir_private</span> <span class='hs-varid'>f'</span> <span class='hs-varid'>s</span>
<a name="line-600"></a>                <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>False</span>
<a name="line-601"></a><span class='hs-definition'>slurp_hasdir</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-602"></a>
<a name="line-603"></a><a name="slurp_hasdir_private"></a><span class='hs-definition'>slurp_hasdir_private</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileName</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-604"></a><span class='hs-definition'>slurp_hasdir_private</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-605"></a><span class='hs-definition'>slurp_hasdir_private</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>d</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-606"></a>  <span class='hs-keyglyph'>|</span> <span class='hs-varid'>f</span> <span class='hs-varop'>==</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-607"></a>  <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span>
<a name="line-608"></a>       <span class='hs-keyword'>case</span> <span class='hs-varid'>break_on_dir</span> <span class='hs-varid'>f</span> <span class='hs-keyword'>of</span>
<a name="line-609"></a>       <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>dn</span><span class='hs-layout'>,</span><span class='hs-varid'>fn</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span>
<a name="line-610"></a>           <span class='hs-keyword'>if</span> <span class='hs-varid'>dn</span> <span class='hs-varop'>==</span> <span class='hs-varid'>d</span>
<a name="line-611"></a>           <span class='hs-keyword'>then</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>findSubSlurpy</span> <span class='hs-varid'>fn</span> <span class='hs-varid'>c</span> <span class='hs-keyword'>of</span>
<a name="line-612"></a>                   <span class='hs-conid'>Just</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>slurp_hasdir_private</span> <span class='hs-varid'>fn</span> <span class='hs-varid'>s</span>
<a name="line-613"></a>                   <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>False</span>
<a name="line-614"></a>           <span class='hs-keyword'>else</span> <span class='hs-conid'>False</span>
<a name="line-615"></a>       <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>False</span>
<a name="line-616"></a>
<a name="line-617"></a><a name="get_path_list"></a><span class='hs-definition'>get_path_list</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FilePath</span><span class='hs-keyglyph'>]</span>
<a name="line-618"></a><span class='hs-definition'>get_path_list</span> <span class='hs-varid'>s</span> <span class='hs-varid'>fp</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>get_path_list'</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-str'>"./"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>fp</span><span class='hs-layout'>)</span>
<a name="line-619"></a>
<a name="line-620"></a><a name="get_path_list'"></a><span class='hs-definition'>get_path_list'</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FilePath</span><span class='hs-keyglyph'>]</span>
<a name="line-621"></a><span class='hs-definition'>get_path_list'</span> <span class='hs-varid'>s</span> <span class='hs-str'>""</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>list_slurpy</span> <span class='hs-varid'>s</span>
<a name="line-622"></a><span class='hs-definition'>get_path_list'</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>fp</span>
<a name="line-623"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>f'</span> <span class='hs-varop'>==</span> <span class='hs-varid'>fp</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>f'</span><span class='hs-keyglyph'>]</span>
<a name="line-624"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>f'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f</span>
<a name="line-625"></a><span class='hs-definition'>get_path_list'</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>d</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>ss</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>fp</span>
<a name="line-626"></a> <span class='hs-keyglyph'>|</span> <span class='hs-layout'>(</span><span class='hs-varid'>d'</span> <span class='hs-varop'>++</span> <span class='hs-str'>"/"</span><span class='hs-layout'>)</span> <span class='hs-varop'>`isPrefixOf`</span> <span class='hs-layout'>(</span><span class='hs-varid'>fp</span> <span class='hs-varop'>++</span> <span class='hs-str'>"/"</span><span class='hs-layout'>)</span>
<a name="line-627"></a>    <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>fp'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>drop</span> <span class='hs-layout'>(</span><span class='hs-varid'>length</span> <span class='hs-varid'>d'</span> <span class='hs-varop'>+</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>fp</span>
<a name="line-628"></a>      <span class='hs-keyword'>in</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>d'</span> <span class='hs-varop'>///</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>concatMap</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>get_path_list'</span> <span class='hs-varid'>s</span> <span class='hs-varid'>fp'</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map_to_slurpies</span> <span class='hs-varid'>ss</span>
<a name="line-629"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>d'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fn2fp</span> <span class='hs-varid'>d</span>
<a name="line-630"></a><span class='hs-definition'>get_path_list'</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-631"></a>
<a name="line-632"></a><a name="list_slurpy"></a><span class='hs-definition'>list_slurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FilePath</span><span class='hs-keyglyph'>]</span>
<a name="line-633"></a><span class='hs-definition'>list_slurpy</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f</span><span class='hs-keyglyph'>]</span>
<a name="line-634"></a><span class='hs-definition'>list_slurpy</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>dd</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>ss</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>d</span> <span class='hs-conop'>:</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>d</span> <span class='hs-varop'>///</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>concatMap</span> <span class='hs-varid'>list_slurpy</span> <span class='hs-layout'>(</span><span class='hs-varid'>map_to_slurpies</span> <span class='hs-varid'>ss</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-635"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fn2fp</span> <span class='hs-varid'>dd</span>
<a name="line-636"></a>
<a name="line-637"></a><a name="list_slurpy_files"></a><span class='hs-definition'>list_slurpy_files</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FilePath</span><span class='hs-keyglyph'>]</span>
<a name="line-638"></a><span class='hs-definition'>list_slurpy_files</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>f</span><span class='hs-keyglyph'>]</span>
<a name="line-639"></a><span class='hs-definition'>list_slurpy_files</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>dd</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>ss</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-640"></a>    <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>fn2fp</span> <span class='hs-varid'>dd</span><span class='hs-layout'>)</span> <span class='hs-varop'>///</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>concatMap</span> <span class='hs-varid'>list_slurpy_files</span> <span class='hs-layout'>(</span><span class='hs-varid'>map_to_slurpies</span> <span class='hs-varid'>ss</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-641"></a>
<a name="line-642"></a><a name="list_slurpy_dirs"></a><span class='hs-definition'>list_slurpy_dirs</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FilePath</span><span class='hs-keyglyph'>]</span>
<a name="line-643"></a><span class='hs-definition'>list_slurpy_dirs</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-644"></a><span class='hs-definition'>list_slurpy_dirs</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-varid'>dd</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>ss</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-645"></a>    <span class='hs-varid'>d</span> <span class='hs-conop'>:</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>d</span> <span class='hs-varop'>///</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>concatMap</span> <span class='hs-varid'>list_slurpy_dirs</span> <span class='hs-layout'>(</span><span class='hs-varid'>map_to_slurpies</span> <span class='hs-varid'>ss</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-646"></a>    <span class='hs-keyword'>where</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fn2fp</span> <span class='hs-varid'>dd</span>
<a name="line-647"></a>
<a name="line-648"></a><a name="unsyncedSlurpySize"></a><span class='hs-definition'>unsyncedSlurpySize</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Int</span>
<a name="line-649"></a><span class='hs-definition'>unsyncedSlurpySize</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpFile</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-varid'>size</span><span class='hs-layout'>)</span> <span class='hs-varid'>ps</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-650"></a>    <span class='hs-keyglyph'>|</span> <span class='hs-varid'>size</span> <span class='hs-varop'>==</span> <span class='hs-varid'>undefined_size</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>length</span> <span class='hs-varid'>ps</span>
<a name="line-651"></a>    <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>0</span>
<a name="line-652"></a><span class='hs-definition'>unsyncedSlurpySize</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SlurpDir</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>ss</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-653"></a>    <span class='hs-varid'>sum</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-varid'>unsyncedSlurpySize</span> <span class='hs-layout'>(</span><span class='hs-varid'>map_to_slurpies</span> <span class='hs-varid'>ss</span><span class='hs-layout'>)</span>
<a name="line-654"></a>
<a name="line-655"></a><a name="slurp_sync_size"></a><span class='hs-definition'>slurp_sync_size</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span>
<a name="line-656"></a><span class='hs-definition'>slurp_sync_size</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>100</span> <span class='hs-varop'>*</span> <span class='hs-num'>1000000</span>
<a name="line-657"></a>
<a name="line-658"></a><a name="syncSlurpy"></a><span class='hs-definition'>syncSlurpy</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Slurpy</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Slurpy</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Slurpy</span>
<a name="line-659"></a><span class='hs-definition'>syncSlurpy</span> <span class='hs-varid'>put</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>unsyncedSlurpySize</span> <span class='hs-varid'>s</span> <span class='hs-varop'>&gt;</span> <span class='hs-varid'>slurp_sync_size</span>
<a name="line-660"></a>                   <span class='hs-keyword'>then</span> <span class='hs-varid'>put</span> <span class='hs-varid'>s</span>
<a name="line-661"></a>                   <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-varid'>s</span>
</pre></body>
</html>