Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Updated haddocks

  • Loading branch information...
commit 87fe8616818faba641e2aaa93017b70ed015c0f6 1 parent 622af55
Edward Kmett authored
17 Data-Table.html
View
@@ -8,7 +8,7 @@
</a></li><li><a href="#g:5">Implementation Details
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module provides tables with multiple indices that support a simple
API based on the lenses and traversals from the <code>lens</code> package.
-</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:Table">Table</a> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:EmptyTable">EmptyTable</a> :: <a href="Data-Table.html#t:Table">Table</a> t </li><li><a href="#v:Table">Table</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; <a href="Data-Table.html#t:Tab">Tab</a> t (<a href="Data-Table.html#t:Index">Index</a> t) -&gt; <a href="Data-Table.html#t:Table">Table</a> t </li></ul></li><li class="src short"><span class="keyword">class</span> <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Data-Table.html#t:PKT">PKT</a> t) =&gt; <a href="#t:Tabular">Tabular</a> t <span class="keyword">where</span><ul class="subs"><li><span class="keyword">type</span> <a href="#t:PKT">PKT</a> t </li><li><span class="keyword">data</span> <a href="#t:Tab">Tab</a> t m </li><li><span class="keyword">data</span> <a href="#t:Key">Key</a> k t :: * -&gt; *</li><li><a href="#v:index">index</a> :: <a href="Data-Table.html#t:Key">Key</a> k t a -&gt; t -&gt; a</li><li><a href="#v:primary">primary</a> :: <a href="Data-Table.html#t:Key">Key</a> <a href="Data-Table.html#t:Primary">Primary</a> t (<a href="Data-Table.html#t:PKT">PKT</a> t)</li><li><a href="#v:primarily">primarily</a> :: <a href="Data-Table.html#t:Key">Key</a> <a href="Data-Table.html#t:Primary">Primary</a> t a -&gt; (a ~ <a href="Data-Table.html#t:PKT">PKT</a> t =&gt; r) -&gt; r</li><li><a href="#v:mkTab">mkTab</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Applicative.html#t:Applicative">Applicative</a> h =&gt; (<span class="keyword">forall</span> k a. (<a href="Data-Table.html#t:IsKeyType">IsKeyType</a> k, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a) =&gt; <a href="Data-Table.html#t:Key">Key</a> k t a -&gt; h (i k a)) -&gt; h (<a href="Data-Table.html#t:Tab">Tab</a> t i)</li><li><a href="#v:ixTab">ixTab</a> :: <a href="Data-Table.html#t:Tab">Tab</a> t i -&gt; <a href="Data-Table.html#t:Key">Key</a> k t a -&gt; i k a</li><li><a href="#v:forTab">forTab</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Applicative.html#t:Applicative">Applicative</a> h =&gt; <a href="Data-Table.html#t:Tab">Tab</a> t i -&gt; (<span class="keyword">forall</span> k a. (<a href="Data-Table.html#t:IsKeyType">IsKeyType</a> k, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a) =&gt; <a href="Data-Table.html#t:Key">Key</a> k t a -&gt; i k a -&gt; h (j k a)) -&gt; h (<a href="Data-Table.html#t:Tab">Tab</a> t j)</li><li><a href="#v:autoTab">autoTab</a> :: t -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-Table.html#t:Tab">Tab</a> t (<a href="Data-Table.html#t:Index">Index</a> t) -&gt; t)</li></ul></li><li class="src short"><a href="#v:empty">empty</a> :: <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><a href="#v:singleton">singleton</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; t -&gt; <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><a href="#v:table">table</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Iso-39-">Iso'</a> [t] (<a href="Data-Table.html#t:Table">Table</a> t)</li><li class="src short"><a href="#v:fromList">fromList</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; [t] -&gt; <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><a href="#v:null">null</a> :: <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:insert">insert</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; t -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><span class="keyword">class</span> <a href="#t:With">With</a> q t | q -&gt; t <span class="keyword">where</span><ul class="subs"><li><a href="#v:with">with</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; q a -&gt; (<span class="keyword">forall</span> x. <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> x =&gt; x -&gt; x -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a>) -&gt; a -&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="Data-Table.html#t:Table">Table</a> t) (<a href="Data-Table.html#t:Table">Table</a> t)</li></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Group">Group</a> q t | q -&gt; t <span class="keyword">where</span><ul class="subs"><li><a href="#v:group">group</a> :: (<a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Internal.html#t:Indexable">Indexable</a> a p, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a) =&gt; q a -&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:IndexedLensLike-39-">IndexedLensLike'</a> p f (<a href="Data-Table.html#t:Table">Table</a> t) (<a href="Data-Table.html#t:Table">Table</a> t)</li></ul></li><li class="src short"><a href="#v:delete">delete</a> :: t -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><a href="#v:deleteWith">deleteWith</a> :: (<a href="Data-Table.html#t:With">With</a> q t, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a) =&gt; q a -&gt; (<span class="keyword">forall</span> x. <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> x =&gt; x -&gt; x -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a>) -&gt; a -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><a href="#v:rows">rows</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Traversal">Traversal</a> (<a href="Data-Table.html#t:Table">Table</a> s) (<a href="Data-Table.html#t:Table">Table</a> t) s t</li><li class="src short"><a href="#v:rows-39-">rows'</a> :: <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="Data-Table.html#t:Table">Table</a> t) t</li><li class="src short"><span class="keyword">data</span> <a href="#t:Auto">Auto</a> a = <a href="#v:Auto">Auto</a> !<a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> a</li><li class="src short"><a href="#v:autoKey">autoKey</a> :: <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="Data-Table.html#t:Auto">Auto</a> a) <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:auto">auto</a> :: a -&gt; <a href="Data-Table.html#t:Auto">Auto</a> a</li><li class="src short"><span class="keyword">data</span> <a href="#t:Value">Value</a> a = <a href="#v:Value">Value</a> a</li><li class="src short"><a href="#v:autoIncrement">autoIncrement</a> :: (<a href="Data-Table.html#t:Tabular">Tabular</a> t, <a href="Data-Table.html#t:PKT">PKT</a> t ~ <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>) =&gt; Loupe' t <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -&gt; t -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-Table.html#t:Tab">Tab</a> t (<a href="Data-Table.html#t:Index">Index</a> t) -&gt; t)</li><li class="src short"><span class="keyword">class</span> <a href="#t:IsKeyType">IsKeyType</a> k <span class="keyword">where</span><ul class="subs"><li><a href="#v:keyType">keyType</a> :: <a href="Data-Table.html#t:Key">Key</a> k t a -&gt; <a href="Data-Table.html#t:KeyType">KeyType</a> k</li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:KeyType">KeyType</a> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:Primary">Primary</a> :: <a href="Data-Table.html#t:KeyType">KeyType</a> <a href="Data-Table.html#t:Primary">Primary</a> </li><li><a href="#v:Candidate">Candidate</a> :: <a href="Data-Table.html#t:KeyType">KeyType</a> <a href="Data-Table.html#t:Candidate">Candidate</a> </li><li><a href="#v:Supplemental">Supplemental</a> :: <a href="Data-Table.html#t:KeyType">KeyType</a> <a href="Data-Table.html#t:Supplemental">Supplemental</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:Primary">Primary</a> </li><li class="src short"><span class="keyword">data</span> <a href="#t:Candidate">Candidate</a> </li><li class="src short"><span class="keyword">data</span> <a href="#t:Supplemental">Supplemental</a> </li><li class="src short"><span class="keyword">data</span> <a href="#t:Index">Index</a> t k a <span class="keyword">where</span><ul class="subs"><li><a href="#v:PrimaryIndex">PrimaryIndex</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/containers-0.4.2.1/Data-Map.html#t:Map">Map</a> (<a href="Data-Table.html#t:PKT">PKT</a> t) t -&gt; <a href="Data-Table.html#t:Index">Index</a> t <a href="Data-Table.html#t:Primary">Primary</a> a </li><li><a href="#v:CandidateIndex">CandidateIndex</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/containers-0.4.2.1/Data-Map.html#t:Map">Map</a> a t -&gt; <a href="Data-Table.html#t:Index">Index</a> t <a href="Data-Table.html#t:Candidate">Candidate</a> a </li><li><a href="#v:SupplementalIndex">SupplementalIndex</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/containers-0.4.2.1/Data-Map.html#t:Map">Map</a> a [t] -&gt; <a href="Data-Table.html#t:Index">Index</a> t <a href="Data-Table.html#t:Supplemental">Supplemental</a> a </li></ul></li></ul></div><div id="interface"><h1 id="g:1">Tables
+</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:Table">Table</a> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:EmptyTable">EmptyTable</a> :: <a href="Data-Table.html#t:Table">Table</a> t </li><li><a href="#v:Table">Table</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; <a href="Data-Table.html#t:Tab">Tab</a> t (<a href="Data-Table.html#t:Index">Index</a> t) -&gt; <a href="Data-Table.html#t:Table">Table</a> t </li></ul></li><li class="src short"><span class="keyword">class</span> <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Data-Table.html#t:PKT">PKT</a> t) =&gt; <a href="#t:Tabular">Tabular</a> t <span class="keyword">where</span><ul class="subs"><li><span class="keyword">type</span> <a href="#t:PKT">PKT</a> t </li><li><span class="keyword">data</span> <a href="#t:Tab">Tab</a> t m </li><li><span class="keyword">data</span> <a href="#t:Key">Key</a> k t :: * -&gt; *</li><li><a href="#v:index">index</a> :: <a href="Data-Table.html#t:Key">Key</a> k t a -&gt; t -&gt; a</li><li><a href="#v:primary">primary</a> :: <a href="Data-Table.html#t:Key">Key</a> <a href="Data-Table.html#t:Primary">Primary</a> t (<a href="Data-Table.html#t:PKT">PKT</a> t)</li><li><a href="#v:primarily">primarily</a> :: <a href="Data-Table.html#t:Key">Key</a> <a href="Data-Table.html#t:Primary">Primary</a> t a -&gt; (a ~ <a href="Data-Table.html#t:PKT">PKT</a> t =&gt; r) -&gt; r</li><li><a href="#v:mkTab">mkTab</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Applicative.html#t:Applicative">Applicative</a> h =&gt; (<span class="keyword">forall</span> k a. (<a href="Data-Table.html#t:IsKeyType">IsKeyType</a> k, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a) =&gt; <a href="Data-Table.html#t:Key">Key</a> k t a -&gt; h (i k a)) -&gt; h (<a href="Data-Table.html#t:Tab">Tab</a> t i)</li><li><a href="#v:ixTab">ixTab</a> :: <a href="Data-Table.html#t:Tab">Tab</a> t i -&gt; <a href="Data-Table.html#t:Key">Key</a> k t a -&gt; i k a</li><li><a href="#v:forTab">forTab</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Applicative.html#t:Applicative">Applicative</a> h =&gt; <a href="Data-Table.html#t:Tab">Tab</a> t i -&gt; (<span class="keyword">forall</span> k a. (<a href="Data-Table.html#t:IsKeyType">IsKeyType</a> k, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a) =&gt; <a href="Data-Table.html#t:Key">Key</a> k t a -&gt; i k a -&gt; h (j k a)) -&gt; h (<a href="Data-Table.html#t:Tab">Tab</a> t j)</li><li><a href="#v:autoTab">autoTab</a> :: t -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-Table.html#t:Tab">Tab</a> t (<a href="Data-Table.html#t:Index">Index</a> t) -&gt; t)</li></ul></li><li class="src short"><a href="#v:empty">empty</a> :: <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><a href="#v:singleton">singleton</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; t -&gt; <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><a href="#v:table">table</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Iso-39-">Iso'</a> [t] (<a href="Data-Table.html#t:Table">Table</a> t)</li><li class="src short"><a href="#v:fromList">fromList</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; [t] -&gt; <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><a href="#v:null">null</a> :: <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:count">count</a> :: <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><span class="keyword">class</span> <a href="#t:With">With</a> q t | q -&gt; t <span class="keyword">where</span><ul class="subs"><li><a href="#v:with">with</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; q a -&gt; (<span class="keyword">forall</span> x. <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> x =&gt; x -&gt; x -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a>) -&gt; a -&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="Data-Table.html#t:Table">Table</a> t) (<a href="Data-Table.html#t:Table">Table</a> t)</li><li><a href="#v:group">group</a> :: (<a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Internal.html#t:Indexable">Indexable</a> a p, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a) =&gt; q a -&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:IndexedLensLike-39-">IndexedLensLike'</a> p f (<a href="Data-Table.html#t:Table">Table</a> t) (<a href="Data-Table.html#t:Table">Table</a> t)</li><li><a href="#v:deleteWith">deleteWith</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; q a -&gt; (<span class="keyword">forall</span> x. <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> x =&gt; x -&gt; x -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a>) -&gt; a -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t</li></ul></li><li class="src short"><a href="#v:insert">insert</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; t -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><a href="#v:delete">delete</a> :: t -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t</li><li class="src short"><a href="#v:rows">rows</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Traversal">Traversal</a> (<a href="Data-Table.html#t:Table">Table</a> s) (<a href="Data-Table.html#t:Table">Table</a> t) s t</li><li class="src short"><a href="#v:rows-39-">rows'</a> :: <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="Data-Table.html#t:Table">Table</a> t) t</li><li class="src short"><span class="keyword">data</span> <a href="#t:Auto">Auto</a> a = <a href="#v:Auto">Auto</a> !<a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> a</li><li class="src short"><a href="#v:autoKey">autoKey</a> :: <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="Data-Table.html#t:Auto">Auto</a> a) <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:auto">auto</a> :: a -&gt; <a href="Data-Table.html#t:Auto">Auto</a> a</li><li class="src short"><span class="keyword">data</span> <a href="#t:Value">Value</a> a = <a href="#v:Value">Value</a> a</li><li class="src short"><a href="#v:autoIncrement">autoIncrement</a> :: (<a href="Data-Table.html#t:Tabular">Tabular</a> t, <a href="Data-Table.html#t:PKT">PKT</a> t ~ <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>) =&gt; Loupe' t <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -&gt; t -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-Table.html#t:Tab">Tab</a> t (<a href="Data-Table.html#t:Index">Index</a> t) -&gt; t)</li><li class="src short"><span class="keyword">class</span> <a href="#t:IsKeyType">IsKeyType</a> k <span class="keyword">where</span><ul class="subs"><li><a href="#v:keyType">keyType</a> :: <a href="Data-Table.html#t:Key">Key</a> k t a -&gt; <a href="Data-Table.html#t:KeyType">KeyType</a> k</li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:KeyType">KeyType</a> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:Primary">Primary</a> :: <a href="Data-Table.html#t:KeyType">KeyType</a> <a href="Data-Table.html#t:Primary">Primary</a> </li><li><a href="#v:Candidate">Candidate</a> :: <a href="Data-Table.html#t:KeyType">KeyType</a> <a href="Data-Table.html#t:Candidate">Candidate</a> </li><li><a href="#v:Supplemental">Supplemental</a> :: <a href="Data-Table.html#t:KeyType">KeyType</a> <a href="Data-Table.html#t:Supplemental">Supplemental</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:Primary">Primary</a> </li><li class="src short"><span class="keyword">data</span> <a href="#t:Candidate">Candidate</a> </li><li class="src short"><span class="keyword">data</span> <a href="#t:Supplemental">Supplemental</a> </li><li class="src short"><span class="keyword">data</span> <a href="#t:Index">Index</a> t k a <span class="keyword">where</span><ul class="subs"><li><a href="#v:PrimaryIndex">PrimaryIndex</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/containers-0.4.2.1/Data-Map.html#t:Map">Map</a> (<a href="Data-Table.html#t:PKT">PKT</a> t) t -&gt; <a href="Data-Table.html#t:Index">Index</a> t <a href="Data-Table.html#t:Primary">Primary</a> a </li><li><a href="#v:CandidateIndex">CandidateIndex</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/containers-0.4.2.1/Data-Map.html#t:Map">Map</a> a t -&gt; <a href="Data-Table.html#t:Index">Index</a> t <a href="Data-Table.html#t:Candidate">Candidate</a> a </li><li><a href="#v:SupplementalIndex">SupplementalIndex</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/containers-0.4.2.1/Data-Map.html#t:Map">Map</a> a [t] -&gt; <a href="Data-Table.html#t:Index">Index</a> t <a href="Data-Table.html#t:Supplemental">Supplemental</a> a </li></ul></li></ul></div><div id="interface"><h1 id="g:1">Tables
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Table" class="def">Table</a> t <span class="keyword">where</span><a href="src/Data-Table.html#Table" class="link">Source</a></p><div class="doc"><p>Every <code><a href="Data-Table.html#t:Table">Table</a></code> has a <code><a href="Data-Table.html#t:Primary">Primary</a></code> <code>key</code> and may have <code><a href="Data-Table.html#t:Candidate">Candidate</a></code> or
<code><a href="Data-Table.html#t:Supplemental">Supplemental</a></code> keys.
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:EmptyTable" class="def">EmptyTable</a> :: <a href="Data-Table.html#t:Table">Table</a> t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a name="v:Table" class="def">Table</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; <a href="Data-Table.html#t:Tab">Tab</a> t (<a href="Data-Table.html#t:Index">Index</a> t) -&gt; <a href="Data-Table.html#t:Table">Table</a> t</td><td class="doc empty">&nbsp;</td></tr></table></div><div class="subs instances"><p id="control.i:Table" class="caption collapser" onclick="toggleSection('i:Table')">Instances</p><div id="section.i:Table" class="show"><table><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="Data-Table.html#t:Table">Table</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Foldable.html#t:Foldable">Foldable</a> <a href="Data-Table.html#t:Table">Table</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Eq.html#t:Eq">Eq</a> t =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Data-Table.html#t:Table">Table</a> t)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="Data-Table.html#t:Tabular">Tabular</a> t, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> t) =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> (<a href="Data-Table.html#t:Table">Table</a> t)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> t =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Data-Table.html#t:Table">Table</a> t)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="Data-Table.html#t:Tabular">Tabular</a> t, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Read.html#t:Read">Read</a> t) =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Read.html#t:Read">Read</a> (<a href="Data-Table.html#t:Table">Table</a> t)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> t =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> (<a href="Data-Table.html#t:Table">Table</a> t)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Data-Table.html#t:Table">Table</a> t)</td><td class="doc empty">&nbsp;</td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Data-Table.html#t:PKT">PKT</a> t) =&gt; <a name="t:Tabular" class="def">Tabular</a> t <span class="keyword">where</span><a href="src/Data-Table.html#Tabular" class="link">Source</a></p><div class="doc"><p>This class describes how to index a user-defined data type.
@@ -34,15 +34,14 @@
</p></div></div><div class="top"><p class="src"><a name="v:fromList" class="def">fromList</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; [t] -&gt; <a href="Data-Table.html#t:Table">Table</a> t<a href="src/Data-Table.html#fromList" class="link">Source</a></p><div class="doc"><p>Build up a table from a list
</p></div></div><h2 id="g:3">Reading and Writing
</h2><div class="top"><p class="src"><a name="v:null" class="def">null</a> :: <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Data-Table.html#null" class="link">Source</a></p><div class="doc"><p>Check to see if the relation is empty
-</p></div></div><div class="top"><p class="src"><a name="v:insert" class="def">insert</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; t -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t<a href="src/Data-Table.html#insert" class="link">Source</a></p><div class="doc"><p>Insert a row into a relation, removing collisions.
-</p></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:With" class="def">With</a> q t | q -&gt; t <span class="keyword">where</span><a href="src/Data-Table.html#With" class="link">Source</a></p><div class="doc"><p>Select a smaller, updateable subset of the rows of a table using an index or an arbitrary function.
-</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:with" class="def">with</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; q a -&gt; (<span class="keyword">forall</span> x. <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> x =&gt; x -&gt; x -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a>) -&gt; a -&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="Data-Table.html#t:Table">Table</a> t) (<a href="Data-Table.html#t:Table">Table</a> t)<a href="src/Data-Table.html#with" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:With" class="caption collapser" onclick="toggleSection('i:With')">Instances</p><div id="section.i:With" class="show"><table><tr><td class="src"><a href="Data-Table.html#t:With">With</a> ((-&gt;) t) t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Data-Table.html#t:With">With</a> (<a href="Data-Table.html#t:Key">Key</a> k t) t</td><td class="doc empty">&nbsp;</td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Group" class="def">Group</a> q t | q -&gt; t <span class="keyword">where</span><a href="src/Data-Table.html#Group" class="link">Source</a></p><div class="doc"><p>Group by a given key or arbitrary function.
-</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:group" class="def">group</a> :: (<a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Internal.html#t:Indexable">Indexable</a> a p, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a) =&gt; q a -&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:IndexedLensLike-39-">IndexedLensLike'</a> p f (<a href="Data-Table.html#t:Table">Table</a> t) (<a href="Data-Table.html#t:Table">Table</a> t)<a href="src/Data-Table.html#group" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Group" class="caption collapser" onclick="toggleSection('i:Group')">Instances</p><div id="section.i:Group" class="show"><table><tr><td class="src"><a href="Data-Table.html#t:Group">Group</a> ((-&gt;) t) t</td><td class="doc"><p>Group by an arbitrary function
-</p></td></tr><tr><td class="src"><a href="Data-Table.html#t:Group">Group</a> (<a href="Data-Table.html#t:Key">Key</a> k t) t</td><td class="doc"><p>Group by a key
-</p></td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:delete" class="def">delete</a> :: t -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t<a href="src/Data-Table.html#delete" class="link">Source</a></p><div class="doc"><p>Delete this row from the database. This will remove any row that collides with the specified
+</p></div></div><div class="top"><p class="src"><a name="v:count" class="def">count</a> :: <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a><a href="src/Data-Table.html#count" class="link">Source</a></p><div class="doc"><p>Retrieve a row count.
+</p></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:With" class="def">With</a> q t | q -&gt; t <span class="keyword">where</span><a href="src/Data-Table.html#With" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:with" class="def">with</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; q a -&gt; (<span class="keyword">forall</span> x. <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> x =&gt; x -&gt; x -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a>) -&gt; a -&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="Data-Table.html#t:Table">Table</a> t) (<a href="Data-Table.html#t:Table">Table</a> t)<a href="src/Data-Table.html#with" class="link">Source</a></p><div class="doc"><p>Select a smaller, updateable subset of the rows of a table using an index or an arbitrary function.
+</p></div><p class="src"><a name="v:group" class="def">group</a> :: (<a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Internal.html#t:Indexable">Indexable</a> a p, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a) =&gt; q a -&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:IndexedLensLike-39-">IndexedLensLike'</a> p f (<a href="Data-Table.html#t:Table">Table</a> t) (<a href="Data-Table.html#t:Table">Table</a> t)<a href="src/Data-Table.html#group" class="link">Source</a></p><div class="doc"><p>Group by a given key or arbitrary function.
+</p></div><p class="src"><a name="v:deleteWith" class="def">deleteWith</a> :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; q a -&gt; (<span class="keyword">forall</span> x. <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> x =&gt; x -&gt; x -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a>) -&gt; a -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t<a href="src/Data-Table.html#deleteWith" class="link">Source</a></p><div class="doc"><p>Delete selected rows from a table
+</p><pre><code><a href="Data-Table.html#v:deleteWith">deleteWith</a></code> p cmp a t &#8801; <code><a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Setter.html#v:set">set</a></code> (<code><a href="Data-Table.html#v:with">with</a></code> p cmp a) <code><a href="Data-Table.html#v:empty">empty</a></code> t</pre></div></div><div class="subs instances"><p id="control.i:With" class="caption collapser" onclick="toggleSection('i:With')">Instances</p><div id="section.i:With" class="show"><table><tr><td class="src"><a href="Data-Table.html#t:With">With</a> ((-&gt;) t) t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Data-Table.html#t:With">With</a> (<a href="Data-Table.html#t:Key">Key</a> k t) t</td><td class="doc empty">&nbsp;</td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:insert" class="def">insert</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; t -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t<a href="src/Data-Table.html#insert" class="link">Source</a></p><div class="doc"><p>Insert a row into a relation, removing collisions.
+</p></div></div><div class="top"><p class="src"><a name="v:delete" class="def">delete</a> :: t -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t<a href="src/Data-Table.html#delete" class="link">Source</a></p><div class="doc"><p>Delete this row from the database. This will remove any row that collides with the specified
row on any primary or candidate key.
-</p></div></div><div class="top"><p class="src"><a name="v:deleteWith" class="def">deleteWith</a> :: (<a href="Data-Table.html#t:With">With</a> q t, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a) =&gt; q a -&gt; (<span class="keyword">forall</span> x. <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> x =&gt; x -&gt; x -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a>) -&gt; a -&gt; <a href="Data-Table.html#t:Table">Table</a> t -&gt; <a href="Data-Table.html#t:Table">Table</a> t<a href="src/Data-Table.html#deleteWith" class="link">Source</a></p><div class="doc"><p>Delete selected rows from a table
-</p><pre><code><a href="Data-Table.html#v:deleteWith">deleteWith</a></code> p cmp a t &#8801; <code><a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Setter.html#v:set">set</a></code> (<code><a href="Data-Table.html#v:with">with</a></code> p cmp a) <code><a href="Data-Table.html#v:empty">empty</a></code> t</pre></div></div><div class="top"><p class="src"><a name="v:rows" class="def">rows</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Traversal">Traversal</a> (<a href="Data-Table.html#t:Table">Table</a> s) (<a href="Data-Table.html#t:Table">Table</a> t) s t<a href="src/Data-Table.html#rows" class="link">Source</a></p><div class="doc"><p>Traverse all of the rows in a table, potentially changing table types completely.
+</p></div></div><div class="top"><p class="src"><a name="v:rows" class="def">rows</a> :: <a href="Data-Table.html#t:Tabular">Tabular</a> t =&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Traversal">Traversal</a> (<a href="Data-Table.html#t:Table">Table</a> s) (<a href="Data-Table.html#t:Table">Table</a> t) s t<a href="src/Data-Table.html#rows" class="link">Source</a></p><div class="doc"><p>Traverse all of the rows in a table, potentially changing table types completely.
</p></div></div><div class="top"><p class="src"><a name="v:rows-39-" class="def">rows'</a> :: <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="Data-Table.html#t:Table">Table</a> t) t<a href="src/Data-Table.html#rows%27" class="link">Source</a></p><div class="doc"><p>Traverse all of the rows in a table without changing any types
</p></div></div><h1 id="g:4">Esoterica
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Auto" class="def">Auto</a> a <a href="src/Data-Table.html#Auto" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Auto" class="def">Auto</a> !<a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> a</td><td class="doc empty">&nbsp;</td></tr></table></div><div class="subs instances"><p id="control.i:Auto" class="caption collapser" onclick="toggleSection('i:Auto')">Instances</p><div id="section.i:Auto" class="show"><table><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> <a href="Data-Table.html#t:Auto">Auto</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="Data-Table.html#t:Auto">Auto</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Foldable.html#t:Foldable">Foldable</a> <a href="Data-Table.html#t:Auto">Auto</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Traversable.html#t:Traversable">Traversable</a> <a href="Data-Table.html#t:Auto">Auto</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">Comonad <a href="Data-Table.html#t:Auto">Auto</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Indexed.html#t:FunctorWithIndex">FunctorWithIndex</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> <a href="Data-Table.html#t:Auto">Auto</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Indexed.html#t:FoldableWithIndex">FoldableWithIndex</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> <a href="Data-Table.html#t:Auto">Auto</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Indexed.html#t:TraversableWithIndex">TraversableWithIndex</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> <a href="Data-Table.html#t:Auto">Auto</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Internal.html#t:Indexable">Indexable</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> p, ~ (* -&gt; * -&gt; *) q (-&gt;), <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> f) =&gt; HasValue p q f (<a href="Data-Table.html#t:Auto">Auto</a> a) (<a href="Data-Table.html#t:Auto">Auto</a> b) a b</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(~ * a <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>, ~ * b <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>, <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f) =&gt; <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Each.html#t:Each">Each</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> f (<a href="Data-Table.html#t:Auto">Auto</a> a) (<a href="Data-Table.html#t:Auto">Auto</a> b) a b</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Eq.html#t:Eq">Eq</a> a =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Data-Table.html#t:Auto">Auto</a> a)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> (<a href="Data-Table.html#t:Auto">Auto</a> a)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Data-Table.html#t:Auto">Auto</a> a)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Read.html#t:Read">Read</a> a =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Read.html#t:Read">Read</a> (<a href="Data-Table.html#t:Auto">Auto</a> a)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> a =&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> (<a href="Data-Table.html#t:Auto">Auto</a> a)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Data-Table.html#t:Tabular">Tabular</a> (<a href="Data-Table.html#t:Auto">Auto</a> a)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Tuple.html#t:Field1">Field1</a> (<a href="Data-Table.html#t:Auto">Auto</a> a) (<a href="Data-Table.html#t:Auto">Auto</a> a) <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Tuple.html#t:Field2">Field2</a> (<a href="Data-Table.html#t:Auto">Auto</a> a) (<a href="Data-Table.html#t:Auto">Auto</a> b) a b</td><td class="doc empty">&nbsp;</td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:autoKey" class="def">autoKey</a> :: <a href="/Users/ekmett/Library/Haskell/ghc-7.4.1/lib/lens-3.8/doc/html/Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="Data-Table.html#t:Auto">Auto</a> a) <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-x86_64/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a><a href="src/Data-Table.html#autoKey" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:auto" class="def">auto</a> :: a -&gt; <a href="Data-Table.html#t:Auto">Auto</a> a<a href="src/Data-Table.html#auto" class="link">Source</a></p><div class="doc"><p>Generate a row with an auto-incremented key
2  doc-index.html
View
@@ -1,4 +1,4 @@
<!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>tables-0.1: In-memory storage with multiple keys using lenses (Index)</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();};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">tables-0.1: In-memory storage with multiple keys using lenses</p></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">Auto</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Auto">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Auto">Data.Table</a></td></tr><tr><td class="src">auto</td><td class="module"><a href="Data-Table.html#v:auto">Data.Table</a></td></tr><tr><td class="src">autoIncrement</td><td class="module"><a href="Data-Table.html#v:autoIncrement">Data.Table</a></td></tr><tr><td class="src">AutoKey</td><td class="module">Data.Table</td></tr><tr><td class="src">autoKey</td><td class="module"><a href="Data-Table.html#v:autoKey">Data.Table</a></td></tr><tr><td class="src">AutoTab</td><td class="module">Data.Table</td></tr><tr><td class="src">autoTab</td><td class="module"><a href="Data-Table.html#v:autoTab">Data.Table</a></td></tr><tr><td class="src">Candidate</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Candidate">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Candidate">Data.Table</a></td></tr><tr><td class="src">CandidateIndex</td><td class="module"><a href="Data-Table.html#v:CandidateIndex">Data.Table</a></td></tr><tr><td class="src">delete</td><td class="module"><a href="Data-Table.html#v:delete">Data.Table</a></td></tr><tr><td class="src">deleteWith</td><td class="module"><a href="Data-Table.html#v:deleteWith">Data.Table</a></td></tr><tr><td class="src">empty</td><td class="module"><a href="Data-Table.html#v:empty">Data.Table</a></td></tr><tr><td class="src">EmptyTable</td><td class="module"><a href="Data-Table.html#v:EmptyTable">Data.Table</a></td></tr><tr><td class="src">forTab</td><td class="module"><a href="Data-Table.html#v:forTab">Data.Table</a></td></tr><tr><td class="src">fromList</td><td class="module"><a href="Data-Table.html#v:fromList">Data.Table</a></td></tr><tr><td class="src">Fst</td><td class="module">Data.Table</td></tr><tr><td class="src">Group</td><td class="module"><a href="Data-Table.html#t:Group">Data.Table</a></td></tr><tr><td class="src">group</td><td class="module"><a href="Data-Table.html#v:group">Data.Table</a></td></tr><tr><td class="src">Index</td><td class="module"><a href="Data-Table.html#t:Index">Data.Table</a></td></tr><tr><td class="src">index</td><td class="module"><a href="Data-Table.html#v:index">Data.Table</a></td></tr><tr><td class="src">insert</td><td class="module"><a href="Data-Table.html#v:insert">Data.Table</a></td></tr><tr><td class="src">IsKeyType</td><td class="module"><a href="Data-Table.html#t:IsKeyType">Data.Table</a></td></tr><tr><td class="src">ixTab</td><td class="module"><a href="Data-Table.html#v:ixTab">Data.Table</a></td></tr><tr><td class="src">Key</td><td class="module"><a href="Data-Table.html#t:Key">Data.Table</a></td></tr><tr><td class="src">KeyType</td><td class="module"><a href="Data-Table.html#t:KeyType">Data.Table</a></td></tr><tr><td class="src">keyType</td><td class="module"><a href="Data-Table.html#v:keyType">Data.Table</a></td></tr><tr><td class="src">KVTab</td><td class="module">Data.Table</td></tr><tr><td class="src">mkTab</td><td class="module"><a href="Data-Table.html#v:mkTab">Data.Table</a></td></tr><tr><td class="src">null</td><td class="module"><a href="Data-Table.html#v:null">Data.Table</a></td></tr><tr><td class="src">PKT</td><td class="module"><a href="Data-Table.html#t:PKT">Data.Table</a></td></tr><tr><td class="src">primarily</td><td class="module"><a href="Data-Table.html#v:primarily">Data.Table</a></td></tr><tr><td class="src">Primary</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Primary">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Primary">Data.Table</a></td></tr><tr><td class="src">primary</td><td class="module"><a href="Data-Table.html#v:primary">Data.Table</a></td></tr><tr><td class="src">PrimaryIndex</td><td class="module"><a href="Data-Table.html#v:PrimaryIndex">Data.Table</a></td></tr><tr><td class="src">rows</td><td class="module"><a href="Data-Table.html#v:rows">Data.Table</a></td></tr><tr><td class="src">rows'</td><td class="module"><a href="Data-Table.html#v:rows-39-">Data.Table</a></td></tr><tr><td class="src">singleton</td><td class="module"><a href="Data-Table.html#v:singleton">Data.Table</a></td></tr><tr><td class="src">Supplemental</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Supplemental">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Supplemental">Data.Table</a></td></tr><tr><td class="src">SupplementalIndex</td><td class="module"><a href="Data-Table.html#v:SupplementalIndex">Data.Table</a></td></tr><tr><td class="src">Tab</td><td class="module"><a href="Data-Table.html#t:Tab">Data.Table</a></td></tr><tr><td class="src">Table</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Table">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Table">Data.Table</a></td></tr><tr><td class="src">table</td><td class="module"><a href="Data-Table.html#v:table">Data.Table</a></td></tr><tr><td class="src">Tabular</td><td class="module"><a href="Data-Table.html#t:Tabular">Data.Table</a></td></tr><tr><td class="src">Val</td><td class="module">Data.Table</td></tr><tr><td class="src">Value</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Value">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Value">Data.Table</a></td></tr><tr><td class="src">ValueTab</td><td class="module">Data.Table</td></tr><tr><td class="src">With</td><td class="module"><a href="Data-Table.html#t:With">Data.Table</a></td></tr><tr><td class="src">with</td><td class="module"><a href="Data-Table.html#v:with">Data.Table</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">tables-0.1: In-memory storage with multiple keys using lenses</p></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">Auto</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Auto">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Auto">Data.Table</a></td></tr><tr><td class="src">auto</td><td class="module"><a href="Data-Table.html#v:auto">Data.Table</a></td></tr><tr><td class="src">autoIncrement</td><td class="module"><a href="Data-Table.html#v:autoIncrement">Data.Table</a></td></tr><tr><td class="src">AutoKey</td><td class="module">Data.Table</td></tr><tr><td class="src">autoKey</td><td class="module"><a href="Data-Table.html#v:autoKey">Data.Table</a></td></tr><tr><td class="src">AutoTab</td><td class="module">Data.Table</td></tr><tr><td class="src">autoTab</td><td class="module"><a href="Data-Table.html#v:autoTab">Data.Table</a></td></tr><tr><td class="src">Candidate</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Candidate">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Candidate">Data.Table</a></td></tr><tr><td class="src">CandidateIndex</td><td class="module"><a href="Data-Table.html#v:CandidateIndex">Data.Table</a></td></tr><tr><td class="src">count</td><td class="module"><a href="Data-Table.html#v:count">Data.Table</a></td></tr><tr><td class="src">delete</td><td class="module"><a href="Data-Table.html#v:delete">Data.Table</a></td></tr><tr><td class="src">deleteWith</td><td class="module"><a href="Data-Table.html#v:deleteWith">Data.Table</a></td></tr><tr><td class="src">empty</td><td class="module"><a href="Data-Table.html#v:empty">Data.Table</a></td></tr><tr><td class="src">EmptyTable</td><td class="module"><a href="Data-Table.html#v:EmptyTable">Data.Table</a></td></tr><tr><td class="src">forTab</td><td class="module"><a href="Data-Table.html#v:forTab">Data.Table</a></td></tr><tr><td class="src">fromList</td><td class="module"><a href="Data-Table.html#v:fromList">Data.Table</a></td></tr><tr><td class="src">Fst</td><td class="module">Data.Table</td></tr><tr><td class="src">group</td><td class="module"><a href="Data-Table.html#v:group">Data.Table</a></td></tr><tr><td class="src">Index</td><td class="module"><a href="Data-Table.html#t:Index">Data.Table</a></td></tr><tr><td class="src">index</td><td class="module"><a href="Data-Table.html#v:index">Data.Table</a></td></tr><tr><td class="src">insert</td><td class="module"><a href="Data-Table.html#v:insert">Data.Table</a></td></tr><tr><td class="src">IsKeyType</td><td class="module"><a href="Data-Table.html#t:IsKeyType">Data.Table</a></td></tr><tr><td class="src">ixTab</td><td class="module"><a href="Data-Table.html#v:ixTab">Data.Table</a></td></tr><tr><td class="src">Key</td><td class="module"><a href="Data-Table.html#t:Key">Data.Table</a></td></tr><tr><td class="src">KeyType</td><td class="module"><a href="Data-Table.html#t:KeyType">Data.Table</a></td></tr><tr><td class="src">keyType</td><td class="module"><a href="Data-Table.html#v:keyType">Data.Table</a></td></tr><tr><td class="src">KVTab</td><td class="module">Data.Table</td></tr><tr><td class="src">mkTab</td><td class="module"><a href="Data-Table.html#v:mkTab">Data.Table</a></td></tr><tr><td class="src">null</td><td class="module"><a href="Data-Table.html#v:null">Data.Table</a></td></tr><tr><td class="src">PKT</td><td class="module"><a href="Data-Table.html#t:PKT">Data.Table</a></td></tr><tr><td class="src">primarily</td><td class="module"><a href="Data-Table.html#v:primarily">Data.Table</a></td></tr><tr><td class="src">Primary</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Primary">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Primary">Data.Table</a></td></tr><tr><td class="src">primary</td><td class="module"><a href="Data-Table.html#v:primary">Data.Table</a></td></tr><tr><td class="src">PrimaryIndex</td><td class="module"><a href="Data-Table.html#v:PrimaryIndex">Data.Table</a></td></tr><tr><td class="src">rows</td><td class="module"><a href="Data-Table.html#v:rows">Data.Table</a></td></tr><tr><td class="src">rows'</td><td class="module"><a href="Data-Table.html#v:rows-39-">Data.Table</a></td></tr><tr><td class="src">singleton</td><td class="module"><a href="Data-Table.html#v:singleton">Data.Table</a></td></tr><tr><td class="src">Supplemental</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Supplemental">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Supplemental">Data.Table</a></td></tr><tr><td class="src">SupplementalIndex</td><td class="module"><a href="Data-Table.html#v:SupplementalIndex">Data.Table</a></td></tr><tr><td class="src">Tab</td><td class="module"><a href="Data-Table.html#t:Tab">Data.Table</a></td></tr><tr><td class="src">Table</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Table">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Table">Data.Table</a></td></tr><tr><td class="src">table</td><td class="module"><a href="Data-Table.html#v:table">Data.Table</a></td></tr><tr><td class="src">Tabular</td><td class="module"><a href="Data-Table.html#t:Tabular">Data.Table</a></td></tr><tr><td class="src">Val</td><td class="module">Data.Table</td></tr><tr><td class="src">Value</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Table.html#t:Value">Data.Table</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Table.html#v:Value">Data.Table</a></td></tr><tr><td class="src">ValueTab</td><td class="module">Data.Table</td></tr><tr><td class="src">With</td><td class="module"><a href="Data-Table.html#t:With">Data.Table</a></td></tr><tr><td class="src">with</td><td class="module"><a href="Data-Table.html#v:with">Data.Table</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>
2  mini_Data-Table.html
View
@@ -4,6 +4,6 @@
</script></head><body id="mini"><div id="module-header"><p class="caption">Data.Table</p></div><div id="interface"><h1>Tables
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Table.html#t:Table" target="main">Table</a> t</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Table.html#t:Tabular" target="main">Tabular</a> t</p></div><h2>Table Construction
</h2><div class="top"><p class="src"><a href="Data-Table.html#v:empty" target="main">empty</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:singleton" target="main">singleton</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:table" target="main">table</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:fromList" target="main">fromList</a></p></div><h2>Reading and Writing
-</h2><div class="top"><p class="src"><a href="Data-Table.html#v:null" target="main">null</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:insert" target="main">insert</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Table.html#t:With" target="main">With</a> q t</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Table.html#t:Group" target="main">Group</a> q t</p></div><div class="top"><p class="src"><a href="Data-Table.html#v:delete" target="main">delete</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:deleteWith" target="main">deleteWith</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:rows" target="main">rows</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:rows-39-" target="main">rows'</a></p></div><h1>Esoterica
+</h2><div class="top"><p class="src"><a href="Data-Table.html#v:null" target="main">null</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:count" target="main">count</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Table.html#t:With" target="main">With</a> q t</p></div><div class="top"><p class="src"><a href="Data-Table.html#v:insert" target="main">insert</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:delete" target="main">delete</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:rows" target="main">rows</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:rows-39-" target="main">rows'</a></p></div><h1>Esoterica
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Table.html#t:Auto" target="main">Auto</a> a</p></div><div class="top"><p class="src"><a href="Data-Table.html#v:autoKey" target="main">autoKey</a></p></div><div class="top"><p class="src"><a href="Data-Table.html#v:auto" target="main">auto</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Table.html#t:Value" target="main">Value</a> a</p></div><div class="top"><p class="src"><a href="Data-Table.html#v:autoIncrement" target="main">autoIncrement</a></p></div><h1>Implementation Details
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Table.html#t:IsKeyType" target="main">IsKeyType</a> k</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Table.html#t:KeyType" target="main">KeyType</a> t</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Table.html#t:Primary" target="main">Primary</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Table.html#t:Candidate" target="main">Candidate</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Table.html#t:Supplemental" target="main">Supplemental</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Table.html#t:Index" target="main">Index</a> t k a</p></div></div></body></html>
955 src/Data-Table.html
View
477 additions, 478 deletions not shown
BIN  tables.haddock
View
Binary file not shown
Please sign in to comment.
Something went wrong with that request. Please try again.