/usr/share/doc/libghc-relational-query-doc/html/Database-Relational-Query-Type.html is in libghc-relational-query-doc 0.9.5.1-1.
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 | <!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>Database.Relational.Query.Type</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_Database-Relational-Query-Type.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Database-Relational-Query-Type.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">relational-query-0.9.5.1: Typeful, Modular, Relational, algebraic query engine</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>2013-2017 Kei Hibino</td></tr><tr><th>License</th><td>BSD3</td></tr><tr><th>Maintainer</th><td>ex8k.hibino@gmail.com</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>unknown</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Database.Relational.Query.Type</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Typed query statement</a></li><li><a href="#g:2">Typed update statement</a></li><li><a href="#g:3">Typed insert statement</a></li><li><a href="#g:4">Typed delete statement</a></li><li><a href="#g:5">Generalized interfaces</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module defines typed SQL.</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">newtype</span> <a href="#t:Query">Query</a> p a = <a href="#v:Query">Query</a> {<ul class="subs"><li><a href="#v:untypeQuery">untypeQuery</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li></ul>}</li><li class="src short"><a href="#v:unsafeTypedQuery">unsafeTypedQuery</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:Query">Query</a> p a</li><li class="src short"><a href="#v:relationalQuery-39-">relationalQuery'</a> :: <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r -> <a href="Database-Relational-Query-SQL.html#t:QuerySuffix">QuerySuffix</a> -> <a href="Database-Relational-Query-Type.html#t:Query">Query</a> p r</li><li class="src short"><a href="#v:relationalQuery">relationalQuery</a> :: <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r -> <a href="Database-Relational-Query-Type.html#t:Query">Query</a> p r</li><li class="src short"><a href="#v:relationalQuerySQL">relationalQuerySQL</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r -> <a href="Database-Relational-Query-SQL.html#t:QuerySuffix">QuerySuffix</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:KeyUpdate">KeyUpdate</a> p a = <a href="#v:KeyUpdate">KeyUpdate</a> {<ul class="subs"><li><a href="#v:updateKey">updateKey</a> :: <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> a p</li><li><a href="#v:untypeKeyUpdate">untypeKeyUpdate</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li></ul>}</li><li class="src short"><a href="#v:unsafeTypedKeyUpdate">unsafeTypedKeyUpdate</a> :: <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> a p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p a</li><li class="src short"><a href="#v:typedKeyUpdate">typedKeyUpdate</a> :: <a href="Database-Relational-Query-Table.html#t:Table">Table</a> a -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> a p -> <a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p a</li><li class="src short"><a href="#v:typedKeyUpdateTable">typedKeyUpdateTable</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> () r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r p -> <a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p r</li><li class="src short"><a href="#v:derivedKeyUpdate">derivedKeyUpdate</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r p -> <a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p r</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Update">Update</a> p = <a href="#v:Update">Update</a> {<ul class="subs"><li><a href="#v:untypeUpdate">untypeUpdate</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li></ul>}</li><li class="src short"><a href="#v:unsafeTypedUpdate">unsafeTypedUpdate</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p</li><li class="src short"><a href="#v:typedUpdate-39-">typedUpdate'</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:UpdateTarget">UpdateTarget</a> p r -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p</li><li class="src short"><a href="#v:typedUpdate">typedUpdate</a> :: <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:UpdateTarget">UpdateTarget</a> p r -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p</li><li class="src short"><a href="#v:derivedUpdate-39-">derivedUpdate'</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Monad-Assign.html#t:AssignStatement">AssignStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p</li><li class="src short"><a href="#v:derivedUpdate">derivedUpdate</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Monad-Assign.html#t:AssignStatement">AssignStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p</li><li class="src short"><a href="#v:typedUpdateAllColumn">typedUpdateAllColumn</a> :: <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r => <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a> p r -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> (r, p)</li><li class="src short"><a href="#v:derivedUpdateAllColumn-39-">derivedUpdateAllColumn'</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r, <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r) => <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> (r, p)</li><li class="src short"><a href="#v:derivedUpdateAllColumn">derivedUpdateAllColumn</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r, <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r) => <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> (r, p)</li><li class="src short"><a href="#v:restrictedUpdateAllColumn">restrictedUpdateAllColumn</a> :: <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r => <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> (r, p)</li><li class="src short"><a href="#v:restrictedUpdateTableAllColumn">restrictedUpdateTableAllColumn</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r, <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r) => <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> () r -> <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> (r, p)</li><li class="src short"><a href="#v:updateSQL">updateSQL</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:UpdateTarget">UpdateTarget</a> p r -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:Insert">Insert</a> a = <a href="#v:Insert">Insert</a> {<ul class="subs"><li><a href="#v:untypeInsert">untypeInsert</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li><li><a href="#v:chunkedInsert">chunkedInsert</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>)</li></ul>}</li><li class="src short"><a href="#v:untypeChunkInsert">untypeChunkInsert</a> :: <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li><li class="src short"><a href="#v:chunkSizeOfInsert">chunkSizeOfInsert</a> :: <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:unsafeTypedInsert-39-">unsafeTypedInsert'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a</li><li class="src short"><a href="#v:unsafeTypedInsert">unsafeTypedInsert</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a</li><li class="src short"><a href="#v:typedInsert-39-">typedInsert'</a> :: <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r => <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> r'</li><li class="src short"><a href="#v:typedInsert">typedInsert</a> :: <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r => <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> r'</li><li class="src short"><a href="#v:derivedInsert">derivedInsert</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r, <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r) => <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> r'</li><li class="src short"><a href="#v:typedInsertValue-39-">typedInsertValue'</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:InsertTarget">InsertTarget</a> p r -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> p</li><li class="src short"><a href="#v:typedInsertValue">typedInsertValue</a> :: <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:InsertTarget">InsertTarget</a> p r -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> p</li><li class="src short"><a href="#v:derivedInsertValue-39-">derivedInsertValue'</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Monad-Register.html#t:Register">Register</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> p</li><li class="src short"><a href="#v:derivedInsertValue">derivedInsertValue</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Monad-Register.html#t:Register">Register</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> p</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:InsertQuery">InsertQuery</a> p = <a href="#v:InsertQuery">InsertQuery</a> {<ul class="subs"><li><a href="#v:untypeInsertQuery">untypeInsertQuery</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li></ul>}</li><li class="src short"><a href="#v:unsafeTypedInsertQuery">unsafeTypedInsertQuery</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p</li><li class="src short"><a href="#v:typedInsertQuery-39-">typedInsertQuery'</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r' -> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p</li><li class="src short"><a href="#v:typedInsertQuery">typedInsertQuery</a> :: <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r' -> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p</li><li class="src short"><a href="#v:derivedInsertQuery">derivedInsertQuery</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r' -> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p</li><li class="src short"><a href="#v:insertQuerySQL">insertQuerySQL</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r' -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Delete">Delete</a> p = <a href="#v:Delete">Delete</a> {<ul class="subs"><li><a href="#v:untypeDelete">untypeDelete</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li></ul>}</li><li class="src short"><a href="#v:unsafeTypedDelete">unsafeTypedDelete</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p</li><li class="src short"><a href="#v:typedDelete-39-">typedDelete'</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a> p r -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p</li><li class="src short"><a href="#v:typedDelete">typedDelete</a> :: <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a> p r -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p</li><li class="src short"><a href="#v:derivedDelete-39-">derivedDelete'</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p</li><li class="src short"><a href="#v:derivedDelete">derivedDelete</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p</li><li class="src short"><a href="#v:deleteSQL">deleteSQL</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a> p r -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></li><li class="src short"><span class="keyword">class</span> <a href="#t:UntypeableNoFetch">UntypeableNoFetch</a> s <span class="keyword">where</span><ul class="subs"></ul></li></ul></div><div id="interface"><h1 id="g:1">Typed query statement</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Query" class="def">Query</a> p a <a href="src/Database-Relational-Query-Type.html#Query" class="link">Source</a> <a href="#t:Query" class="selflink">#</a></p><div class="doc"><p>Query type with place-holder parameter <code>p</code> and query result type <code>a</code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Query" class="def">Query</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:untypeQuery" class="def">untypeQuery</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Query" class="caption collapser" onclick="toggleSection('i:Query')">Instances</p><div id="section.i:Query" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Query:Show:1" class="instance expander" onclick="toggleSection('i:id:Query:Show:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Database-Relational-Query-Type.html#t:Query">Query</a> p a)</span> <a href="src/Database-Relational-Query-Type.html#line-76" class="link">Source</a> <a href="#t:Query" class="selflink">#</a></td><td class="doc"><p>Show query SQL string</p></td></tr><tr><td colspan="2"><div id="section.i:id:Query:Show:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Database-Relational-Query-Type.html#t:Query">Query</a> p a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Database-Relational-Query-Type.html#t:Query">Query</a> p a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Database-Relational-Query-Type.html#t:Query">Query</a> p a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:unsafeTypedQuery" class="def">unsafeTypedQuery</a> <a href="src/Database-Relational-Query-Type.html#unsafeTypedQuery" class="link">Source</a> <a href="#v:unsafeTypedQuery" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></td><td class="doc"><p>Query SQL to type</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Type.html#t:Query">Query</a> p a</td><td class="doc"><p>Typed result</p></td></tr></table></div><div class="doc"><p>Unsafely make typed <code><a href="Database-Relational-Query-Type.html#t:Query">Query</a></code> from SQL string.</p></div></div><div class="top"><p class="src"><a id="v:relationalQuery-39-" class="def">relationalQuery'</a> :: <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r -> <a href="Database-Relational-Query-SQL.html#t:QuerySuffix">QuerySuffix</a> -> <a href="Database-Relational-Query-Type.html#t:Query">Query</a> p r <a href="src/Database-Relational-Query-Type.html#relationalQuery%27" class="link">Source</a> <a href="#v:relationalQuery-39-" class="selflink">#</a></p><div class="doc"><p>From <code><a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a></code> into typed <code><a href="Database-Relational-Query-Type.html#t:Query">Query</a></code> with suffix SQL words.</p></div></div><div class="top"><p class="src"><a id="v:relationalQuery" class="def">relationalQuery</a> :: <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r -> <a href="Database-Relational-Query-Type.html#t:Query">Query</a> p r <a href="src/Database-Relational-Query-Type.html#relationalQuery" class="link">Source</a> <a href="#v:relationalQuery" class="selflink">#</a></p><div class="doc"><p>From <code><a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a></code> into typed <code><a href="Database-Relational-Query-Type.html#t:Query">Query</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:relationalQuerySQL" class="def">relationalQuerySQL</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r -> <a href="Database-Relational-Query-SQL.html#t:QuerySuffix">QuerySuffix</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#relationalQuerySQL" class="link">Source</a> <a href="#v:relationalQuerySQL" class="selflink">#</a></p><div class="doc"><p>From <code><a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a></code> into untyped SQL query string.</p></div></div><h1 id="g:2">Typed update statement</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:KeyUpdate" class="def">KeyUpdate</a> p a <a href="src/Database-Relational-Query-Type.html#KeyUpdate" class="link">Source</a> <a href="#t:KeyUpdate" class="selflink">#</a></p><div class="doc"><p>Update type with key type <code>p</code> and update record type <code>a</code>.
Columns to update are record columns other than key columns,
So place-holder parameter type is the same as record type <code>a</code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:KeyUpdate" class="def">KeyUpdate</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:updateKey" class="def">updateKey</a> :: <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> a p</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:untypeKeyUpdate" class="def">untypeKeyUpdate</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:KeyUpdate" class="caption collapser" onclick="toggleSection('i:KeyUpdate')">Instances</p><div id="section.i:KeyUpdate" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:KeyUpdate:Show:1" class="instance expander" onclick="toggleSection('i:id:KeyUpdate:Show:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p a)</span> <a href="src/Database-Relational-Query-Type.html#line-119" class="link">Source</a> <a href="#t:KeyUpdate" class="selflink">#</a></td><td class="doc"><p>Show update SQL string</p></td></tr><tr><td colspan="2"><div id="section.i:id:KeyUpdate:Show:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:unsafeTypedKeyUpdate" class="def">unsafeTypedKeyUpdate</a> :: <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> a p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p a <a href="src/Database-Relational-Query-Type.html#unsafeTypedKeyUpdate" class="link">Source</a> <a href="#v:unsafeTypedKeyUpdate" class="selflink">#</a></p><div class="doc"><p>Unsafely make typed <code><a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a></code> from SQL string.</p></div></div><div class="top"><p class="src"><a id="v:typedKeyUpdate" class="def">typedKeyUpdate</a> :: <a href="Database-Relational-Query-Table.html#t:Table">Table</a> a -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> a p -> <a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p a <a href="src/Database-Relational-Query-Type.html#typedKeyUpdate" class="link">Source</a> <a href="#v:typedKeyUpdate" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a></code> from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and key columns selector <code><a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:typedKeyUpdateTable" class="def">typedKeyUpdateTable</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> () r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r p -> <a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p r <a href="src/Database-Relational-Query-Type.html#typedKeyUpdateTable" class="link">Source</a> <a href="#v:typedKeyUpdateTable" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a></code> object using derived info specified by <code><a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a></code> type.</p></div></div><div class="top"><p class="src"><a id="v:derivedKeyUpdate" class="def">derivedKeyUpdate</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r p -> <a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a> p r <a href="src/Database-Relational-Query-Type.html#derivedKeyUpdate" class="link">Source</a> <a href="#v:derivedKeyUpdate" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:KeyUpdate">KeyUpdate</a></code> from derived table and key columns selector <code><a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a></code>.</p></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Update" class="def">Update</a> p <a href="src/Database-Relational-Query-Type.html#Update" class="link">Source</a> <a href="#t:Update" class="selflink">#</a></p><div class="doc"><p>Update type with place-holder parameter <code>p</code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Update" class="def">Update</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:untypeUpdate" class="def">untypeUpdate</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Update" class="caption collapser" onclick="toggleSection('i:Update')">Instances</p><div id="section.i:Update" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Update:UntypeableNoFetch:1" class="instance expander" onclick="toggleSection('i:id:Update:UntypeableNoFetch:1')"></span> <a href="Database-Relational-Query-Type.html#t:UntypeableNoFetch">UntypeableNoFetch</a> <a href="Database-Relational-Query-Type.html#t:Update">Update</a></span> <a href="src/Database-Relational-Query-Type.html#line-349" class="link">Source</a> <a href="#t:Update" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Update:UntypeableNoFetch:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:untypeNoFetch">untypeNoFetch</a> :: <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#untypeNoFetch" class="link">Source</a> <a href="#v:untypeNoFetch" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Update:Show:2" class="instance expander" onclick="toggleSection('i:id:Update:Show:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Database-Relational-Query-Type.html#t:Update">Update</a> p)</span> <a href="src/Database-Relational-Query-Type.html#line-206" class="link">Source</a> <a href="#t:Update" class="selflink">#</a></td><td class="doc"><p>Show update SQL string</p></td></tr><tr><td colspan="2"><div id="section.i:id:Update:Show:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Database-Relational-Query-Type.html#t:Update">Update</a> p] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:unsafeTypedUpdate" class="def">unsafeTypedUpdate</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p <a href="src/Database-Relational-Query-Type.html#unsafeTypedUpdate" class="link">Source</a> <a href="#v:unsafeTypedUpdate" class="selflink">#</a></p><div class="doc"><p>Unsafely make typed <code><a href="Database-Relational-Query-Type.html#t:Update">Update</a></code> from SQL string.</p></div></div><div class="top"><p class="src"><a id="v:typedUpdate-39-" class="def">typedUpdate'</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:UpdateTarget">UpdateTarget</a> p r -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p <a href="src/Database-Relational-Query-Type.html#typedUpdate%27" class="link">Source</a> <a href="#v:typedUpdate-39-" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Update">Update</a></code> from <code><a href="Database-Relational-Query-Component.html#t:Config">Config</a></code>, <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and <code><a href="Database-Relational-Query-Effect.html#t:UpdateTarget">UpdateTarget</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:typedUpdate" class="def">typedUpdate</a> :: <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:UpdateTarget">UpdateTarget</a> p r -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p <a href="src/Database-Relational-Query-Type.html#typedUpdate" class="link">Source</a> <a href="#v:typedUpdate" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Update">Update</a></code> using <code><a href="Database-Relational-Query-Component.html#v:defaultConfig">defaultConfig</a></code>, <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and <code><a href="Database-Relational-Query-Effect.html#t:UpdateTarget">UpdateTarget</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:derivedUpdate-39-" class="def">derivedUpdate'</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Monad-Assign.html#t:AssignStatement">AssignStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p <a href="src/Database-Relational-Query-Type.html#derivedUpdate%27" class="link">Source</a> <a href="#v:derivedUpdate-39-" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Update">Update</a></code> from <code><a href="Database-Relational-Query-Component.html#t:Config">Config</a></code>, derived table and <code><a href="Database-Relational-Query-Monad-Assign.html#t:AssignStatement">AssignStatement</a></code></p></div></div><div class="top"><p class="src"><a id="v:derivedUpdate" class="def">derivedUpdate</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Monad-Assign.html#t:AssignStatement">AssignStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p <a href="src/Database-Relational-Query-Type.html#derivedUpdate" class="link">Source</a> <a href="#v:derivedUpdate" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Update">Update</a></code> from <code><a href="Database-Relational-Query-Component.html#v:defaultConfig">defaultConfig</a></code>, derived table and <code><a href="Database-Relational-Query-Monad-Assign.html#t:AssignStatement">AssignStatement</a></code></p></div></div><div class="top"><p class="src"><a id="v:typedUpdateAllColumn" class="def">typedUpdateAllColumn</a> :: <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r => <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a> p r -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> (r, p) <a href="src/Database-Relational-Query-Type.html#typedUpdateAllColumn" class="link">Source</a> <a href="#v:typedUpdateAllColumn" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Update">Update</a></code> from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and <code><a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a></code>.
Update target is all column.</p></div></div><div class="top"><p class="src"><a id="v:derivedUpdateAllColumn-39-" class="def">derivedUpdateAllColumn'</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r, <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r) => <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> (r, p) <a href="src/Database-Relational-Query-Type.html#derivedUpdateAllColumn%27" class="link">Source</a> <a href="#v:derivedUpdateAllColumn-39-" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Update">Update</a></code> from <code><a href="Database-Relational-Query-Component.html#t:Config">Config</a></code>, derived table and <code><a href="Database-Relational-Query-Monad-Assign.html#t:AssignStatement">AssignStatement</a></code>.
Update target is all column.</p></div></div><div class="top"><p class="src"><a id="v:derivedUpdateAllColumn" class="def">derivedUpdateAllColumn</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r, <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r) => <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> (r, p) <a href="src/Database-Relational-Query-Type.html#derivedUpdateAllColumn" class="link">Source</a> <a href="#v:derivedUpdateAllColumn" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Update">Update</a></code> from <code><a href="Database-Relational-Query-Component.html#v:defaultConfig">defaultConfig</a></code>, derived table and <code><a href="Database-Relational-Query-Monad-Assign.html#t:AssignStatement">AssignStatement</a></code>.
Update target is all column.</p></div></div><div class="top"><p class="src"><a id="v:restrictedUpdateAllColumn" class="def">restrictedUpdateAllColumn</a> <a href="src/Database-Relational-Query-Type.html#restrictedUpdateAllColumn" class="link">Source</a> <a href="#v:restrictedUpdateAllColumn" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r</td><td class="doc empty"> </td></tr><tr><td class="src">=> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r</td><td class="doc empty"> </td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p)</td><td class="doc"><p><code>Restrict</code> monad context</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> (r, p)</td><td class="doc empty"> </td></tr></table></div><div class="doc"><div class="warning"><p>Deprecated: Use derivedUpdateAllColumn or typedUpdateAllColumn instead of this.</p></div><p>Directly make typed <code><a href="Database-Relational-Query-Type.html#t:Update">Update</a></code> from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and <code>Restrict</code> monad context.
Update target is all column.</p></div></div><div class="top"><p class="src"><a id="v:restrictedUpdateTableAllColumn" class="def">restrictedUpdateTableAllColumn</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r, <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r) => <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> () r -> <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Update">Update</a> (r, p) <a href="src/Database-Relational-Query-Type.html#restrictedUpdateTableAllColumn" class="link">Source</a> <a href="#v:restrictedUpdateTableAllColumn" class="selflink">#</a></p><div class="doc"><div class="warning"><p>Deprecated: Use derivedUpdateAllColumn or typedUpdateAllColumn instead of this.</p></div><p>Directly make typed <code><a href="Database-Relational-Query-Type.html#t:Update">Update</a></code> from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and <code>Restrict</code> monad context.
Update target is all column.</p></div></div><div class="top"><p class="src"><a id="v:updateSQL" class="def">updateSQL</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:UpdateTarget">UpdateTarget</a> p r -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#updateSQL" class="link">Source</a> <a href="#v:updateSQL" class="selflink">#</a></p><div class="doc"><p>Make untyped update SQL string from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and <code><a href="Database-Relational-Query-Effect.html#t:UpdateTarget">UpdateTarget</a></code>.</p></div></div><h1 id="g:3">Typed insert statement</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Insert" class="def">Insert</a> a <a href="src/Database-Relational-Query-Type.html#Insert" class="link">Source</a> <a href="#t:Insert" class="selflink">#</a></p><div class="doc"><p>Insert type to insert record type <code>a</code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Insert" class="def">Insert</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:untypeInsert" class="def">untypeInsert</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:chunkedInsert" class="def">chunkedInsert</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>)</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Insert" class="caption collapser" onclick="toggleSection('i:Insert')">Instances</p><div id="section.i:Insert" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Insert:UntypeableNoFetch:1" class="instance expander" onclick="toggleSection('i:id:Insert:UntypeableNoFetch:1')"></span> <a href="Database-Relational-Query-Type.html#t:UntypeableNoFetch">UntypeableNoFetch</a> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></span> <a href="src/Database-Relational-Query-Type.html#line-343" class="link">Source</a> <a href="#t:Insert" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Insert:UntypeableNoFetch:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:untypeNoFetch">untypeNoFetch</a> :: <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#untypeNoFetch" class="link">Source</a> <a href="#v:untypeNoFetch" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Insert:Show:2" class="instance expander" onclick="toggleSection('i:id:Insert:Show:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a)</span> <a href="src/Database-Relational-Query-Type.html#line-271" class="link">Source</a> <a href="#t:Insert" class="selflink">#</a></td><td class="doc"><p>Show insert SQL string.</p></td></tr><tr><td colspan="2"><div id="section.i:id:Insert:Show:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:untypeChunkInsert" class="def">untypeChunkInsert</a> :: <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#untypeChunkInsert" class="link">Source</a> <a href="#v:untypeChunkInsert" class="selflink">#</a></p><div class="doc"><p>Statement to use chunked insert</p></div></div><div class="top"><p class="src"><a id="v:chunkSizeOfInsert" class="def">chunkSizeOfInsert</a> :: <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="src/Database-Relational-Query-Type.html#chunkSizeOfInsert" class="link">Source</a> <a href="#v:chunkSizeOfInsert" class="selflink">#</a></p><div class="doc"><p>Size to use chunked insert</p></div></div><div class="top"><p class="src"><a id="v:unsafeTypedInsert-39-" class="def">unsafeTypedInsert'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a <a href="src/Database-Relational-Query-Type.html#unsafeTypedInsert%27" class="link">Source</a> <a href="#v:unsafeTypedInsert-39-" class="selflink">#</a></p><div class="doc"><p>Unsafely make typed <code><a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></code> from single insert and chunked insert SQL.</p></div></div><div class="top"><p class="src"><a id="v:unsafeTypedInsert" class="def">unsafeTypedInsert</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> a <a href="src/Database-Relational-Query-Type.html#unsafeTypedInsert" class="link">Source</a> <a href="#v:unsafeTypedInsert" class="selflink">#</a></p><div class="doc"><p>Unsafely make typed <code><a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></code> from single insert SQL.</p></div></div><div class="top"><p class="src"><a id="v:typedInsert-39-" class="def">typedInsert'</a> :: <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r => <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> r' <a href="src/Database-Relational-Query-Type.html#typedInsert%27" class="link">Source</a> <a href="#v:typedInsert-39-" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></code> from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and columns selector <code><a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a></code> with configuration parameter.</p></div></div><div class="top"><p class="src"><a id="v:typedInsert" class="def">typedInsert</a> :: <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r => <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> r' <a href="src/Database-Relational-Query-Type.html#typedInsert" class="link">Source</a> <a href="#v:typedInsert" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></code> from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and columns selector <code><a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:derivedInsert" class="def">derivedInsert</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> r, <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r) => <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> r' <a href="src/Database-Relational-Query-Type.html#derivedInsert" class="link">Source</a> <a href="#v:derivedInsert" class="selflink">#</a></p><div class="doc"><p>Table type inferred <code><a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:typedInsertValue-39-" class="def">typedInsertValue'</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:InsertTarget">InsertTarget</a> p r -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> p <a href="src/Database-Relational-Query-Type.html#typedInsertValue%27" class="link">Source</a> <a href="#v:typedInsertValue-39-" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></code> from <code><a href="Database-Relational-Query-Component.html#t:Config">Config</a></code>, <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and monadic builded <code><a href="Database-Relational-Query-Effect.html#t:InsertTarget">InsertTarget</a></code> object.</p></div></div><div class="top"><p class="src"><a id="v:typedInsertValue" class="def">typedInsertValue</a> :: <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:InsertTarget">InsertTarget</a> p r -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> p <a href="src/Database-Relational-Query-Type.html#typedInsertValue" class="link">Source</a> <a href="#v:typedInsertValue" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></code> from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and monadic builded <code><a href="Database-Relational-Query-Effect.html#t:InsertTarget">InsertTarget</a></code> object.</p></div></div><div class="top"><p class="src"><a id="v:derivedInsertValue-39-" class="def">derivedInsertValue'</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Monad-Register.html#t:Register">Register</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> p <a href="src/Database-Relational-Query-Type.html#derivedInsertValue%27" class="link">Source</a> <a href="#v:derivedInsertValue-39-" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></code> from <code><a href="Database-Relational-Query-Component.html#t:Config">Config</a></code>, derived table and monadic builded <code><a href="Database-Relational-Query-Monad-Register.html#t:Register">Register</a></code> object.</p></div></div><div class="top"><p class="src"><a id="v:derivedInsertValue" class="def">derivedInsertValue</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Monad-Register.html#t:Register">Register</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> p <a href="src/Database-Relational-Query-Type.html#derivedInsertValue" class="link">Source</a> <a href="#v:derivedInsertValue" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></code> from <code><a href="Database-Relational-Query-Component.html#v:defaultConfig">defaultConfig</a></code>, derived table and monadic builded <code><a href="Database-Relational-Query-Monad-Register.html#t:Register">Register</a></code> object.</p></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:InsertQuery" class="def">InsertQuery</a> p <a href="src/Database-Relational-Query-Type.html#InsertQuery" class="link">Source</a> <a href="#t:InsertQuery" class="selflink">#</a></p><div class="doc"><p>InsertQuery type.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:InsertQuery" class="def">InsertQuery</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:untypeInsertQuery" class="def">untypeInsertQuery</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:InsertQuery" class="caption collapser" onclick="toggleSection('i:InsertQuery')">Instances</p><div id="section.i:InsertQuery" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:InsertQuery:UntypeableNoFetch:1" class="instance expander" onclick="toggleSection('i:id:InsertQuery:UntypeableNoFetch:1')"></span> <a href="Database-Relational-Query-Type.html#t:UntypeableNoFetch">UntypeableNoFetch</a> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a></span> <a href="src/Database-Relational-Query-Type.html#line-346" class="link">Source</a> <a href="#t:InsertQuery" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:InsertQuery:UntypeableNoFetch:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:untypeNoFetch">untypeNoFetch</a> :: <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#untypeNoFetch" class="link">Source</a> <a href="#v:untypeNoFetch" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:InsertQuery:Show:2" class="instance expander" onclick="toggleSection('i:id:InsertQuery:Show:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p)</span> <a href="src/Database-Relational-Query-Type.html#line-298" class="link">Source</a> <a href="#t:InsertQuery" class="selflink">#</a></td><td class="doc"><p>Show insert SQL string.</p></td></tr><tr><td colspan="2"><div id="section.i:id:InsertQuery:Show:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:unsafeTypedInsertQuery" class="def">unsafeTypedInsertQuery</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p <a href="src/Database-Relational-Query-Type.html#unsafeTypedInsertQuery" class="link">Source</a> <a href="#v:unsafeTypedInsertQuery" class="selflink">#</a></p><div class="doc"><p>Unsafely make typed <code><a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a></code> from SQL string.</p></div></div><div class="top"><p class="src"><a id="v:typedInsertQuery-39-" class="def">typedInsertQuery'</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r' -> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p <a href="src/Database-Relational-Query-Type.html#typedInsertQuery%27" class="link">Source</a> <a href="#v:typedInsertQuery-39-" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a></code> from columns selector <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code>, <code><a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a></code> and <code><a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a></code> with configuration parameter.</p></div></div><div class="top"><p class="src"><a id="v:typedInsertQuery" class="def">typedInsertQuery</a> :: <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r' -> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p <a href="src/Database-Relational-Query-Type.html#typedInsertQuery" class="link">Source</a> <a href="#v:typedInsertQuery" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a></code> from columns selector <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code>, <code><a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a></code> and <code><a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:derivedInsertQuery" class="def">derivedInsertQuery</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r' -> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p <a href="src/Database-Relational-Query-Type.html#derivedInsertQuery" class="link">Source</a> <a href="#v:derivedInsertQuery" class="selflink">#</a></p><div class="doc"><p>Table type inferred <code><a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:insertQuerySQL" class="def">insertQuerySQL</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a> r r' -> <a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a> p r' -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#insertQuerySQL" class="link">Source</a> <a href="#v:insertQuerySQL" class="selflink">#</a></p><div class="doc"><p>Make untyped insert select SQL string from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code>, <code><a href="Database-Relational-Query-Pi-Unsafe.html#t:Pi">Pi</a></code> and <code><a href="Database-Relational-Query-Monad-BaseType.html#t:Relation">Relation</a></code>.</p></div></div><h1 id="g:4">Typed delete statement</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Delete" class="def">Delete</a> p <a href="src/Database-Relational-Query-Type.html#Delete" class="link">Source</a> <a href="#t:Delete" class="selflink">#</a></p><div class="doc"><p>Delete type with place-holder parameter <code>p</code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Delete" class="def">Delete</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:untypeDelete" class="def">untypeDelete</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Delete" class="caption collapser" onclick="toggleSection('i:Delete')">Instances</p><div id="section.i:Delete" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Delete:UntypeableNoFetch:1" class="instance expander" onclick="toggleSection('i:id:Delete:UntypeableNoFetch:1')"></span> <a href="Database-Relational-Query-Type.html#t:UntypeableNoFetch">UntypeableNoFetch</a> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a></span> <a href="src/Database-Relational-Query-Type.html#line-352" class="link">Source</a> <a href="#t:Delete" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Delete:UntypeableNoFetch:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:untypeNoFetch">untypeNoFetch</a> :: <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#untypeNoFetch" class="link">Source</a> <a href="#v:untypeNoFetch" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Delete:Show:2" class="instance expander" onclick="toggleSection('i:id:Delete:Show:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p)</span> <a href="src/Database-Relational-Query-Type.html#line-334" class="link">Source</a> <a href="#t:Delete" class="selflink">#</a></td><td class="doc"><p>Show delete SQL string</p></td></tr><tr><td colspan="2"><div id="section.i:id:Delete:Show:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:unsafeTypedDelete" class="def">unsafeTypedDelete</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p <a href="src/Database-Relational-Query-Type.html#unsafeTypedDelete" class="link">Source</a> <a href="#v:unsafeTypedDelete" class="selflink">#</a></p><div class="doc"><p>Unsafely make typed <code><a href="Database-Relational-Query-Type.html#t:Delete">Delete</a></code> from SQL string.</p></div></div><div class="top"><p class="src"><a id="v:typedDelete-39-" class="def">typedDelete'</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a> p r -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p <a href="src/Database-Relational-Query-Type.html#typedDelete%27" class="link">Source</a> <a href="#v:typedDelete-39-" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Delete">Delete</a></code> from <code><a href="Database-Relational-Query-Component.html#t:Config">Config</a></code>, <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and <code><a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:typedDelete" class="def">typedDelete</a> :: <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a> p r -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p <a href="src/Database-Relational-Query-Type.html#typedDelete" class="link">Source</a> <a href="#v:typedDelete" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Delete">Delete</a></code> from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and <code><a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:derivedDelete-39-" class="def">derivedDelete'</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p <a href="src/Database-Relational-Query-Type.html#derivedDelete%27" class="link">Source</a> <a href="#v:derivedDelete-39-" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Delete">Delete</a></code> from <code><a href="Database-Relational-Query-Component.html#t:Config">Config</a></code>, derived table and <code>RestrictContext</code></p></div></div><div class="top"><p class="src"><a id="v:derivedDelete" class="def">derivedDelete</a> :: <a href="Database-Relational-Query-Table.html#t:TableDerivable">TableDerivable</a> r => <a href="Database-Relational-Query-Monad-Restrict.html#t:RestrictedStatement">RestrictedStatement</a> r (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p) -> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p <a href="src/Database-Relational-Query-Type.html#derivedDelete" class="link">Source</a> <a href="#v:derivedDelete" class="selflink">#</a></p><div class="doc"><p>Make typed <code><a href="Database-Relational-Query-Type.html#t:Delete">Delete</a></code> from <code><a href="Database-Relational-Query-Component.html#v:defaultConfig">defaultConfig</a></code>, derived table and <code>RestrictContext</code></p></div></div><div class="top"><p class="src"><a id="v:deleteSQL" class="def">deleteSQL</a> :: <a href="Database-Relational-Query-Component.html#t:Config">Config</a> -> <a href="Database-Relational-Query-Table.html#t:Table">Table</a> r -> <a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a> p r -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#deleteSQL" class="link">Source</a> <a href="#v:deleteSQL" class="selflink">#</a></p><div class="doc"><p>Make untyped delete SQL string from <code><a href="Database-Relational-Query-Table.html#t:Table">Table</a></code> and <code><a href="Database-Relational-Query-Effect.html#t:Restriction">Restriction</a></code>.</p></div></div><h1 id="g:5">Generalized interfaces</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:UntypeableNoFetch" class="def">UntypeableNoFetch</a> s <span class="keyword">where</span> <a href="src/Database-Relational-Query-Type.html#UntypeableNoFetch" class="link">Source</a> <a href="#t:UntypeableNoFetch" class="selflink">#</a></p><div class="doc"><p>Untype interface for typed no-result type statments
with single type parameter which represents place-holder parameter <code>p</code>.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Database-Relational-Query-Type.html#v:untypeNoFetch">untypeNoFetch</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:untypeNoFetch" class="def">untypeNoFetch</a> :: s p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#untypeNoFetch" class="link">Source</a> <a href="#v:untypeNoFetch" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:UntypeableNoFetch" class="caption collapser" onclick="toggleSection('i:UntypeableNoFetch')">Instances</p><div id="section.i:UntypeableNoFetch" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:UntypeableNoFetch:UntypeableNoFetch:1" class="instance expander" onclick="toggleSection('i:ic:UntypeableNoFetch:UntypeableNoFetch:1')"></span> <a href="Database-Relational-Query-Type.html#t:UntypeableNoFetch">UntypeableNoFetch</a> <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a></span> <a href="src/Database-Relational-Query-Type.html#line-352" class="link">Source</a> <a href="#t:UntypeableNoFetch" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:UntypeableNoFetch:UntypeableNoFetch:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:untypeNoFetch">untypeNoFetch</a> :: <a href="Database-Relational-Query-Type.html#t:Delete">Delete</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#untypeNoFetch" class="link">Source</a> <a href="#v:untypeNoFetch" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:UntypeableNoFetch:UntypeableNoFetch:2" class="instance expander" onclick="toggleSection('i:ic:UntypeableNoFetch:UntypeableNoFetch:2')"></span> <a href="Database-Relational-Query-Type.html#t:UntypeableNoFetch">UntypeableNoFetch</a> <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a></span> <a href="src/Database-Relational-Query-Type.html#line-346" class="link">Source</a> <a href="#t:UntypeableNoFetch" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:UntypeableNoFetch:UntypeableNoFetch:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:untypeNoFetch">untypeNoFetch</a> :: <a href="Database-Relational-Query-Type.html#t:InsertQuery">InsertQuery</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#untypeNoFetch" class="link">Source</a> <a href="#v:untypeNoFetch" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:UntypeableNoFetch:UntypeableNoFetch:3" class="instance expander" onclick="toggleSection('i:ic:UntypeableNoFetch:UntypeableNoFetch:3')"></span> <a href="Database-Relational-Query-Type.html#t:UntypeableNoFetch">UntypeableNoFetch</a> <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a></span> <a href="src/Database-Relational-Query-Type.html#line-343" class="link">Source</a> <a href="#t:UntypeableNoFetch" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:UntypeableNoFetch:UntypeableNoFetch:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:untypeNoFetch">untypeNoFetch</a> :: <a href="Database-Relational-Query-Type.html#t:Insert">Insert</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#untypeNoFetch" class="link">Source</a> <a href="#v:untypeNoFetch" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:UntypeableNoFetch:UntypeableNoFetch:4" class="instance expander" onclick="toggleSection('i:ic:UntypeableNoFetch:UntypeableNoFetch:4')"></span> <a href="Database-Relational-Query-Type.html#t:UntypeableNoFetch">UntypeableNoFetch</a> <a href="Database-Relational-Query-Type.html#t:Update">Update</a></span> <a href="src/Database-Relational-Query-Type.html#line-349" class="link">Source</a> <a href="#t:UntypeableNoFetch" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:UntypeableNoFetch:UntypeableNoFetch:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:untypeNoFetch">untypeNoFetch</a> :: <a href="Database-Relational-Query-Type.html#t:Update">Update</a> p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Database-Relational-Query-Type.html#untypeNoFetch" class="link">Source</a> <a href="#v:untypeNoFetch" class="selflink">#</a></p></div></div></td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|