/usr/share/doc/libghc-hackage-security-doc/html/src/Hackage-Security-TUF-FileMap.html is in libghc-hackage-security-doc 0.5.2.2-6.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 | <?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ -->
<title>src/Hackage/Security/TUF/FileMap.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>-- | Information about files</span>
<a name="line-2"></a><span class='hs-comment'>--</span>
<a name="line-3"></a><span class='hs-comment'>-- Intended to be double imported</span>
<a name="line-4"></a><span class='hs-comment'>--</span>
<a name="line-5"></a><span class='hs-comment'>-- > import Hackage.Security.TUF.FileMap (FileMap)</span>
<a name="line-6"></a><span class='hs-comment'>-- > import qualified Hackage.Security.TUF.FileMap as FileMap</span>
<a name="line-7"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Hackage</span><span class='hs-varop'>.</span><span class='hs-conid'>Security</span><span class='hs-varop'>.</span><span class='hs-conid'>TUF</span><span class='hs-varop'>.</span><span class='hs-conid'>FileMap</span> <span class='hs-layout'>(</span>
<a name="line-8"></a> <span class='hs-conid'>FileMap</span> <span class='hs-comment'>-- opaque</span>
<a name="line-9"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>TargetPath</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span>
<a name="line-10"></a> <span class='hs-comment'>-- * Standard accessors</span>
<a name="line-11"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>empty</span>
<a name="line-12"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>lookup</span>
<a name="line-13"></a> <span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varop'>!</span><span class='hs-layout'>)</span>
<a name="line-14"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>insert</span>
<a name="line-15"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>fromList</span>
<a name="line-16"></a> <span class='hs-comment'>-- * Convenience accessors</span>
<a name="line-17"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>lookupM</span>
<a name="line-18"></a> <span class='hs-comment'>-- * Comparing file maps</span>
<a name="line-19"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>FileChange</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span>
<a name="line-20"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>fileMapChanges</span>
<a name="line-21"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-22"></a>
<a name="line-23"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Prelude</span> <span class='hs-varid'>hiding</span> <span class='hs-layout'>(</span><span class='hs-varid'>lookup</span><span class='hs-layout'>)</span>
<a name="line-24"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Arrow</span> <span class='hs-layout'>(</span><span class='hs-varid'>second</span><span class='hs-layout'>)</span>
<a name="line-25"></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-26"></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-27"></a>
<a name="line-28"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Hackage</span><span class='hs-varop'>.</span><span class='hs-conid'>Security</span><span class='hs-varop'>.</span><span class='hs-conid'>JSON</span>
<a name="line-29"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Hackage</span><span class='hs-varop'>.</span><span class='hs-conid'>Security</span><span class='hs-varop'>.</span><span class='hs-conid'>TUF</span><span class='hs-varop'>.</span><span class='hs-conid'>FileInfo</span>
<a name="line-30"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Hackage</span><span class='hs-varop'>.</span><span class='hs-conid'>Security</span><span class='hs-varop'>.</span><span class='hs-conid'>TUF</span><span class='hs-varop'>.</span><span class='hs-conid'>Paths</span>
<a name="line-31"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Hackage</span><span class='hs-varop'>.</span><span class='hs-conid'>Security</span><span class='hs-varop'>.</span><span class='hs-conid'>Util</span><span class='hs-varop'>.</span><span class='hs-conid'>Path</span>
<a name="line-32"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Hackage</span><span class='hs-varop'>.</span><span class='hs-conid'>Security</span><span class='hs-varop'>.</span><span class='hs-conid'>Util</span><span class='hs-varop'>.</span><span class='hs-conid'>Pretty</span>
<a name="line-33"></a>
<a name="line-34"></a><span class='hs-comment'>{-------------------------------------------------------------------------------
<a name="line-35"></a> Datatypes
<a name="line-36"></a>-------------------------------------------------------------------------------}</span>
<a name="line-37"></a>
<a name="line-38"></a><a name="FileMap"></a><span class='hs-comment'>-- | Mapping from paths to file info</span>
<a name="line-39"></a><a name="FileMap"></a><span class='hs-comment'>--</span>
<a name="line-40"></a><a name="FileMap"></a><span class='hs-comment'>-- File maps are used in target files; the paths are relative to the location</span>
<a name="line-41"></a><a name="FileMap"></a><span class='hs-comment'>-- of the target files containing the file map.</span>
<a name="line-42"></a><a name="FileMap"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>FileMap</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FileMap</span> <span class='hs-layout'>{</span> <span class='hs-varid'>fileMap</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Map</span> <span class='hs-conid'>TargetPath</span> <span class='hs-conid'>FileInfo</span> <span class='hs-layout'>}</span>
<a name="line-43"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Show</span><span class='hs-layout'>)</span>
<a name="line-44"></a>
<a name="line-45"></a><a name="TargetPath"></a><span class='hs-comment'>-- | Entries in 'FileMap' either talk about the repository or the index</span>
<a name="line-46"></a><a name="TargetPath"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>TargetPath</span> <span class='hs-keyglyph'>=</span>
<a name="line-47"></a> <span class='hs-conid'>TargetPathRepo</span> <span class='hs-conid'>RepoPath</span>
<a name="line-48"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>TargetPathIndex</span> <span class='hs-conid'>IndexPath</span>
<a name="line-49"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Show</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span><span class='hs-layout'>,</span> <span class='hs-conid'>Ord</span><span class='hs-layout'>)</span>
<a name="line-50"></a>
<a name="line-51"></a><a name="instance%20Pretty%20TargetPath"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Pretty</span> <span class='hs-conid'>TargetPath</span> <span class='hs-keyword'>where</span>
<a name="line-52"></a> <span class='hs-varid'>pretty</span> <span class='hs-layout'>(</span><span class='hs-conid'>TargetPathRepo</span> <span class='hs-varid'>path</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pretty</span> <span class='hs-varid'>path</span>
<a name="line-53"></a> <span class='hs-varid'>pretty</span> <span class='hs-layout'>(</span><span class='hs-conid'>TargetPathIndex</span> <span class='hs-varid'>path</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pretty</span> <span class='hs-varid'>path</span>
<a name="line-54"></a>
<a name="line-55"></a><span class='hs-comment'>{-------------------------------------------------------------------------------
<a name="line-56"></a> Standard accessors
<a name="line-57"></a>-------------------------------------------------------------------------------}</span>
<a name="line-58"></a>
<a name="line-59"></a><a name="empty"></a><span class='hs-definition'>empty</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileMap</span>
<a name="line-60"></a><span class='hs-definition'>empty</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FileMap</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span>
<a name="line-61"></a>
<a name="line-62"></a><a name="lookup"></a><span class='hs-definition'>lookup</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TargetPath</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FileMap</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>FileInfo</span>
<a name="line-63"></a><span class='hs-definition'>lookup</span> <span class='hs-varid'>fp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>lookup</span> <span class='hs-varid'>fp</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fileMap</span>
<a name="line-64"></a>
<a name="line-65"></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'>FileMap</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TargetPath</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FileInfo</span>
<a name="line-66"></a><a name="fm"></a><span class='hs-definition'>fm</span> <span class='hs-varop'>!</span> <span class='hs-varid'>fp</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fileMap</span> <span class='hs-varid'>fm</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.!</span> <span class='hs-varid'>fp</span>
<a name="line-67"></a>
<a name="line-68"></a><a name="insert"></a><span class='hs-definition'>insert</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TargetPath</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FileInfo</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FileMap</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FileMap</span>
<a name="line-69"></a><span class='hs-definition'>insert</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>nfo</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FileMap</span> <span class='hs-varop'>.</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>insert</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>nfo</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fileMap</span>
<a name="line-70"></a>
<a name="line-71"></a><a name="fromList"></a><span class='hs-definition'>fromList</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>TargetPath</span><span class='hs-layout'>,</span> <span class='hs-conid'>FileInfo</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FileMap</span>
<a name="line-72"></a><span class='hs-definition'>fromList</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FileMap</span> <span class='hs-varop'>.</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>fromList</span>
<a name="line-73"></a>
<a name="line-74"></a><span class='hs-comment'>{-------------------------------------------------------------------------------
<a name="line-75"></a> Convenience accessors
<a name="line-76"></a>-------------------------------------------------------------------------------}</span>
<a name="line-77"></a>
<a name="line-78"></a><a name="lookupM"></a><span class='hs-definition'>lookupM</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Monad</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>FileMap</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TargetPath</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>m</span> <span class='hs-conid'>FileInfo</span>
<a name="line-79"></a><span class='hs-definition'>lookupM</span> <span class='hs-varid'>m</span> <span class='hs-varid'>fp</span> <span class='hs-keyglyph'>=</span>
<a name="line-80"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>lookup</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>m</span> <span class='hs-keyword'>of</span>
<a name="line-81"></a> <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>fail</span> <span class='hs-varop'>$</span> <span class='hs-str'>"No entry for "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>pretty</span> <span class='hs-varid'>fp</span> <span class='hs-varop'>++</span> <span class='hs-str'>" in filemap"</span>
<a name="line-82"></a> <span class='hs-conid'>Just</span> <span class='hs-varid'>nfo</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-varid'>nfo</span>
<a name="line-83"></a>
<a name="line-84"></a><span class='hs-comment'>{-------------------------------------------------------------------------------
<a name="line-85"></a> Comparing filemaps
<a name="line-86"></a>-------------------------------------------------------------------------------}</span>
<a name="line-87"></a>
<a name="line-88"></a><a name="FileChange"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>FileChange</span> <span class='hs-keyglyph'>=</span>
<a name="line-89"></a> <span class='hs-comment'>-- | File got added or modified; we record the new file info</span>
<a name="line-90"></a> <span class='hs-conid'>FileChanged</span> <span class='hs-conid'>FileInfo</span>
<a name="line-91"></a>
<a name="line-92"></a> <span class='hs-comment'>-- | File got deleted</span>
<a name="line-93"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>FileDeleted</span>
<a name="line-94"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Show</span><span class='hs-layout'>)</span>
<a name="line-95"></a>
<a name="line-96"></a><a name="fileMapChanges"></a><span class='hs-definition'>fileMapChanges</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FileMap</span> <span class='hs-comment'>-- ^ Old</span>
<a name="line-97"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FileMap</span> <span class='hs-comment'>-- ^ New</span>
<a name="line-98"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Map</span> <span class='hs-conid'>TargetPath</span> <span class='hs-conid'>FileChange</span>
<a name="line-99"></a><span class='hs-definition'>fileMapChanges</span> <span class='hs-layout'>(</span><span class='hs-conid'>FileMap</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>FileMap</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-100"></a> <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'>go</span> <span class='hs-layout'>(</span><span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>toList</span> <span class='hs-varid'>a</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'>toList</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span>
<a name="line-101"></a> <span class='hs-keyword'>where</span>
<a name="line-102"></a> <span class='hs-comment'>-- Assumes the old and new lists are sorted alphabetically</span>
<a name="line-103"></a> <span class='hs-comment'>-- (Map.toList guarantees this)</span>
<a name="line-104"></a> <span class='hs-varid'>go</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>TargetPath</span><span class='hs-layout'>,</span> <span class='hs-conid'>FileInfo</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-105"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>TargetPath</span><span class='hs-layout'>,</span> <span class='hs-conid'>FileInfo</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-106"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>TargetPath</span><span class='hs-layout'>,</span> <span class='hs-conid'>FileChange</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-107"></a> <span class='hs-varid'>go</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>new</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>second</span> <span class='hs-conid'>FileChanged</span><span class='hs-layout'>)</span> <span class='hs-varid'>new</span>
<a name="line-108"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>old</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>second</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>FileDeleted</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>old</span>
<a name="line-109"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>old</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>fp</span><span class='hs-layout'>,</span> <span class='hs-varid'>nfo</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>old'</span><span class='hs-layout'>)</span> <span class='hs-varid'>new</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>fp'</span><span class='hs-layout'>,</span> <span class='hs-varid'>nfo'</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>new'</span><span class='hs-layout'>)</span>
<a name="line-110"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>fp</span> <span class='hs-varop'><</span> <span class='hs-varid'>fp'</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>fp</span> <span class='hs-layout'>,</span> <span class='hs-conid'>FileDeleted</span> <span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go</span> <span class='hs-varid'>old'</span> <span class='hs-varid'>new</span>
<a name="line-111"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>fp</span> <span class='hs-varop'>></span> <span class='hs-varid'>fp'</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>fp'</span><span class='hs-layout'>,</span> <span class='hs-conid'>FileChanged</span> <span class='hs-varid'>nfo'</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go</span> <span class='hs-varid'>old</span> <span class='hs-varid'>new'</span>
<a name="line-112"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>knownFileInfoEqual</span> <span class='hs-varid'>nfo</span> <span class='hs-varid'>nfo'</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>fp</span> <span class='hs-layout'>,</span> <span class='hs-conid'>FileChanged</span> <span class='hs-varid'>nfo'</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go</span> <span class='hs-varid'>old'</span> <span class='hs-varid'>new'</span>
<a name="line-113"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go</span> <span class='hs-varid'>old'</span> <span class='hs-varid'>new'</span>
<a name="line-114"></a>
<a name="line-115"></a><span class='hs-comment'>{-------------------------------------------------------------------------------
<a name="line-116"></a> JSON
<a name="line-117"></a>-------------------------------------------------------------------------------}</span>
<a name="line-118"></a>
<a name="line-119"></a><a name="instance%20ToJSON%20m%20FileMap"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Monad</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>ToJSON</span> <span class='hs-varid'>m</span> <span class='hs-conid'>FileMap</span> <span class='hs-keyword'>where</span>
<a name="line-120"></a> <span class='hs-varid'>toJSON</span> <span class='hs-layout'>(</span><span class='hs-conid'>FileMap</span> <span class='hs-varid'>metaFiles</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>toJSON</span> <span class='hs-varid'>metaFiles</span>
<a name="line-121"></a>
<a name="line-122"></a><a name="instance%20FromJSON%20m%20FileMap"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>ReportSchemaErrors</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>FromJSON</span> <span class='hs-varid'>m</span> <span class='hs-conid'>FileMap</span> <span class='hs-keyword'>where</span>
<a name="line-123"></a> <span class='hs-varid'>fromJSON</span> <span class='hs-varid'>enc</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FileMap</span> <span class='hs-varop'><$></span> <span class='hs-varid'>fromJSON</span> <span class='hs-varid'>enc</span>
<a name="line-124"></a>
<a name="line-125"></a><a name="instance%20ToObjectKey%20m%20TargetPath"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Monad</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>ToObjectKey</span> <span class='hs-varid'>m</span> <span class='hs-conid'>TargetPath</span> <span class='hs-keyword'>where</span>
<a name="line-126"></a> <span class='hs-varid'>toObjectKey</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-varop'>.</span> <span class='hs-varid'>pretty</span>
<a name="line-127"></a>
<a name="line-128"></a><a name="instance%20FromObjectKey%20m%20TargetPath"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>ReportSchemaErrors</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>FromObjectKey</span> <span class='hs-varid'>m</span> <span class='hs-conid'>TargetPath</span> <span class='hs-keyword'>where</span>
<a name="line-129"></a> <span class='hs-varid'>fromObjectKey</span> <span class='hs-layout'>(</span><span class='hs-chr'>'<'</span><span class='hs-conop'>:</span><span class='hs-chr'>'r'</span><span class='hs-conop'>:</span><span class='hs-chr'>'e'</span><span class='hs-conop'>:</span><span class='hs-chr'>'p'</span><span class='hs-conop'>:</span><span class='hs-chr'>'o'</span><span class='hs-conop'>:</span><span class='hs-chr'>'>'</span><span class='hs-conop'>:</span><span class='hs-chr'>'/'</span><span class='hs-conop'>:</span><span class='hs-varid'>path</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-130"></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'>TargetPathRepo</span> <span class='hs-varop'>.</span> <span class='hs-varid'>rootPath</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fromUnrootedFilePath</span> <span class='hs-varop'>$</span> <span class='hs-varid'>path</span>
<a name="line-131"></a> <span class='hs-varid'>fromObjectKey</span> <span class='hs-layout'>(</span><span class='hs-chr'>'<'</span><span class='hs-conop'>:</span><span class='hs-chr'>'i'</span><span class='hs-conop'>:</span><span class='hs-chr'>'n'</span><span class='hs-conop'>:</span><span class='hs-chr'>'d'</span><span class='hs-conop'>:</span><span class='hs-chr'>'e'</span><span class='hs-conop'>:</span><span class='hs-chr'>'x'</span><span class='hs-conop'>:</span><span class='hs-chr'>'>'</span><span class='hs-conop'>:</span><span class='hs-chr'>'/'</span><span class='hs-conop'>:</span><span class='hs-varid'>path</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-132"></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'>TargetPathIndex</span> <span class='hs-varop'>.</span> <span class='hs-varid'>rootPath</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fromUnrootedFilePath</span> <span class='hs-varop'>$</span> <span class='hs-varid'>path</span>
<a name="line-133"></a> <span class='hs-varid'>fromObjectKey</span> <span class='hs-sel'>_str</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-conid'>Nothing</span>
</pre></body>
</html>
|