/usr/share/doc/libghc-relational-query-doc/html/Database-Relational-Query-Projectable.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 | <!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.Projectable</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-Projectable.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Database-Relational-Query-Projectable.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.Projectable</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Projectable from SQL strings</a></li><li><a href="#g:2">Projections of values</a></li><li><a href="#g:3">Placeholders</a></li><li><a href="#g:4">Projectable into SQL strings</a></li><li><a href="#g:5">Operators</a></li><li><a href="#g:6">Terms for Window function types</a></li><li><a href="#g:7">Zipping projections</a></li><li><a href="#g:8"><code>Maybe</code> type projecitoins</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module defines operators on various polymorphic projections.</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">class</span> <a href="#t:SqlProjectable">SqlProjectable</a> p <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:unsafeProjectSql-39-">unsafeProjectSql'</a> :: <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p => <a href="Database-Relational-Query-ProjectableClass.html#t:StringSQL">StringSQL</a> -> p t</li><li class="src short"><a href="#v:unsafeProjectSql">unsafeProjectSql</a> :: <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> p t</li><li class="src short"><a href="#v:value">value</a> :: (<a href="Database-Relational-Query-ProjectableClass.html#t:ShowConstantTermsSQL">ShowConstantTermsSQL</a> t, OperatorProjectable p) => t -> p t</li><li class="src short"><a href="#v:valueTrue">valueTrue</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableMaybe">ProjectableMaybe</a> p) => p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:valueFalse">valueFalse</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableMaybe">ProjectableMaybe</a> p) => p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:values">values</a> :: (<a href="Database-Relational-Query-ProjectableClass.html#t:ShowConstantTermsSQL">ShowConstantTermsSQL</a> t, OperatorProjectable p) => [t] -> <a href="Database-Relational-Query-Projection.html#t:ListProjection">ListProjection</a> p t</li><li class="src short"><a href="#v:nothing">nothing</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> a) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:unsafeValueNull">unsafeValueNull</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> a) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><span class="keyword">data</span> <a href="#t:PlaceHolders">PlaceHolders</a> p</li><li class="src short"><a href="#v:unsafeAddPlaceHolders">unsafeAddPlaceHolders</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> f => f a -> f (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p, a)</li><li class="src short"><a href="#v:unsafePlaceHolders">unsafePlaceHolders</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p</li><li class="src short"><a href="#v:pwPlaceholder">pwPlaceholder</a> :: <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p => <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableRecordWidth">PersistableRecordWidth</a> a -> (p a -> b) -> (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> a, b)</li><li class="src short"><a href="#v:placeholder-39-">placeholder'</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> t, <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p) => (p t -> a) -> (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> t, a)</li><li class="src short"><a href="#v:placeholder">placeholder</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> t, <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => (p t -> m a) -> m (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> t, a)</li><li class="src short"><a href="#v:unitPlaceHolder">unitPlaceHolder</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> ()</li><li class="src short"><a href="#v:unitPH">unitPH</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> ()</li><li class="src short"><span class="keyword">class</span> <a href="#t:ProjectableShowSql">ProjectableShowSql</a> p <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:unsafeShowSql">unsafeShowSql</a> :: <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p => p 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:.-61-.">(.=.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:.-60-.">(.<.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:.-60--61-.">(.<=.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:.-62-.">(.>.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:.-62--61-.">(.>=.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:.-60--62-.">(.<>.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:and-39-">and'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p (<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-Bool.html#t:Bool">Bool</a>) -> p (<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-Bool.html#t:Bool">Bool</a>) -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:or-39-">or'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p (<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-Bool.html#t:Bool">Bool</a>) -> p (<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-Bool.html#t:Bool">Bool</a>) -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:in-39-">in'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p t -> <a href="Database-Relational-Query-Projection.html#t:ListProjection">ListProjection</a> p t -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:.-124--124-.">(.||.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a) => p a -> p a -> p a</li><li class="src short"><a href="#v:-63--124--124--63-">(?||?)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:like">like</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a, <a href="Database-Relational-Query-ProjectableClass.html#t:ShowConstantTermsSQL">ShowConstantTermsSQL</a> a) => p a -> a -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:likeMaybe">likeMaybe</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a, <a href="Database-Relational-Query-ProjectableClass.html#t:ShowConstantTermsSQL">ShowConstantTermsSQL</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> a -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:like-39-">like'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a) => p a -> p a -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:likeMaybe-39-">likeMaybe'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:.-43-.">(.+.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p a -> p a -> p a</li><li class="src short"><a href="#v:.-45-.">(.-.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p a -> p a -> p a</li><li class="src short"><a href="#v:.-42-.">(.*.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p a -> p a -> p a</li><li class="src short"><a href="#v:.-47-.">(./.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p a -> p a -> p a</li><li class="src short"><a href="#v:-63--43--63-">(?+?)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:-63--45--63-">(?-?)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:-63--42--63-">(?*?)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:-63--47--63-">(?/?)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:isNothing">isNothing</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-KeyConstraint.html#t:HasColumnConstraint">HasColumnConstraint</a> <a href="Database-Relational-Query-Constraint.html#t:NotNull">NotNull</a> r) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> r) -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:isJust">isJust</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-KeyConstraint.html#t:HasColumnConstraint">HasColumnConstraint</a> <a href="Database-Relational-Query-Constraint.html#t:NotNull">NotNull</a> r) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> r) -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:fromMaybe">fromMaybe</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-KeyConstraint.html#t:HasColumnConstraint">HasColumnConstraint</a> <a href="Database-Relational-Query-Constraint.html#t:NotNull">NotNull</a> r) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c r -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> r) -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c r</li><li class="src short"><a href="#v:not-39-">not'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p (<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-Bool.html#t:Bool">Bool</a>) -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:exists">exists</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => <a href="Database-Relational-Query-Projection.html#t:ListProjection">ListProjection</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:Exists">Exists</a>) r -> p (<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-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:negate-39-">negate'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p a -> p a</li><li class="src short"><a href="#v:fromIntegral-39-">fromIntegral'</a> :: (<a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> b) => p a -> p b</li><li class="src short"><a href="#v:showNum">showNum</a> :: (<a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> b) => p a -> p b</li><li class="src short"><a href="#v:negateMaybe">negateMaybe</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:fromIntegralMaybe">fromIntegralMaybe</a> :: (<a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> b) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b)</li><li class="src short"><a href="#v:showNumMaybe">showNumMaybe</a> :: (<a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> b) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b)</li><li class="src short"><a href="#v:casesOrElse">casesOrElse</a> :: OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c) => [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Bool.html#t:Bool">Bool</a>), <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a)] -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a</li><li class="src short"><a href="#v:casesOrElse-39-">casesOrElse'</a> :: OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c) => (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a, [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a, <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b)]) -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b</li><li class="src short"><a href="#v:caseSearch">caseSearch</a> :: OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c) => [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Bool.html#t:Bool">Bool</a>), <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a)] -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a</li><li class="src short"><a href="#v:caseSearchMaybe">caseSearchMaybe</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> a) => [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Bool.html#t:Bool">Bool</a>), <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a))] -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:case-39-">case'</a> :: OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a -> [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a, <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b)] -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b</li><li class="src short"><a href="#v:caseMaybe">caseMaybe</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> b) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a -> [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a, <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b))] -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b)</li><li class="src short"><span class="keyword">type</span> <a href="#t:SqlBinOp">SqlBinOp</a> = <a href="file:///usr/share/doc/libghc-sql-words-doc/html/Language-SQL-Keyword-Type.html#t:Keyword">Keyword</a> -> <a href="file:///usr/share/doc/libghc-sql-words-doc/html/Language-SQL-Keyword-Type.html#t:Keyword">Keyword</a> -> <a href="file:///usr/share/doc/libghc-sql-words-doc/html/Language-SQL-Keyword-Type.html#t:Keyword">Keyword</a></li><li class="src short"><a href="#v:unsafeBinOp">unsafeBinOp</a> :: (<a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => <a href="Database-Relational-Query-Projectable.html#t:SqlBinOp">SqlBinOp</a> -> p a -> p b -> p c</li><li class="src short"><a href="#v:unsafeUniOp">unsafeUniOp</a> :: (<a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p0, <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p1) => (<a href="file:///usr/share/doc/libghc-sql-words-doc/html/Language-SQL-Keyword-Type.html#t:Keyword">Keyword</a> -> <a href="file:///usr/share/doc/libghc-sql-words-doc/html/Language-SQL-Keyword-Type.html#t:Keyword">Keyword</a>) -> p0 a -> p1 b</li><li class="src short"><a href="#v:rank">rank</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> a</li><li class="src short"><a href="#v:denseRank">denseRank</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> a</li><li class="src short"><a href="#v:rowNumber">rowNumber</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> a</li><li class="src short"><a href="#v:percentRank">percentRank</a> :: <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Double">Double</a></li><li class="src short"><a href="#v:cumeDist">cumeDist</a> :: <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Double">Double</a></li><li class="src short"><a href="#v:projectZip">projectZip</a> :: <a href="Database-Relational-Query-ProjectableClass.html#t:ProjectableApplicative">ProjectableApplicative</a> p => p a -> p b -> p (a, b)</li><li class="src short"><a href="#v:-62--60-">(><)</a> :: <a href="Database-Relational-Query-ProjectableClass.html#t:ProjectableApplicative">ProjectableApplicative</a> p => p a -> p b -> p (a, b)</li><li class="src short"><span class="keyword">class</span> <a href="Database-Relational-Query-ProjectableClass.html#t:ProjectableApplicative">ProjectableApplicative</a> p => <a href="#t:ProjectableIdZip">ProjectableIdZip</a> p <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:ProjectableMaybe">ProjectableMaybe</a> p <span class="keyword">where</span><ul class="subs"></ul></li></ul></div><div id="interface"><h1 id="g:1">Projectable from SQL strings</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:SqlProjectable" class="def">SqlProjectable</a> p <span class="keyword">where</span> <a href="src/Database-Relational-Query-Projectable.html#SqlProjectable" class="link">Source</a> <a href="#t:SqlProjectable" class="selflink">#</a></p><div class="doc"><p>Interface to project SQL terms unsafely.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Database-Relational-Query-Projectable.html#v:unsafeProjectSqlTerms">unsafeProjectSqlTerms</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:unsafeProjectSqlTerms" class="def">unsafeProjectSqlTerms</a> :: [<a href="Database-Relational-Query-ProjectableClass.html#t:StringSQL">StringSQL</a>] -> p t <a href="src/Database-Relational-Query-Projectable.html#unsafeProjectSqlTerms" class="link">Source</a> <a href="#v:unsafeProjectSqlTerms" class="selflink">#</a></p><div class="doc"><p>Unsafely project from SQL expression terms.</p></div></div><div class="subs instances"><p id="control.i:SqlProjectable" class="caption collapser" onclick="toggleSection('i:SqlProjectable')">Instances</p><div id="section.i:SqlProjectable" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:SqlProjectable:SqlProjectable:1" class="instance expander" onclick="toggleSection('i:ic:SqlProjectable:SqlProjectable:1')"></span> <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a>)</span> <a href="src/Database-Relational-Query-Projectable.html#line-105" class="link">Source</a> <a href="#t:SqlProjectable" class="selflink">#</a></td><td class="doc"><p>Unsafely make <code><a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a></code> from SQL terms.</p></td></tr><tr><td colspan="2"><div id="section.i:ic:SqlProjectable:SqlProjectable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unsafeProjectSqlTerms">unsafeProjectSqlTerms</a> :: [<a href="Database-Relational-Query-ProjectableClass.html#t:StringSQL">StringSQL</a>] -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> t <a href="src/Database-Relational-Query-Projectable.html#unsafeProjectSqlTerms" class="link">Source</a> <a href="#v:unsafeProjectSqlTerms" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:SqlProjectable:SqlProjectable:2" class="instance expander" onclick="toggleSection('i:ic:SqlProjectable:SqlProjectable:2')"></span> <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:Aggregated">Aggregated</a>)</span> <a href="src/Database-Relational-Query-Projectable.html#line-101" class="link">Source</a> <a href="#t:SqlProjectable" class="selflink">#</a></td><td class="doc"><p>Unsafely make <code><a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a></code> from SQL terms.</p></td></tr><tr><td colspan="2"><div id="section.i:ic:SqlProjectable:SqlProjectable:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unsafeProjectSqlTerms">unsafeProjectSqlTerms</a> :: [<a href="Database-Relational-Query-ProjectableClass.html#t:StringSQL">StringSQL</a>] -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:Aggregated">Aggregated</a> t <a href="src/Database-Relational-Query-Projectable.html#unsafeProjectSqlTerms" class="link">Source</a> <a href="#v:unsafeProjectSqlTerms" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:SqlProjectable:SqlProjectable:3" class="instance expander" onclick="toggleSection('i:ic:SqlProjectable:SqlProjectable:3')"></span> <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:Flat">Flat</a>)</span> <a href="src/Database-Relational-Query-Projectable.html#line-97" class="link">Source</a> <a href="#t:SqlProjectable" class="selflink">#</a></td><td class="doc"><p>Unsafely make <code><a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a></code> from SQL terms.</p></td></tr><tr><td colspan="2"><div id="section.i:ic:SqlProjectable:SqlProjectable:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unsafeProjectSqlTerms">unsafeProjectSqlTerms</a> :: [<a href="Database-Relational-Query-ProjectableClass.html#t:StringSQL">StringSQL</a>] -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:Flat">Flat</a> t <a href="src/Database-Relational-Query-Projectable.html#unsafeProjectSqlTerms" class="link">Source</a> <a href="#v:unsafeProjectSqlTerms" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:unsafeProjectSql-39-" class="def">unsafeProjectSql'</a> :: <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p => <a href="Database-Relational-Query-ProjectableClass.html#t:StringSQL">StringSQL</a> -> p t <a href="src/Database-Relational-Query-Projectable.html#unsafeProjectSql%27" class="link">Source</a> <a href="#v:unsafeProjectSql-39-" class="selflink">#</a></p><div class="doc"><p>Unsafely Project single SQL term.</p></div></div><div class="top"><p class="src"><a id="v:unsafeProjectSql" class="def">unsafeProjectSql</a> :: <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> p t <a href="src/Database-Relational-Query-Projectable.html#unsafeProjectSql" class="link">Source</a> <a href="#v:unsafeProjectSql" class="selflink">#</a></p><div class="doc"><p>Unsafely Project single SQL string. String interface of <code><a href="Database-Relational-Query-Projectable.html#v:unsafeProjectSql-39-">unsafeProjectSql'</a></code>.</p></div></div><h1 id="g:2">Projections of values</h1><div class="top"><p class="src"><a id="v:value" class="def">value</a> :: (<a href="Database-Relational-Query-ProjectableClass.html#t:ShowConstantTermsSQL">ShowConstantTermsSQL</a> t, OperatorProjectable p) => t -> p t <a href="src/Database-Relational-Query-Projectable.html#value" class="link">Source</a> <a href="#v:value" class="selflink">#</a></p><div class="doc"><p>Generate polymorphic projection of SQL constant values from Haskell value.</p></div></div><div class="top"><p class="src"><a id="v:valueTrue" class="def">valueTrue</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableMaybe">ProjectableMaybe</a> p) => p (<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-Bool.html#t:Bool">Bool</a>) <a href="src/Database-Relational-Query-Projectable.html#valueTrue" class="link">Source</a> <a href="#v:valueTrue" class="selflink">#</a></p><div class="doc"><p>Polymorphic proejction of SQL true value.</p></div></div><div class="top"><p class="src"><a id="v:valueFalse" class="def">valueFalse</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableMaybe">ProjectableMaybe</a> p) => p (<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-Bool.html#t:Bool">Bool</a>) <a href="src/Database-Relational-Query-Projectable.html#valueFalse" class="link">Source</a> <a href="#v:valueFalse" class="selflink">#</a></p><div class="doc"><p>Polymorphic proejction of SQL false value.</p></div></div><div class="top"><p class="src"><a id="v:values" class="def">values</a> :: (<a href="Database-Relational-Query-ProjectableClass.html#t:ShowConstantTermsSQL">ShowConstantTermsSQL</a> t, OperatorProjectable p) => [t] -> <a href="Database-Relational-Query-Projection.html#t:ListProjection">ListProjection</a> p t <a href="src/Database-Relational-Query-Projectable.html#values" class="link">Source</a> <a href="#v:values" class="selflink">#</a></p><div class="doc"><p>Polymorphic proejction of SQL set value from Haskell list.</p></div></div><div class="top"><p class="src"><a id="v:nothing" class="def">nothing</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> a) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#nothing" class="link">Source</a> <a href="#v:nothing" class="selflink">#</a></p><div class="doc"><p>Polymorphic projection of SQL null value. Semantics of comparing is unsafe.</p></div></div><div class="top"><p class="src"><a id="v:unsafeValueNull" class="def">unsafeValueNull</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> a) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#unsafeValueNull" class="link">Source</a> <a href="#v:unsafeValueNull" class="selflink">#</a></p><div class="doc"><div class="warning"><p>Deprecated: Use <code><a href="Database-Relational-Query-Projectable.html#v:nothing">nothing</a></code> instead of this.</p></div><p>Deprecated. Polymorphic projection of SQL null value.</p></div></div><h1 id="g:3">Placeholders</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:PlaceHolders" class="def">PlaceHolders</a> p <a href="src/Database-Relational-Query-Projectable.html#PlaceHolders" class="link">Source</a> <a href="#t:PlaceHolders" class="selflink">#</a></p><div class="doc"><p>Placeholder parameter type which has real parameter type arguemnt <code>p</code>.</p></div><div class="subs instances"><p id="control.i:PlaceHolders" class="caption collapser" onclick="toggleSection('i:PlaceHolders')">Instances</p><div id="section.i:PlaceHolders" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:PlaceHolders:ProjectableApplicative:1" class="instance expander" onclick="toggleSection('i:id:PlaceHolders:ProjectableApplicative:1')"></span> <a href="Database-Relational-Query-ProjectableClass.html#t:ProjectableApplicative">ProjectableApplicative</a> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a></span> <a href="src/Database-Relational-Query-Projectable.html#line-542" class="link">Source</a> <a href="#t:PlaceHolders" class="selflink">#</a></td><td class="doc"><p>Compose record type <code><a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a></code> using applicative style.</p></td></tr><tr><td colspan="2"><div id="section.i:id:PlaceHolders:ProjectableApplicative:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-124--42--124-">(|*|)</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> (a -> b) -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> a -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> b <a href="src/Database-Relational-Query-ProjectableClass.html#%7C%2A%7C" class="link">Source</a> <a href="#v:-124--42--124-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:PlaceHolders:ProjectableFunctor:2" class="instance expander" onclick="toggleSection('i:id:PlaceHolders:ProjectableFunctor:2')"></span> <a href="Database-Relational-Query-ProjectableClass.html#t:ProjectableFunctor">ProjectableFunctor</a> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a></span> <a href="src/Database-Relational-Query-Projectable.html#line-538" class="link">Source</a> <a href="#t:PlaceHolders" class="selflink">#</a></td><td class="doc"><p>Compose seed of record type <code><a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a></code>.</p></td></tr><tr><td colspan="2"><div id="section.i:id:PlaceHolders:ProjectableFunctor:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-124--36--124-">(|$|)</a> :: <a href="Database-Relational-Query-ProjectableClass.html#t:ProductConstructor">ProductConstructor</a> (a -> b) => (a -> b) -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> a -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> b <a href="src/Database-Relational-Query-ProjectableClass.html#%7C%24%7C" class="link">Source</a> <a href="#v:-124--36--124-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:PlaceHolders:ProjectableIdZip:3" class="instance expander" onclick="toggleSection('i:id:PlaceHolders:ProjectableIdZip:3')"></span> <a href="Database-Relational-Query-Projectable.html#t:ProjectableIdZip">ProjectableIdZip</a> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a></span> <a href="src/Database-Relational-Query-Projectable.html#line-533" class="link">Source</a> <a href="#t:PlaceHolders" class="selflink">#</a></td><td class="doc"><p>Zipping except for identity element laws against placeholder parameter type.</p></td></tr><tr><td colspan="2"><div id="section.i:id:PlaceHolders:ProjectableIdZip:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:leftId">leftId</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> ((), a) -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> a <a href="src/Database-Relational-Query-Projectable.html#leftId" class="link">Source</a> <a href="#v:leftId" class="selflink">#</a></p><p class="src"><a href="#v:rightId">rightId</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> (a, ()) -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> a <a href="src/Database-Relational-Query-Projectable.html#rightId" class="link">Source</a> <a href="#v:rightId" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:PlaceHolders:ProjectableMaybe:4" class="instance expander" onclick="toggleSection('i:id:PlaceHolders:ProjectableMaybe:4')"></span> <a href="Database-Relational-Query-Projectable.html#t:ProjectableMaybe">ProjectableMaybe</a> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a></span> <a href="src/Database-Relational-Query-Projectable.html#line-518" class="link">Source</a> <a href="#t:PlaceHolders" class="selflink">#</a></td><td class="doc"><p>Control phantom <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a></code> type in placeholder parameters.</p></td></tr><tr><td colspan="2"><div id="section.i:id:PlaceHolders:ProjectableMaybe:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:just">just</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> a -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#just" class="link">Source</a> <a href="#v:just" class="selflink">#</a></p><p class="src"><a href="#v:flattenMaybe">flattenMaybe</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</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-Maybe.html#t:Maybe">Maybe</a> a)) -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#flattenMaybe" class="link">Source</a> <a href="#v:flattenMaybe" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:unsafeAddPlaceHolders" class="def">unsafeAddPlaceHolders</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> f => f a -> f (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p, a) <a href="src/Database-Relational-Query-Projectable.html#unsafeAddPlaceHolders" class="link">Source</a> <a href="#v:unsafeAddPlaceHolders" class="selflink">#</a></p><div class="doc"><p>Unsafely add placeholder parameter to queries.</p></div></div><div class="top"><p class="src"><a id="v:unsafePlaceHolders" class="def">unsafePlaceHolders</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> p <a href="src/Database-Relational-Query-Projectable.html#unsafePlaceHolders" class="link">Source</a> <a href="#v:unsafePlaceHolders" class="selflink">#</a></p><div class="doc"><p>Unsafely get placeholder parameter</p></div></div><div class="top"><p class="src"><a id="v:pwPlaceholder" class="def">pwPlaceholder</a> :: <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p => <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableRecordWidth">PersistableRecordWidth</a> a -> (p a -> b) -> (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> a, b) <a href="src/Database-Relational-Query-Projectable.html#pwPlaceholder" class="link">Source</a> <a href="#v:pwPlaceholder" class="selflink">#</a></p><div class="doc"><p>Provide scoped placeholder from width and return its parameter object.</p></div></div><div class="top"><p class="src"><a id="v:placeholder-39-" class="def">placeholder'</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> t, <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p) => (p t -> a) -> (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> t, a) <a href="src/Database-Relational-Query-Projectable.html#placeholder%27" class="link">Source</a> <a href="#v:placeholder-39-" class="selflink">#</a></p><div class="doc"><p>Provide scoped placeholder and return its parameter object.</p></div></div><div class="top"><p class="src"><a id="v:placeholder" class="def">placeholder</a> :: (<a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> t, <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => (p t -> m a) -> m (<a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> t, a) <a href="src/Database-Relational-Query-Projectable.html#placeholder" class="link">Source</a> <a href="#v:placeholder" class="selflink">#</a></p><div class="doc"><p>Provide scoped placeholder and return its parameter object. Monadic version.</p></div></div><div class="top"><p class="src"><a id="v:unitPlaceHolder" class="def">unitPlaceHolder</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> () <a href="src/Database-Relational-Query-Projectable.html#unitPlaceHolder" class="link">Source</a> <a href="#v:unitPlaceHolder" class="selflink">#</a></p><div class="doc"><p>No placeholder semantics</p></div></div><div class="top"><p class="src"><a id="v:unitPH" class="def">unitPH</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> () <a href="src/Database-Relational-Query-Projectable.html#unitPH" class="link">Source</a> <a href="#v:unitPH" class="selflink">#</a></p><div class="doc"><p>No placeholder semantics. Same as <code><a href="Database-Relational-Query-Projectable.html#v:unitPlaceHolder">unitPlaceHolder</a></code></p></div></div><h1 id="g:4">Projectable into SQL strings</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:ProjectableShowSql" class="def">ProjectableShowSql</a> p <span class="keyword">where</span> <a href="src/Database-Relational-Query-Projectable.html#ProjectableShowSql" class="link">Source</a> <a href="#t:ProjectableShowSql" class="selflink">#</a></p><div class="doc"><p>Interface to get SQL term from projections.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Database-Relational-Query-Projectable.html#v:unsafeShowSql-39-">unsafeShowSql'</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:unsafeShowSql-39-" class="def">unsafeShowSql'</a> :: p a -> <a href="Database-Relational-Query-ProjectableClass.html#t:StringSQL">StringSQL</a> <a href="src/Database-Relational-Query-Projectable.html#unsafeShowSql%27" class="link">Source</a> <a href="#v:unsafeShowSql-39-" class="selflink">#</a></p><div class="doc"><p>Unsafely generate SQL expression term from projection object.</p></div></div><div class="subs instances"><p id="control.i:ProjectableShowSql" class="caption collapser" onclick="toggleSection('i:ProjectableShowSql')">Instances</p><div id="section.i:ProjectableShowSql" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ProjectableShowSql:ProjectableShowSql:1" class="instance expander" onclick="toggleSection('i:ic:ProjectableShowSql:ProjectableShowSql:1')"></span> <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c)</span> <a href="src/Database-Relational-Query-Projectable.html#line-165" class="link">Source</a> <a href="#t:ProjectableShowSql" class="selflink">#</a></td><td class="doc"><p>Unsafely get SQL term from <code>Proejction</code>.</p></td></tr><tr><td colspan="2"><div id="section.i:ic:ProjectableShowSql:ProjectableShowSql:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unsafeShowSql-39-">unsafeShowSql'</a> :: <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a -> <a href="Database-Relational-Query-ProjectableClass.html#t:StringSQL">StringSQL</a> <a href="src/Database-Relational-Query-Projectable.html#unsafeShowSql%27" class="link">Source</a> <a href="#v:unsafeShowSql-39-" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:unsafeShowSql" class="def">unsafeShowSql</a> <a href="src/Database-Relational-Query-Projectable.html#unsafeShowSql" class="link">Source</a> <a href="#v:unsafeShowSql" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p</td><td class="doc empty"> </td></tr><tr><td class="src">=> p a</td><td class="doc"><p>Source projection object</p></td></tr><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>Result SQL expression string.</p></td></tr></table></div><div class="doc"><p>Unsafely generate SQL expression string from projection object.
String interface of <code><a href="Database-Relational-Query-Projectable.html#v:unsafeShowSql-39-">unsafeShowSql'</a></code>.</p></div></div><h1 id="g:5">Operators</h1><div class="top"><p class="src"><a id="v:.-61-." class="def">(.=.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.%3D." class="link">Source</a> <a href="#v:.-61-." class="selflink">#</a></p><div class="doc"><p>Compare operator corresponding SQL <em>=</em> .</p></div></div><div class="top"><p class="src"><a id="v:.-60-." class="def">(.<.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.%3C." class="link">Source</a> <a href="#v:.-60-." class="selflink">#</a></p><div class="doc"><p>Compare operator corresponding SQL <em><</em> .</p></div></div><div class="top"><p class="src"><a id="v:.-60--61-." class="def">(.<=.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.%3C%3D." class="link">Source</a> <a href="#v:.-60--61-." class="selflink">#</a></p><div class="doc"><p>Compare operator corresponding SQL <em><=</em> .</p></div></div><div class="top"><p class="src"><a id="v:.-62-." class="def">(.>.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.%3E." class="link">Source</a> <a href="#v:.-62-." class="selflink">#</a></p><div class="doc"><p>Compare operator corresponding SQL <em>></em> .</p></div></div><div class="top"><p class="src"><a id="v:.-62--61-." class="def">(.>=.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.%3E%3D." class="link">Source</a> <a href="#v:.-62--61-." class="selflink">#</a></p><div class="doc"><p>Compare operator corresponding SQL <em>>=</em> .</p></div></div><div class="top"><p class="src"><a id="v:.-60--62-." class="def">(.<>.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p ft -> p ft -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.%3C%3E." class="link">Source</a> <a href="#v:.-60--62-." class="selflink">#</a></p><div class="doc"><p>Compare operator corresponding SQL <em><></em> .</p></div></div><div class="top"><p class="src"><a id="v:and-39-" class="def">and'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p (<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-Bool.html#t:Bool">Bool</a>) -> p (<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-Bool.html#t:Bool">Bool</a>) -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infixr 3</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#and%27" class="link">Source</a> <a href="#v:and-39-" class="selflink">#</a></p><div class="doc"><p>Logical operator corresponding SQL <em>AND</em> .</p></div></div><div class="top"><p class="src"><a id="v:or-39-" class="def">or'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p (<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-Bool.html#t:Bool">Bool</a>) -> p (<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-Bool.html#t:Bool">Bool</a>) -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infixr 2</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#or%27" class="link">Source</a> <a href="#v:or-39-" class="selflink">#</a></p><div class="doc"><p>Logical operator corresponding SQL <em>OR</em> .</p></div></div><div class="top"><p class="src"><a id="v:in-39-" class="def">in'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p t -> <a href="Database-Relational-Query-Projection.html#t:ListProjection">ListProjection</a> p t -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#in%27" class="link">Source</a> <a href="#v:in-39-" class="selflink">#</a></p><div class="doc"><p>Binary operator corresponding SQL <em>IN</em> .</p></div></div><div class="top"><p class="src"><a id="v:.-124--124-." class="def">(.||.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a) => p a -> p a -> p a <span class="fixity">infixl 5</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.%7C%7C." class="link">Source</a> <a href="#v:.-124--124-." class="selflink">#</a></p><div class="doc"><p>Concatinate operator corresponding SQL <em>||</em> .</p></div></div><div class="top"><p class="src"><a id="v:-63--124--124--63-" class="def">(?||?)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <span class="fixity">infixl 5</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#%3F%7C%7C%3F" class="link">Source</a> <a href="#v:-63--124--124--63-" class="selflink">#</a></p><div class="doc"><p>Concatinate operator corresponding SQL <em>||</em> . Maybe type version.</p></div></div><div class="top"><p class="src"><a id="v:like" class="def">like</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a, <a href="Database-Relational-Query-ProjectableClass.html#t:ShowConstantTermsSQL">ShowConstantTermsSQL</a> a) => p a -> a -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#like" class="link">Source</a> <a href="#v:like" class="selflink">#</a></p><div class="doc"><p>String-compare operator corresponding SQL <em>LIKE</em> .</p></div></div><div class="top"><p class="src"><a id="v:likeMaybe" class="def">likeMaybe</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a, <a href="Database-Relational-Query-ProjectableClass.html#t:ShowConstantTermsSQL">ShowConstantTermsSQL</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> a -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#likeMaybe" class="link">Source</a> <a href="#v:likeMaybe" class="selflink">#</a></p><div class="doc"><p>String-compare operator corresponding SQL <em>LIKE</em> . Maybe type version.</p></div></div><div class="top"><p class="src"><a id="v:like-39-" class="def">like'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a) => p a -> p a -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#like%27" class="link">Source</a> <a href="#v:like-39-" class="selflink">#</a></p><div class="doc"><p>String-compare operator corresponding SQL <em>LIKE</em> .</p></div></div><div class="top"><p class="src"><a id="v:likeMaybe-39-" class="def">likeMaybe'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<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-Bool.html#t:Bool">Bool</a>) <span class="fixity">infix 4</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#likeMaybe%27" class="link">Source</a> <a href="#v:likeMaybe-39-" class="selflink">#</a></p><div class="doc"><p>String-compare operator corresponding SQL <em>LIKE</em> .</p></div></div><div class="top"><p class="src"><a id="v:.-43-." class="def">(.+.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p a -> p a -> p a <span class="fixity">infixl 6</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.%2B." class="link">Source</a> <a href="#v:.-43-." class="selflink">#</a></p><div class="doc"><p>Number operator corresponding SQL <em>+</em> .</p></div></div><div class="top"><p class="src"><a id="v:.-45-." class="def">(.-.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p a -> p a -> p a <span class="fixity">infixl 6</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.-." class="link">Source</a> <a href="#v:.-45-." class="selflink">#</a></p><div class="doc"><p>Number operator corresponding SQL <em>-</em> .</p></div></div><div class="top"><p class="src"><a id="v:.-42-." class="def">(.*.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p a -> p a -> p a <span class="fixity">infixl 7</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.%2A." class="link">Source</a> <a href="#v:.-42-." class="selflink">#</a></p><div class="doc"><p>Number operator corresponding SQL <em>*</em> .</p></div></div><div class="top"><p class="src"><a id="v:.-47-." class="def">(./.)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p a -> p a -> p a <span class="fixity">infixl 7</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#.%2F." class="link">Source</a> <a href="#v:.-47-." class="selflink">#</a></p><div class="doc"><p>Number operator corresponding SQL /// .</p></div></div><div class="top"><p class="src"><a id="v:-63--43--63-" class="def">(?+?)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <span class="fixity">infixl 6</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#%3F%2B%3F" class="link">Source</a> <a href="#v:-63--43--63-" class="selflink">#</a></p><div class="doc"><p>Number operator corresponding SQL <em>+</em> .</p></div></div><div class="top"><p class="src"><a id="v:-63--45--63-" class="def">(?-?)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <span class="fixity">infixl 6</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#%3F-%3F" class="link">Source</a> <a href="#v:-63--45--63-" class="selflink">#</a></p><div class="doc"><p>Number operator corresponding SQL <em>-</em> .</p></div></div><div class="top"><p class="src"><a id="v:-63--42--63-" class="def">(?*?)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <span class="fixity">infixl 7</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#%3F%2A%3F" class="link">Source</a> <a href="#v:-63--42--63-" class="selflink">#</a></p><div class="doc"><p>Number operator corresponding SQL <em>*</em> .</p></div></div><div class="top"><p class="src"><a id="v:-63--47--63-" class="def">(?/?)</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <span class="fixity">infixl 7</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#%3F%2F%3F" class="link">Source</a> <a href="#v:-63--47--63-" class="selflink">#</a></p><div class="doc"><p>Number operator corresponding SQL /// .</p></div></div><div class="top"><p class="src"><a id="v:isNothing" class="def">isNothing</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-KeyConstraint.html#t:HasColumnConstraint">HasColumnConstraint</a> <a href="Database-Relational-Query-Constraint.html#t:NotNull">NotNull</a> r) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> r) -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Bool.html#t:Bool">Bool</a>) <a href="src/Database-Relational-Query-Projectable.html#isNothing" class="link">Source</a> <a href="#v:isNothing" class="selflink">#</a></p><div class="doc"><p>Operator corresponding SQL <em>IS NULL</em> , and extended against record types.</p></div></div><div class="top"><p class="src"><a id="v:isJust" class="def">isJust</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-KeyConstraint.html#t:HasColumnConstraint">HasColumnConstraint</a> <a href="Database-Relational-Query-Constraint.html#t:NotNull">NotNull</a> r) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> r) -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Bool.html#t:Bool">Bool</a>) <a href="src/Database-Relational-Query-Projectable.html#isJust" class="link">Source</a> <a href="#v:isJust" class="selflink">#</a></p><div class="doc"><p>Operator corresponding SQL <em>NOT (... IS NULL)</em> , and extended against record type.</p></div></div><div class="top"><p class="src"><a id="v:fromMaybe" class="def">fromMaybe</a> :: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-KeyConstraint.html#t:HasColumnConstraint">HasColumnConstraint</a> <a href="Database-Relational-Query-Constraint.html#t:NotNull">NotNull</a> r) => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c r -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> r) -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c r <a href="src/Database-Relational-Query-Projectable.html#fromMaybe" class="link">Source</a> <a href="#v:fromMaybe" class="selflink">#</a></p><div class="doc"><p>Operator from maybe type using record extended <code>isNull</code>.</p></div></div><div class="top"><p class="src"><a id="v:not-39-" class="def">not'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => p (<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-Bool.html#t:Bool">Bool</a>) -> p (<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-Bool.html#t:Bool">Bool</a>) <a href="src/Database-Relational-Query-Projectable.html#not%27" class="link">Source</a> <a href="#v:not-39-" class="selflink">#</a></p><div class="doc"><p>Logical operator corresponding SQL <em>NOT</em> .</p></div></div><div class="top"><p class="src"><a id="v:exists" class="def">exists</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => <a href="Database-Relational-Query-Projection.html#t:ListProjection">ListProjection</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:Exists">Exists</a>) r -> p (<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-Bool.html#t:Bool">Bool</a>) <a href="src/Database-Relational-Query-Projectable.html#exists" class="link">Source</a> <a href="#v:exists" class="selflink">#</a></p><div class="doc"><p>Logical operator corresponding SQL <em>EXISTS</em> .</p></div></div><div class="top"><p class="src"><a id="v:negate-39-" class="def">negate'</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p a -> p a <a href="src/Database-Relational-Query-Projectable.html#negate%27" class="link">Source</a> <a href="#v:negate-39-" class="selflink">#</a></p><div class="doc"><p>Number negate uni-operator corresponding SQL <em>-</em>.</p></div></div><div class="top"><p class="src"><a id="v:fromIntegral-39-" class="def">fromIntegral'</a> :: (<a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> b) => p a -> p b <a href="src/Database-Relational-Query-Projectable.html#fromIntegral%27" class="link">Source</a> <a href="#v:fromIntegral-39-" class="selflink">#</a></p><div class="doc"><p>Number fromIntegral uni-operator.</p></div></div><div class="top"><p class="src"><a id="v:showNum" class="def">showNum</a> :: (<a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> b) => p a -> p b <a href="src/Database-Relational-Query-Projectable.html#showNum" class="link">Source</a> <a href="#v:showNum" class="selflink">#</a></p><div class="doc"><p>Unsafely show number into string-like type in projections.</p></div></div><div class="top"><p class="src"><a id="v:negateMaybe" class="def">negateMaybe</a> :: (OperatorProjectable p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#negateMaybe" class="link">Source</a> <a href="#v:negateMaybe" class="selflink">#</a></p><div class="doc"><p>Number negate uni-operator corresponding SQL <em>-</em>.</p></div></div><div class="top"><p class="src"><a id="v:fromIntegralMaybe" class="def">fromIntegralMaybe</a> :: (<a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> b) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b) <a href="src/Database-Relational-Query-Projectable.html#fromIntegralMaybe" class="link">Source</a> <a href="#v:fromIntegralMaybe" class="selflink">#</a></p><div class="doc"><p>Number fromIntegral uni-operator.</p></div></div><div class="top"><p class="src"><a id="v:showNumMaybe" class="def">showNumMaybe</a> :: (<a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:IsString">IsString</a> b) => p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b) <a href="src/Database-Relational-Query-Projectable.html#showNumMaybe" class="link">Source</a> <a href="#v:showNumMaybe" class="selflink">#</a></p><div class="doc"><p>Unsafely show number into string-like type in projections.</p></div></div><div class="top"><p class="src"><a id="v:casesOrElse" class="def">casesOrElse</a> <a href="src/Database-Relational-Query-Projectable.html#casesOrElse" class="link">Source</a> <a href="#v:casesOrElse" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c)</td><td class="doc empty"> </td></tr><tr><td class="src">=> [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Bool.html#t:Bool">Bool</a>), <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a)]</td><td class="doc"><p>Each when clauses</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a</td><td class="doc"><p>Else result projection</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a</td><td class="doc"><p>Result projection</p></td></tr></table></div><div class="doc"><p>Same as <code><a href="Database-Relational-Query-Projectable.html#v:caseSearch">caseSearch</a></code>, but you can write like <a href="when">list</a> <code><a href="Database-Relational-Query-Projectable.html#v:casesOrElse">casesOrElse</a></code> <a href="else">clause</a>.</p></div></div><div class="top"><p class="src"><a id="v:casesOrElse-39-" class="def">casesOrElse'</a> <a href="src/Database-Relational-Query-Projectable.html#casesOrElse%27" class="link">Source</a> <a href="#v:casesOrElse-39-" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c)</td><td class="doc empty"> </td></tr><tr><td class="src">=> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a, [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a, <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b)])</td><td class="doc"><p>Projection value to match and each when clauses list</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b</td><td class="doc"><p>Else result projection</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b</td><td class="doc"><p>Result projection</p></td></tr></table></div><div class="doc"><p>Uncurry version of <code><a href="Database-Relational-Query-Projectable.html#v:case-39-">case'</a></code>, and you can write like ... <code><a href="Database-Relational-Query-Projectable.html#v:casesOrElse-39-">casesOrElse'</a></code> <a href="else">clause</a>.</p></div></div><div class="top"><p class="src"><a id="v:caseSearch" class="def">caseSearch</a> <a href="src/Database-Relational-Query-Projectable.html#caseSearch" class="link">Source</a> <a href="#v:caseSearch" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c)</td><td class="doc empty"> </td></tr><tr><td class="src">=> [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Bool.html#t:Bool">Bool</a>), <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a)]</td><td class="doc"><p>Each when clauses</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a</td><td class="doc"><p>Else result projection</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a</td><td class="doc"><p>Result projection</p></td></tr></table></div><div class="doc"><p>Search case operator correnponding SQL search <em>CASE</em>.
Like, <em>CASE WHEN p0 THEN a WHEN p1 THEN b ... ELSE c END</em></p></div></div><div class="top"><p class="src"><a id="v:caseSearchMaybe" class="def">caseSearchMaybe</a> <a href="src/Database-Relational-Query-Projectable.html#caseSearchMaybe" class="link">Source</a> <a href="#v:caseSearchMaybe" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src">=> [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Bool.html#t:Bool">Bool</a>), <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a))]</td><td class="doc"><p>Each when clauses</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</td><td class="doc"><p>Result projection</p></td></tr></table></div><div class="doc"><p>Null default version of <code><a href="Database-Relational-Query-Projectable.html#v:caseSearch">caseSearch</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:case-39-" class="def">case'</a> <a href="src/Database-Relational-Query-Projectable.html#case%27" class="link">Source</a> <a href="#v:case-39-" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c)</td><td class="doc empty"> </td></tr><tr><td class="src">=> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a</td><td class="doc"><p>Projection value to match</p></td></tr><tr><td class="src">-> [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a, <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b)]</td><td class="doc"><p>Each when clauses</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b</td><td class="doc"><p>Else result projection</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c b</td><td class="doc"><p>Result projection</p></td></tr></table></div><div class="doc"><p>Simple case operator correnponding SQL simple <em>CASE</em>.
Like, <em>CASE x WHEN v THEN a WHEN w THEN b ... ELSE c END</em></p></div></div><div class="top"><p class="src"><a id="v:caseMaybe" class="def">caseMaybe</a> <a href="src/Database-Relational-Query-Projectable.html#caseMaybe" class="link">Source</a> <a href="#v:caseMaybe" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: (OperatorProjectable (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c), <a href="file:///usr/share/doc/libghc-persistable-record-doc/html/Database-Record-Persistable.html#t:PersistableWidth">PersistableWidth</a> b)</td><td class="doc empty"> </td></tr><tr><td class="src">=> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a</td><td class="doc"><p>Projection value to match</p></td></tr><tr><td class="src">-> [(<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a, <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b))]</td><td class="doc"><p>Each when clauses</p></td></tr><tr><td class="src">-> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b)</td><td class="doc"><p>Result projection</p></td></tr></table></div><div class="doc"><p>Null default version of <code><a href="Database-Relational-Query-Projectable.html#v:case-39-">case'</a></code>.</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:SqlBinOp" class="def">SqlBinOp</a> = <a href="file:///usr/share/doc/libghc-sql-words-doc/html/Language-SQL-Keyword-Type.html#t:Keyword">Keyword</a> -> <a href="file:///usr/share/doc/libghc-sql-words-doc/html/Language-SQL-Keyword-Type.html#t:Keyword">Keyword</a> -> <a href="file:///usr/share/doc/libghc-sql-words-doc/html/Language-SQL-Keyword-Type.html#t:Keyword">Keyword</a> <a href="src/Database-Relational-Query-Projectable.html#SqlBinOp" class="link">Source</a> <a href="#t:SqlBinOp" class="selflink">#</a></p><div class="doc"><p>Binary operator type for SQL String.</p></div></div><div class="top"><p class="src"><a id="v:unsafeBinOp" class="def">unsafeBinOp</a> :: (<a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p, <a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p) => <a href="Database-Relational-Query-Projectable.html#t:SqlBinOp">SqlBinOp</a> -> p a -> p b -> p c <a href="src/Database-Relational-Query-Projectable.html#unsafeBinOp" class="link">Source</a> <a href="#v:unsafeBinOp" class="selflink">#</a></p><div class="doc"><p>Unsafely make projection binary operator from string binary operator.</p></div></div><div class="top"><p class="src"><a id="v:unsafeUniOp" class="def">unsafeUniOp</a> :: (<a href="Database-Relational-Query-Projectable.html#t:ProjectableShowSql">ProjectableShowSql</a> p0, <a href="Database-Relational-Query-Projectable.html#t:SqlProjectable">SqlProjectable</a> p1) => (<a href="file:///usr/share/doc/libghc-sql-words-doc/html/Language-SQL-Keyword-Type.html#t:Keyword">Keyword</a> -> <a href="file:///usr/share/doc/libghc-sql-words-doc/html/Language-SQL-Keyword-Type.html#t:Keyword">Keyword</a>) -> p0 a -> p1 b <a href="src/Database-Relational-Query-Projectable.html#unsafeUniOp" class="link">Source</a> <a href="#v:unsafeUniOp" class="selflink">#</a></p><div class="doc"><p>Unsafely make projection unary operator from SQL keyword.</p></div></div><h1 id="g:6">Terms for Window function types</h1><div class="top"><p class="src"><a id="v:rank" class="def">rank</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> a <a href="src/Database-Relational-Query-Projectable.html#rank" class="link">Source</a> <a href="#v:rank" class="selflink">#</a></p><div class="doc"><p><em>RANK()</em> term.</p></div></div><div class="top"><p class="src"><a id="v:denseRank" class="def">denseRank</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> a <a href="src/Database-Relational-Query-Projectable.html#denseRank" class="link">Source</a> <a href="#v:denseRank" class="selflink">#</a></p><div class="doc"><p><em>DENSE_RANK()</em> term.</p></div></div><div class="top"><p class="src"><a id="v:rowNumber" class="def">rowNumber</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> a <a href="src/Database-Relational-Query-Projectable.html#rowNumber" class="link">Source</a> <a href="#v:rowNumber" class="selflink">#</a></p><div class="doc"><p><em>ROW_NUMBER()</em> term.</p></div></div><div class="top"><p class="src"><a id="v:percentRank" class="def">percentRank</a> :: <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Double">Double</a> <a href="src/Database-Relational-Query-Projectable.html#percentRank" class="link">Source</a> <a href="#v:percentRank" class="selflink">#</a></p><div class="doc"><p><em>PERCENT_RANK()</em> term.</p></div></div><div class="top"><p class="src"><a id="v:cumeDist" class="def">cumeDist</a> :: <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> <a href="Database-Relational-Query-Context.html#t:OverWindow">OverWindow</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Double">Double</a> <a href="src/Database-Relational-Query-Projectable.html#cumeDist" class="link">Source</a> <a href="#v:cumeDist" class="selflink">#</a></p><div class="doc"><p><em>CUME_DIST()</em> term.</p></div></div><h1 id="g:7">Zipping projections</h1><div class="top"><p class="src"><a id="v:projectZip" class="def">projectZip</a> :: <a href="Database-Relational-Query-ProjectableClass.html#t:ProjectableApplicative">ProjectableApplicative</a> p => p a -> p b -> p (a, b) <a href="src/Database-Relational-Query-Projectable.html#projectZip" class="link">Source</a> <a href="#v:projectZip" class="selflink">#</a></p><div class="doc"><p>Zipping projections.</p></div></div><div class="top"><p class="src"><a id="v:-62--60-" class="def">(><)</a> :: <a href="Database-Relational-Query-ProjectableClass.html#t:ProjectableApplicative">ProjectableApplicative</a> p => p a -> p b -> p (a, b) <span class="fixity">infixl 1</span><span class="rightedge"></span> <a href="src/Database-Relational-Query-Projectable.html#%3E%3C" class="link">Source</a> <a href="#v:-62--60-" class="selflink">#</a></p><div class="doc"><p>Binary operator the same as <code><a href="Database-Relational-Query-Projectable.html#v:projectZip">projectZip</a></code>.</p></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Database-Relational-Query-ProjectableClass.html#t:ProjectableApplicative">ProjectableApplicative</a> p => <a id="t:ProjectableIdZip" class="def">ProjectableIdZip</a> p <span class="keyword">where</span> <a href="src/Database-Relational-Query-Projectable.html#ProjectableIdZip" class="link">Source</a> <a href="#t:ProjectableIdZip" class="selflink">#</a></p><div class="doc"><p>Zipping except for identity element laws.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Database-Relational-Query-Projectable.html#v:leftId">leftId</a>, <a href="Database-Relational-Query-Projectable.html#v:rightId">rightId</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:leftId" class="def">leftId</a> :: p ((), a) -> p a <a href="src/Database-Relational-Query-Projectable.html#leftId" class="link">Source</a> <a href="#v:leftId" class="selflink">#</a></p><p class="src"><a id="v:rightId" class="def">rightId</a> :: p (a, ()) -> p a <a href="src/Database-Relational-Query-Projectable.html#rightId" class="link">Source</a> <a href="#v:rightId" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:ProjectableIdZip" class="caption collapser" onclick="toggleSection('i:ProjectableIdZip')">Instances</p><div id="section.i:ProjectableIdZip" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ProjectableIdZip:ProjectableIdZip:1" class="instance expander" onclick="toggleSection('i:ic:ProjectableIdZip:ProjectableIdZip:1')"></span> <a href="Database-Relational-Query-Projectable.html#t:ProjectableIdZip">ProjectableIdZip</a> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a></span> <a href="src/Database-Relational-Query-Projectable.html#line-533" class="link">Source</a> <a href="#t:ProjectableIdZip" class="selflink">#</a></td><td class="doc"><p>Zipping except for identity element laws against placeholder parameter type.</p></td></tr><tr><td colspan="2"><div id="section.i:ic:ProjectableIdZip:ProjectableIdZip:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:leftId">leftId</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> ((), a) -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> a <a href="src/Database-Relational-Query-Projectable.html#leftId" class="link">Source</a> <a href="#v:leftId" class="selflink">#</a></p><p class="src"><a href="#v:rightId">rightId</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> (a, ()) -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> a <a href="src/Database-Relational-Query-Projectable.html#rightId" class="link">Source</a> <a href="#v:rightId" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><h1 id="g:8"><code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a></code> type projecitoins</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:ProjectableMaybe" class="def">ProjectableMaybe</a> p <span class="keyword">where</span> <a href="src/Database-Relational-Query-Projectable.html#ProjectableMaybe" class="link">Source</a> <a href="#t:ProjectableMaybe" class="selflink">#</a></p><div class="doc"><p>Interface to control <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a></code> of phantom type in projections.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Database-Relational-Query-Projectable.html#v:just">just</a>, <a href="Database-Relational-Query-Projectable.html#v:flattenMaybe">flattenMaybe</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:just" class="def">just</a> :: p a -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#just" class="link">Source</a> <a href="#v:just" class="selflink">#</a></p><div class="doc"><p>Cast projection phantom type into <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a></code>.</p></div><p class="src"><a id="v:flattenMaybe" class="def">flattenMaybe</a> :: p (<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-Maybe.html#t:Maybe">Maybe</a> a)) -> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#flattenMaybe" class="link">Source</a> <a href="#v:flattenMaybe" class="selflink">#</a></p><div class="doc"><p>Compose nested <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a></code> phantom type on projection.</p></div></div><div class="subs instances"><p id="control.i:ProjectableMaybe" class="caption collapser" onclick="toggleSection('i:ProjectableMaybe')">Instances</p><div id="section.i:ProjectableMaybe" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ProjectableMaybe:ProjectableMaybe:1" class="instance expander" onclick="toggleSection('i:ic:ProjectableMaybe:ProjectableMaybe:1')"></span> <a href="Database-Relational-Query-Projectable.html#t:ProjectableMaybe">ProjectableMaybe</a> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a></span> <a href="src/Database-Relational-Query-Projectable.html#line-518" class="link">Source</a> <a href="#t:ProjectableMaybe" class="selflink">#</a></td><td class="doc"><p>Control phantom <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a></code> type in placeholder parameters.</p></td></tr><tr><td colspan="2"><div id="section.i:ic:ProjectableMaybe:ProjectableMaybe:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:just">just</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> a -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#just" class="link">Source</a> <a href="#v:just" class="selflink">#</a></p><p class="src"><a href="#v:flattenMaybe">flattenMaybe</a> :: <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</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-Maybe.html#t:Maybe">Maybe</a> a)) -> <a href="Database-Relational-Query-Projectable.html#t:PlaceHolders">PlaceHolders</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#flattenMaybe" class="link">Source</a> <a href="#v:flattenMaybe" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ProjectableMaybe:ProjectableMaybe:2" class="instance expander" onclick="toggleSection('i:ic:ProjectableMaybe:ProjectableMaybe:2')"></span> <a href="Database-Relational-Query-Projectable.html#t:ProjectableMaybe">ProjectableMaybe</a> (<a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c)</span> <a href="src/Database-Relational-Query-Projectable.html#line-523" class="link">Source</a> <a href="#t:ProjectableMaybe" class="selflink">#</a></td><td class="doc"><p>Control phantom <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a></code> type in projection type <code><a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a></code>.</p></td></tr><tr><td colspan="2"><div id="section.i:ic:ProjectableMaybe:ProjectableMaybe:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:just">just</a> :: <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c a -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#just" class="link">Source</a> <a href="#v:just" class="selflink">#</a></p><p class="src"><a href="#v:flattenMaybe">flattenMaybe</a> :: <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<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-Maybe.html#t:Maybe">Maybe</a> a)) -> <a href="Database-Relational-Query-Sub.html#t:Projection">Projection</a> c (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Database-Relational-Query-Projectable.html#flattenMaybe" class="link">Source</a> <a href="#v:flattenMaybe" 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>
|