/usr/share/doc/libghc-ixset-typed-doc/html/Data-IxSet-Typed-Ix.html is in libghc-ixset-typed-doc 0.3.1-3.
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 | <!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>Data.IxSet.Typed.Ix</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-IxSet-Typed-Ix.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-IxSet-Typed-Ix.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">ixset-typed-0.3.1: Efficient relational queries on Haskell sets.</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Data.IxSet.Typed.Ix</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module defines <code>Typeable</code> indexes and convenience functions. Should
probably be considered private to <code>Data.IxSet.Typed</code>.</p></div></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:Ix">Ix</a> ix a <span class="keyword">where</span><ul class="subs"><li><a href="#v:Ix">Ix</a> :: !(<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> ix (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)) -> (a -> [ix]) -> <a href="Data-IxSet-Typed-Ix.html#t:Ix">Ix</a> ix a</li></ul></li><li class="src short"><a href="#v:insert">insert</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => k -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</li><li class="src short"><a href="#v:delete">delete</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => k -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</li><li class="src short"><a href="#v:fromList">fromList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => [(k, a)] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</li><li class="src short"><a href="#v:insertList">insertList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => [(k, a)] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</li><li class="src short"><a href="#v:deleteList">deleteList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => [(k, a)] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</li><li class="src short"><a href="#v:union">union</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</li><li class="src short"><a href="#v:intersection">intersection</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Ix" class="def">Ix</a> ix a <span class="keyword">where</span> <a href="src/Data-IxSet-Typed-Ix.html#Ix" class="link">Source</a> <a href="#t:Ix" class="selflink">#</a></p><div class="doc"><p><code><a href="Data-IxSet-Typed-Ix.html#t:Ix">Ix</a></code> is a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a></code> from some key (of type <code>ix</code>) to a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a></code> of
values (of type <code>a</code>) for that key.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Ix" class="def">Ix</a> :: !(<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> ix (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)) -> (a -> [ix]) -> <a href="Data-IxSet-Typed-Ix.html#t:Ix">Ix</a> ix a</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Ix" class="caption collapser" onclick="toggleSection('i:Ix')">Instances</p><div id="section.i:Ix" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Ix:NFData:1" class="instance expander" onclick="toggleSection('i:id:Ix:NFData:1')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html#t:NFData">NFData</a> ix, <a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html#t:NFData">NFData</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html#t:NFData">NFData</a> (<a href="Data-IxSet-Typed-Ix.html#t:Ix">Ix</a> ix a)</span> <a href="src/Data-IxSet-Typed-Ix.html#line-40" class="link">Source</a> <a href="#t:Ix" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Ix:NFData:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:rnf">rnf</a> :: <a href="Data-IxSet-Typed-Ix.html#t:Ix">Ix</a> ix a -> () <a href="#v:rnf" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Ix:MkIxList:2" class="instance expander" onclick="toggleSection('i:id:Ix:MkIxList:2')"></span> <a href="Data-IxSet-Typed.html#t:MkIxList">MkIxList</a> ixs ixs' a r => <a href="Data-IxSet-Typed.html#t:MkIxList">MkIxList</a> ((:) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> ix ixs) ixs' a (<a href="Data-IxSet-Typed-Ix.html#t:Ix">Ix</a> ix a -> r)</span> <a href="src/Data-IxSet-Typed.html#line-471" class="link">Source</a> <a href="#t:MkIxList" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Ix:MkIxList:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ixList-39-">ixList'</a> :: (<a href="Data-IxSet-Typed.html#t:IxList">IxList</a> ((<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> ': ix) ixs) a -> <a href="Data-IxSet-Typed.html#t:IxList">IxList</a> ixs' a) -> <a href="Data-IxSet-Typed-Ix.html#t:Ix">Ix</a> ix a -> r</p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:insert" class="def">insert</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => k -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) <a href="src/Data-IxSet-Typed-Ix.html#insert" class="link">Source</a> <a href="#v:insert" class="selflink">#</a></p><div class="doc"><p>Convenience function for inserting into <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a></code>s of <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a></code>s as in
the case of an <code><a href="Data-IxSet-Typed-Ix.html#t:Ix">Ix</a></code>. If they key did not already exist in the
<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a></code>, then a new <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a></code> is added transparently.</p></div></div><div class="top"><p class="src"><a id="v:delete" class="def">delete</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => k -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) <a href="src/Data-IxSet-Typed-Ix.html#delete" class="link">Source</a> <a href="#v:delete" class="selflink">#</a></p><div class="doc"><p>Convenience function for deleting from <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a></code>s of <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a></code>s. If the
resulting <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a></code> is empty, then the entry is removed from the <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:fromList" class="def">fromList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => [(k, a)] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) <a href="src/Data-IxSet-Typed-Ix.html#fromList" class="link">Source</a> <a href="#v:fromList" class="selflink">#</a></p><div class="doc"><p>Helper function to create a new index from a list.</p></div></div><div class="top"><p class="src"><a id="v:insertList" class="def">insertList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => [(k, a)] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) <a href="src/Data-IxSet-Typed-Ix.html#insertList" class="link">Source</a> <a href="#v:insertList" class="selflink">#</a></p><div class="doc"><p>Helper function to <code><a href="Data-IxSet-Typed-Ix.html#v:insert">insert</a></code> a list of elements into a set.</p></div></div><div class="top"><p class="src"><a id="v:deleteList" class="def">deleteList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => [(k, a)] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) <a href="src/Data-IxSet-Typed-Ix.html#deleteList" class="link">Source</a> <a href="#v:deleteList" class="selflink">#</a></p><div class="doc"><p>Helper function to <code><a href="Data-IxSet-Typed-Ix.html#v:delete">delete</a></code> a list of elements from a set.</p></div></div><div class="top"><p class="src"><a id="v:union" class="def">union</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) <a href="src/Data-IxSet-Typed-Ix.html#union" class="link">Source</a> <a href="#v:union" class="selflink">#</a></p><div class="doc"><p>Takes the union of two sets.</p></div></div><div class="top"><p class="src"><a id="v:intersection" class="def">intersection</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> k) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) <a href="src/Data-IxSet-Typed-Ix.html#intersection" class="link">Source</a> <a href="#v:intersection" class="selflink">#</a></p><div class="doc"><p>Takes the intersection of two sets.</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|