/usr/share/doc/libghc-debian-doc/html/Debian-Apt-Dependencies.html is in libghc-debian-doc 3.79.2-1build5.
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 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Debian.Apt.Dependencies</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Debian-Apt-Dependencies.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Debian-Apt-Dependencies.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">debian-3.79.2: Modules for working with the Debian package system</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Debian.Apt.Dependencies</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Basic CSP Types and Functions
</a></li><li><a href="#g:2">Test CSP
</a></li><li><a href="#g:3">Tree Helper Functions
</a></li><li><a href="#g:4">mkSearchTree
</a></li><li><a href="#g:5">Conflict Set
</a></li><li><a href="#g:6">Backtracking Labeler
</a></li><li><a href="#g:7">BackJumping Solver
</a></li></ul></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:Status">Status</a> <ul class="subs"><li>= <a href="#v:Remaining">Remaining</a> <a href="Debian-Relation-Common.html#t:AndRelation">AndRelation</a> </li><li>| <a href="#v:MissingDep">MissingDep</a> <a href="Debian-Relation-Common.html#t:Relation">Relation</a> </li><li>| <a href="#v:Complete">Complete</a> </li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:State">State</a> a = (<a href="Debian-Apt-Dependencies.html#t:Status">Status</a>, [a])</li><li class="src short"><a href="#v:complete">complete</a> :: <a href="Debian-Apt-Dependencies.html#t:State">State</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:CSP">CSP</a> a = <a href="#v:CSP">CSP</a> {<ul class="subs"><li><a href="#v:pnm">pnm</a> :: <a href="Debian-Apt-Package.html#t:PackageNameMap">PackageNameMap</a> a</li><li><a href="#v:relations">relations</a> :: <a href="Debian-Relation-Common.html#t:Relations">Relations</a></li><li><a href="#v:depFunction">depFunction</a> :: a -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a></li><li><a href="#v:conflicts">conflicts</a> :: a -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a></li><li><a href="#v:packageVersion">packageVersion</a> :: a -> (<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>)</li></ul>}</li><li class="src short"><a href="#v:controlCSP">controlCSP</a> :: <a href="Debian-Control-ByteString.html#t:Control">Control</a> -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a> -> (<a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a>) -> <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> <a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a></li><li class="src short"><a href="#v:testCSP">testCSP</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/System-IO.html#t:FilePath">FilePath</a> -> (<a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a> -> (<a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> <a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/System-IO.html#t:IO">IO</a> a) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/System-IO.html#t:IO">IO</a> a</li><li class="src short"><a href="#v:depF">depF</a> :: <a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a></li><li class="src short"><a href="#v:sidPackages">sidPackages</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>]</li><li class="src short"><a href="#v:gutsyPackages">gutsyPackages</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>]</li><li class="src short"><a href="#v:test">test</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/System-IO.html#t:FilePath">FilePath</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a> -> <a href="Debian-Apt-Dependencies.html#t:Labeler">Labeler</a> <a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/System-IO.html#t:IO">IO</a> ()</li><li class="src short"><a href="#v:packageVersionParagraph">packageVersionParagraph</a> :: <a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> (<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>)</li><li class="src short"><a href="#v:conflict">conflict</a> :: <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> p -> p -> p -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:conflict-39-">conflict'</a> :: (<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>) -> <a href="Debian-Relation-Common.html#t:Relation">Relation</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:mkTree">mkTree</a> :: a -> [<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a] -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a</li><li class="src short"><a href="#v:label">label</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> a</li><li class="src short"><a href="#v:initTree">initTree</a> :: (a -> [a]) -> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a</li><li class="src short"><a href="#v:mapTree">mapTree</a> :: (a -> b) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> b</li><li class="src short"><a href="#v:foldTree">foldTree</a> :: (a -> [b] -> b) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> b</li><li class="src short"><a href="#v:zipTreesWith">zipTreesWith</a> :: (a -> b -> c) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> b -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> c</li><li class="src short"><a href="#v:prune">prune</a> :: (a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a</li><li class="src short"><a href="#v:leaves">leaves</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> [a]</li><li class="src short"><a href="#v:inhTree">inhTree</a> :: (b -> a -> b) -> b -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> b</li><li class="src short"><a href="#v:distrTree">distrTree</a> :: (a -> [b]) -> b -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> b</li><li class="src short"><a href="#v:mkSearchTree">mkSearchTree</a> :: <span class="keyword">forall</span> a. <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> a)</li><li class="src short"><a href="#v:earliestInconsistency">earliestInconsistency</a> :: <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> a -> <a href="Debian-Apt-Dependencies.html#t:State">State</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> ((<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>), (<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>))</li><li class="src short"><span class="keyword">type</span> <a href="#t:ConflictSet">ConflictSet</a> = ([(<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>)], [<a href="Debian-Relation-Common.html#t:Relation">Relation</a>])</li><li class="src short"><a href="#v:isConflict">isConflict</a> :: <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:solutions">solutions</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> a, <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>) -> [<a href="Debian-Apt-Dependencies.html#t:State">State</a> a]</li><li class="src short"><span class="keyword">type</span> <a href="#t:Labeler">Labeler</a> a = <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> a) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> a, <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>)</li><li class="src short"><a href="#v:search">search</a> :: <a href="Debian-Apt-Dependencies.html#t:Labeler">Labeler</a> a -> <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> a -> [<a href="Debian-Apt-Dependencies.html#t:State">State</a> a]</li><li class="src short"><a href="#v:bt">bt</a> :: <a href="Debian-Apt-Dependencies.html#t:Labeler">Labeler</a> a</li><li class="src short"><a href="#v:bj">bj</a> :: <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> p -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> p, <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> p, <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>)</li><li class="src short"><a href="#v:unionCS">unionCS</a> :: [<a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>] -> <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a></li><li class="src short"><a href="#v:combine">combine</a> :: <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> p -> [(<a href="Debian-Apt-Dependencies.html#t:State">State</a> p, <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>)] -> [<a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>] -> <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a></li></ul></div><div id="interface"><h1 id="g:1">Basic CSP Types and Functions
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Status" class="def">Status</a> <a href="src/Debian-Apt-Dependencies.html#Status" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Remaining" class="def">Remaining</a> <a href="Debian-Relation-Common.html#t:AndRelation">AndRelation</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:MissingDep" class="def">MissingDep</a> <a href="Debian-Relation-Common.html#t:Relation">Relation</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Complete" class="def">Complete</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Status" class="caption collapser" onclick="toggleSection('i:Status')">Instances</p><div id="section.i:Status" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> <a href="Debian-Apt-Dependencies.html#t:Status">Status</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:State" class="def">State</a> a = (<a href="Debian-Apt-Dependencies.html#t:Status">Status</a>, [a])<a href="src/Debian-Apt-Dependencies.html#State" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:complete" class="def">complete</a> :: <a href="Debian-Apt-Dependencies.html#t:State">State</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a><a href="src/Debian-Apt-Dependencies.html#complete" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:CSP" class="def">CSP</a> a <a href="src/Debian-Apt-Dependencies.html#CSP" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:CSP" class="def">CSP</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:pnm" class="def">pnm</a> :: <a href="Debian-Apt-Package.html#t:PackageNameMap">PackageNameMap</a> a</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:relations" class="def">relations</a> :: <a href="Debian-Relation-Common.html#t:Relations">Relations</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:depFunction" class="def">depFunction</a> :: a -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:conflicts" class="def">conflicts</a> :: a -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:packageVersion" class="def">packageVersion</a> :: a -> (<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>)</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><h1 id="g:2">Test CSP
</h1><div class="top"><p class="src"><a name="v:controlCSP" class="def">controlCSP</a> :: <a href="Debian-Control-ByteString.html#t:Control">Control</a> -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a> -> (<a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a>) -> <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> <a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a><a href="src/Debian-Apt-Dependencies.html#controlCSP" class="link">Source</a></p><div class="doc"><p>TODO addProvides -- see DQL.Exec
</p></div></div><div class="top"><p class="src"><a name="v:testCSP" class="def">testCSP</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/System-IO.html#t:FilePath">FilePath</a> -> (<a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a> -> (<a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> <a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/System-IO.html#t:IO">IO</a> a) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/System-IO.html#t:IO">IO</a> a<a href="src/Debian-Apt-Dependencies.html#testCSP" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:depF" class="def">depF</a> :: <a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> <a href="Debian-Relation-Common.html#t:Relations">Relations</a><a href="src/Debian-Apt-Dependencies.html#depF" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:sidPackages" class="def">sidPackages</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>]<a href="src/Debian-Apt-Dependencies.html#sidPackages" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:gutsyPackages" class="def">gutsyPackages</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>]<a href="src/Debian-Apt-Dependencies.html#gutsyPackages" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:test" class="def">test</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/System-IO.html#t:FilePath">FilePath</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a> -> <a href="Debian-Apt-Dependencies.html#t:Labeler">Labeler</a> <a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/System-IO.html#t:IO">IO</a> ()<a href="src/Debian-Apt-Dependencies.html#test" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:packageVersionParagraph" class="def">packageVersionParagraph</a> :: <a href="Debian-Control-ByteString.html#t:Paragraph">Paragraph</a> -> (<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>)<a href="src/Debian-Apt-Dependencies.html#packageVersionParagraph" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:conflict" class="def">conflict</a> :: <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> p -> p -> p -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a><a href="src/Debian-Apt-Dependencies.html#conflict" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:conflict-39-" class="def">conflict'</a> :: (<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>) -> <a href="Debian-Relation-Common.html#t:Relation">Relation</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a><a href="src/Debian-Apt-Dependencies.html#conflict%27" class="link">Source</a></p><div class="doc"><p>JAS: deal with <code>Provides</code> (can a package provide more than one package?)
</p></div></div><h1 id="g:3">Tree Helper Functions
</h1><div class="top"><p class="src"><a name="v:mkTree" class="def">mkTree</a> :: a -> [<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a] -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a<a href="src/Debian-Apt-Dependencies.html#mkTree" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:label" class="def">label</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> a<a href="src/Debian-Apt-Dependencies.html#label" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:initTree" class="def">initTree</a> :: (a -> [a]) -> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a<a href="src/Debian-Apt-Dependencies.html#initTree" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:mapTree" class="def">mapTree</a> :: (a -> b) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> b<a href="src/Debian-Apt-Dependencies.html#mapTree" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:foldTree" class="def">foldTree</a> :: (a -> [b] -> b) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> b<a href="src/Debian-Apt-Dependencies.html#foldTree" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:zipTreesWith" class="def">zipTreesWith</a> :: (a -> b -> c) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> b -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> c<a href="src/Debian-Apt-Dependencies.html#zipTreesWith" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:prune" class="def">prune</a> :: (a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a<a href="src/Debian-Apt-Dependencies.html#prune" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:leaves" class="def">leaves</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> [a]<a href="src/Debian-Apt-Dependencies.html#leaves" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:inhTree" class="def">inhTree</a> :: (b -> a -> b) -> b -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> b<a href="src/Debian-Apt-Dependencies.html#inhTree" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:distrTree" class="def">distrTree</a> :: (a -> [b]) -> b -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> b<a href="src/Debian-Apt-Dependencies.html#distrTree" class="link">Source</a></p></div><h1 id="g:4">mkSearchTree
</h1><div class="top"><p class="src"><a name="v:mkSearchTree" class="def">mkSearchTree</a> :: <span class="keyword">forall</span> a. <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> a)<a href="src/Debian-Apt-Dependencies.html#mkSearchTree" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:earliestInconsistency" class="def">earliestInconsistency</a> :: <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> a -> <a href="Debian-Apt-Dependencies.html#t:State">State</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> ((<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>), (<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>))<a href="src/Debian-Apt-Dependencies.html#earliestInconsistency" class="link">Source</a></p><div class="doc"><p>earliestInconsistency does what it sounds like
the 'reverse as' is because the vars are order high to low, but we
want to find the lowest numbered (aka, eariest) inconsistency ??
</p></div></div><h1 id="g:5">Conflict Set
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:ConflictSet" class="def">ConflictSet</a> = ([(<a href="Debian-Relation-Common.html#t:BinPkgName">BinPkgName</a>, <a href="Debian-Version-Common.html#t:DebianVersion">DebianVersion</a>)], [<a href="Debian-Relation-Common.html#t:Relation">Relation</a>])<a href="src/Debian-Apt-Dependencies.html#ConflictSet" class="link">Source</a></p><div class="doc"><p>conflicting packages and relations that require non-existant packages
</p></div></div><div class="top"><p class="src"><a name="v:isConflict" class="def">isConflict</a> :: <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a><a href="src/Debian-Apt-Dependencies.html#isConflict" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:solutions" class="def">solutions</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> a, <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>) -> [<a href="Debian-Apt-Dependencies.html#t:State">State</a> a]<a href="src/Debian-Apt-Dependencies.html#solutions" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Labeler" class="def">Labeler</a> a = <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> a) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> a, <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>)<a href="src/Debian-Apt-Dependencies.html#Labeler" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:search" class="def">search</a> :: <a href="Debian-Apt-Dependencies.html#t:Labeler">Labeler</a> a -> <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> a -> [<a href="Debian-Apt-Dependencies.html#t:State">State</a> a]<a href="src/Debian-Apt-Dependencies.html#search" class="link">Source</a></p></div><h1 id="g:6">Backtracking Labeler
</h1><div class="top"><p class="src"><a name="v:bt" class="def">bt</a> :: <a href="Debian-Apt-Dependencies.html#t:Labeler">Labeler</a> a<a href="src/Debian-Apt-Dependencies.html#bt" class="link">Source</a></p></div><h1 id="g:7">BackJumping Solver
</h1><div class="top"><p class="src"><a name="v:bj" class="def">bj</a> :: <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> p -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> p, <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Tree.html#t:Tree">Tree</a> (<a href="Debian-Apt-Dependencies.html#t:State">State</a> p, <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>)<a href="src/Debian-Apt-Dependencies.html#bj" class="link">Source</a></p><div class="doc"><p>bj - backjumping labeler
</p><p>If the node already has a conflict set, then leave it alone.
</p><p>Otherwise, the conflictset for the node is the combination of the
conflict sets of its direct children.
</p></div></div><div class="top"><p class="src"><a name="v:unionCS" class="def">unionCS</a> :: [<a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>] -> <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a><a href="src/Debian-Apt-Dependencies.html#unionCS" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:combine" class="def">combine</a> :: <a href="Debian-Apt-Dependencies.html#t:CSP">CSP</a> p -> [(<a href="Debian-Apt-Dependencies.html#t:State">State</a> p, <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>)] -> [<a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a>] -> <a href="Debian-Apt-Dependencies.html#t:ConflictSet">ConflictSet</a><a href="src/Debian-Apt-Dependencies.html#combine" class="link">Source</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.13.2</p></div></body></html>
|