/usr/share/doc/libghc-persistable-record-doc/html/src/Database-Record-FromSql.html is in libghc-persistable-record-doc 0.5.1.1-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 | <?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ -->
<title>src/Database/Record/FromSql.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE FlexibleContexts #-}</span>
<a name="line-2"></a><span class='hs-comment'>{-# LANGUAGE FlexibleInstances #-}</span>
<a name="line-3"></a><span class='hs-comment'>{-# LANGUAGE MultiParamTypeClasses #-}</span>
<a name="line-4"></a><span class='hs-comment'>{-# LANGUAGE TypeOperators #-}</span>
<a name="line-5"></a><span class='hs-comment'>{-# LANGUAGE DefaultSignatures #-}</span>
<a name="line-6"></a>
<a name="line-7"></a><span class='hs-comment'>-- |</span>
<a name="line-8"></a><span class='hs-comment'>-- Module : Database.Record.FromSql</span>
<a name="line-9"></a><span class='hs-comment'>-- Copyright : 2013-2017 Kei Hibino</span>
<a name="line-10"></a><span class='hs-comment'>-- License : BSD3</span>
<a name="line-11"></a><span class='hs-comment'>--</span>
<a name="line-12"></a><span class='hs-comment'>-- Maintainer : ex8k.hibino@gmail.com</span>
<a name="line-13"></a><span class='hs-comment'>-- Stability : experimental</span>
<a name="line-14"></a><span class='hs-comment'>-- Portability : unknown</span>
<a name="line-15"></a><span class='hs-comment'>--</span>
<a name="line-16"></a><span class='hs-comment'>-- This module defines interfaces</span>
<a name="line-17"></a><span class='hs-comment'>-- from list of database value type into Haskell type.</span>
<a name="line-18"></a>
<a name="line-19"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Database</span><span class='hs-varop'>.</span><span class='hs-conid'>Record</span><span class='hs-varop'>.</span><span class='hs-conid'>FromSql</span> <span class='hs-layout'>(</span>
<a name="line-20"></a> <span class='hs-comment'>-- * Conversion from list of database value type into record type</span>
<a name="line-21"></a> <span class='hs-conid'>RecordFromSql</span><span class='hs-layout'>,</span> <span class='hs-varid'>runTakeRecord</span><span class='hs-layout'>,</span> <span class='hs-varid'>runToRecord</span><span class='hs-layout'>,</span>
<a name="line-22"></a> <span class='hs-varid'>createRecordFromSql</span><span class='hs-layout'>,</span>
<a name="line-23"></a>
<a name="line-24"></a> <span class='hs-layout'>(</span><span class='hs-varop'><&></span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-25"></a> <span class='hs-varid'>maybeRecord</span><span class='hs-layout'>,</span>
<a name="line-26"></a>
<a name="line-27"></a> <span class='hs-comment'>-- * Derivation rules of 'RecordFromSql' conversion</span>
<a name="line-28"></a> <span class='hs-conid'>FromSql</span> <span class='hs-layout'>(</span><span class='hs-varid'>recordFromSql</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-29"></a> <span class='hs-varid'>takeRecord</span><span class='hs-layout'>,</span> <span class='hs-varid'>toRecord</span><span class='hs-layout'>,</span>
<a name="line-30"></a>
<a name="line-31"></a> <span class='hs-varid'>valueRecordFromSql</span><span class='hs-layout'>,</span>
<a name="line-32"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-33"></a>
<a name="line-34"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>GHC</span><span class='hs-varop'>.</span><span class='hs-conid'>Generics</span> <span class='hs-layout'>(</span><span class='hs-conid'>Generic</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rep</span><span class='hs-layout'>,</span> <span class='hs-conid'>U1</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>K1</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>M1</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-conop'>:*:</span><span class='hs-layout'>)</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>to</span><span class='hs-layout'>)</span>
<a name="line-35"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Applicative</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varop'><$></span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>Applicative</span> <span class='hs-layout'>(</span><span class='hs-varid'>pure</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varop'><*></span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-36"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span> <span class='hs-layout'>(</span><span class='hs-varid'>liftM</span><span class='hs-layout'>,</span> <span class='hs-varid'>ap</span><span class='hs-layout'>)</span>
<a name="line-37"></a>
<a name="line-38"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Database</span><span class='hs-varop'>.</span><span class='hs-conid'>Record</span><span class='hs-varop'>.</span><span class='hs-conid'>Persistable</span> <span class='hs-layout'>(</span><span class='hs-conid'>PersistableType</span><span class='hs-layout'>)</span>
<a name="line-39"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Database</span><span class='hs-varop'>.</span><span class='hs-conid'>Record</span><span class='hs-varop'>.</span><span class='hs-conid'>Persistable</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Persistable</span>
<a name="line-40"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Database</span><span class='hs-varop'>.</span><span class='hs-conid'>Record</span><span class='hs-varop'>.</span><span class='hs-conid'>KeyConstraint</span>
<a name="line-41"></a> <span class='hs-layout'>(</span><span class='hs-conid'>HasColumnConstraint</span><span class='hs-layout'>(</span><span class='hs-varid'>columnConstraint</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>ColumnConstraint</span><span class='hs-layout'>,</span> <span class='hs-conid'>NotNull</span><span class='hs-layout'>,</span> <span class='hs-varid'>index</span><span class='hs-layout'>)</span>
<a name="line-42"></a>
<a name="line-43"></a><a name="RecordFromSql"></a><span class='hs-comment'>{- |
<a name="line-44"></a>'RecordFromSql' 'q' 'a' is data-type wrapping function
<a name="line-45"></a>to convert from list of database value type (to receive from database) ['q'] into Haskell type 'a'
<a name="line-46"></a>
<a name="line-47"></a>This structure is similar to parser.
<a name="line-48"></a>While running 'RecordFromSql' behavior is the same as non-fail-able parser
<a name="line-49"></a>which parse list of database value type ['q'] stream.
<a name="line-50"></a>
<a name="line-51"></a>So, 'RecordFromSql' 'q' is 'Monad' and 'Applicative' instance like parser monad.
<a name="line-52"></a>When, you have data constructor and objects like below.
<a name="line-53"></a>
<a name="line-54"></a>@
<a name="line-55"></a> data MyRecord = MyRecord Foo Bar Baz
<a name="line-56"></a>@
<a name="line-57"></a>
<a name="line-58"></a>@
<a name="line-59"></a> foo :: 'RecordFromSql' SqlValue Foo
<a name="line-60"></a> foo = ...
<a name="line-61"></a> bar :: 'RecordFromSql' SqlValue Bar
<a name="line-62"></a> bar = ...
<a name="line-63"></a> baz :: 'RecordFromSql' SqlValue Bar
<a name="line-64"></a> baz = ...
<a name="line-65"></a>@
<a name="line-66"></a>
<a name="line-67"></a>You can get composed 'RecordFromSql' like below.
<a name="line-68"></a>
<a name="line-69"></a>@
<a name="line-70"></a> myRecord :: RecordFromSql SqlValue MyRecord
<a name="line-71"></a> myRecord = MyRecord \<$\> foo \<*\> bar \<*\> baz
<a name="line-72"></a>@
<a name="line-73"></a>-}</span>
<a name="line-74"></a><a name="RecordFromSql"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-75"></a>
<a name="line-76"></a><a name="runTakeRecord"></a><span class='hs-comment'>-- | Run 'RecordFromSql' parser function object.</span>
<a name="line-77"></a><span class='hs-comment'>-- Convert from list of database value type ['q'] into Haskell type 'a' and rest of list ['q'].</span>
<a name="line-78"></a><span class='hs-definition'>runTakeRecord</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span> <span class='hs-comment'>-- ^ parser function object which has capability to convert</span>
<a name="line-79"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ list of database value type</span>
<a name="line-80"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Haskell type and rest of list</span>
<a name="line-81"></a><span class='hs-definition'>runTakeRecord</span> <span class='hs-layout'>(</span><span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span>
<a name="line-82"></a>
<a name="line-83"></a><a name="createRecordFromSql"></a><span class='hs-comment'>-- | Axiom of 'RecordFromSql' for database value type 'q' and Haskell type 'a'</span>
<a name="line-84"></a><span class='hs-definition'>createRecordFromSql</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Convert function body</span>
<a name="line-85"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span> <span class='hs-comment'>-- ^ Result parser function object</span>
<a name="line-86"></a><span class='hs-definition'>createRecordFromSql</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>RecordFromSql</span>
<a name="line-87"></a>
<a name="line-88"></a><a name="runToRecord"></a><span class='hs-comment'>-- | Run 'RecordFromSql' parser function object. Convert from list of database value type ['q'] into Haskell type 'a'.</span>
<a name="line-89"></a><span class='hs-definition'>runToRecord</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span> <span class='hs-comment'>-- ^ parser function object which has capability to convert</span>
<a name="line-90"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- ^ list of database value type</span>
<a name="line-91"></a> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-comment'>-- ^ Haskell type</span>
<a name="line-92"></a><span class='hs-definition'>runToRecord</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fst</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runTakeRecord</span> <span class='hs-varid'>r</span>
<a name="line-93"></a>
<a name="line-94"></a><a name="instance%20Monad%20(RecordFromSql%20q)"></a><span class='hs-comment'>-- | 'Monad' instance like parser 'Monad'.</span>
<a name="line-95"></a><a name="instance%20Monad%20(RecordFromSql%20q)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Monad</span> <span class='hs-layout'>(</span><span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-96"></a> <span class='hs-varid'>return</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>createRecordFromSql</span> <span class='hs-layout'>(</span><span class='hs-conid'>(,)</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span>
<a name="line-97"></a> <span class='hs-varid'>ma</span> <span class='hs-varop'>>>=</span> <span class='hs-varid'>fmb</span> <span class='hs-keyglyph'>=</span>
<a name="line-98"></a> <span class='hs-varid'>createRecordFromSql</span>
<a name="line-99"></a> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>vals</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-varid'>vals'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runTakeRecord</span> <span class='hs-varid'>ma</span> <span class='hs-varid'>vals</span>
<a name="line-100"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>runTakeRecord</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmb</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-varid'>vals'</span><span class='hs-layout'>)</span>
<a name="line-101"></a>
<a name="line-102"></a><a name="instance%20Functor%20(RecordFromSql%20q)"></a><span class='hs-comment'>-- | Derived 'Functor' instance from 'Monad' instance</span>
<a name="line-103"></a><a name="instance%20Functor%20(RecordFromSql%20q)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Functor</span> <span class='hs-layout'>(</span><span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-104"></a> <span class='hs-varid'>fmap</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>liftM</span>
<a name="line-105"></a>
<a name="line-106"></a><a name="instance%20Applicative%20(RecordFromSql%20q)"></a><span class='hs-comment'>-- | Derived 'Applicative' instance from 'Monad' instance</span>
<a name="line-107"></a><a name="instance%20Applicative%20(RecordFromSql%20q)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Applicative</span> <span class='hs-layout'>(</span><span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-108"></a> <span class='hs-varid'>pure</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span>
<a name="line-109"></a> <span class='hs-layout'>(</span><span class='hs-varop'><*></span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ap</span>
<a name="line-110"></a>
<a name="line-111"></a><a name="%3c&%3e"></a><span class='hs-comment'>-- | Derivation rule of 'RecordFromSql' parser function object for Haskell tuple (,) type.</span>
<a name="line-112"></a><span class='hs-layout'>(</span><span class='hs-varop'><&></span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span>
<a name="line-113"></a><a name="a"></a><span class='hs-definition'>a</span> <span class='hs-varop'><&></span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>(,)</span> <span class='hs-varop'><$></span> <span class='hs-varid'>a</span> <span class='hs-varop'><*></span> <span class='hs-varid'>b</span>
<a name="line-114"></a>
<a name="line-115"></a><span class='hs-keyword'>infixl</span> <span class='hs-num'>4</span> <span class='hs-varop'><&></span>
<a name="line-116"></a>
<a name="line-117"></a>
<a name="line-118"></a><a name="maybeRecord"></a><span class='hs-comment'>-- | Derivation rule of 'RecordFromSql' parser function object for Haskell 'Maybe' type.</span>
<a name="line-119"></a><span class='hs-definition'>maybeRecord</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>PersistableType</span> <span class='hs-varid'>q</span>
<a name="line-120"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span>
<a name="line-121"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ColumnConstraint</span> <span class='hs-conid'>NotNull</span> <span class='hs-varid'>a</span>
<a name="line-122"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span>
<a name="line-123"></a><span class='hs-definition'>maybeRecord</span> <span class='hs-varid'>rec</span> <span class='hs-varid'>pkey</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>createRecordFromSql</span> <span class='hs-varid'>mayToRec</span> <span class='hs-keyword'>where</span>
<a name="line-124"></a> <span class='hs-varid'>mayToRec</span> <span class='hs-varid'>vals</span>
<a name="line-125"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>vals</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>index</span> <span class='hs-varid'>pkey</span> <span class='hs-varop'>/=</span> <span class='hs-conid'>Persistable</span><span class='hs-varop'>.</span><span class='hs-varid'>sqlNullValue</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-varid'>vals'</span><span class='hs-layout'>)</span>
<a name="line-126"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>Nothing</span><span class='hs-layout'>,</span> <span class='hs-varid'>vals'</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-127"></a> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-varid'>vals'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runTakeRecord</span> <span class='hs-varid'>rec</span> <span class='hs-varid'>vals</span>
<a name="line-128"></a>
<a name="line-129"></a><a name="RecordFromSql"></a><span class='hs-comment'>{- |
<a name="line-130"></a>'FromSql' 'q' 'a' is implicit rule to derive 'RecordFromSql' 'q' 'a' record parser function against type 'a'.
<a name="line-131"></a>
<a name="line-132"></a>Generic programming (<https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#generic-programming>)
<a name="line-133"></a>with default signature is available for 'FromSql' class,
<a name="line-134"></a>so you can make instance like below:
<a name="line-135"></a>
<a name="line-136"></a>@
<a name="line-137"></a> \{\-\# LANGUAGE DeriveGeneric \#\-\}
<a name="line-138"></a> import GHC.Generics (Generic)
<a name="line-139"></a> import Database.HDBC (SqlValue)
<a name="line-140"></a> --
<a name="line-141"></a> data Foo = Foo { ... } deriving Generic
<a name="line-142"></a> instance FromSql SqlValue Foo
<a name="line-143"></a>@
<a name="line-144"></a>
<a name="line-145"></a>-}</span>
<a name="line-146"></a><a name="RecordFromSql"></a><span class='hs-keyword'>class</span> <span class='hs-conid'>FromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>where</span>
<a name="line-147"></a> <span class='hs-comment'>-- | 'RecordFromSql' 'q' 'a' record parser function.</span>
<a name="line-148"></a> <span class='hs-varid'>recordFromSql</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span>
<a name="line-149"></a>
<a name="line-150"></a> <span class='hs-keyword'>default</span> <span class='hs-varid'>recordFromSql</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Generic</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>GFromSql</span> <span class='hs-varid'>q</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rep</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span>
<a name="line-151"></a> <span class='hs-varid'>recordFromSql</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>to</span> <span class='hs-varop'><$></span> <span class='hs-varid'>gFromSql</span>
<a name="line-152"></a>
<a name="line-153"></a>
<a name="line-154"></a><a name="GFromSql"></a><span class='hs-keyword'>class</span> <span class='hs-conid'>GFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>f</span> <span class='hs-keyword'>where</span>
<a name="line-155"></a> <span class='hs-varid'>gFromSql</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-layout'>(</span><span class='hs-varid'>f</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span>
<a name="line-156"></a>
<a name="line-157"></a><a name="instance%20GFromSql%20q%20U1"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>GFromSql</span> <span class='hs-varid'>q</span> <span class='hs-conid'>U1</span> <span class='hs-keyword'>where</span>
<a name="line-158"></a> <span class='hs-varid'>gFromSql</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>createRecordFromSql</span> <span class='hs-varop'>$</span> <span class='hs-conid'>(,)</span> <span class='hs-conid'>U1</span>
<a name="line-159"></a>
<a name="line-160"></a><a name="instance%20GFromSql%20q%20(a%20:*:%20b)"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>GFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>GFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>GFromSql</span> <span class='hs-varid'>q</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-conop'>:*:</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-161"></a> <span class='hs-varid'>gFromSql</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conop'>:*:</span><span class='hs-layout'>)</span> <span class='hs-varop'><$></span> <span class='hs-varid'>gFromSql</span> <span class='hs-varop'><*></span> <span class='hs-varid'>gFromSql</span>
<a name="line-162"></a>
<a name="line-163"></a><a name="instance%20GFromSql%20q%20(M1%20i%20c%20a)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>GFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>GFromSql</span> <span class='hs-varid'>q</span> <span class='hs-layout'>(</span><span class='hs-conid'>M1</span> <span class='hs-varid'>i</span> <span class='hs-varid'>c</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-164"></a> <span class='hs-varid'>gFromSql</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>M1</span> <span class='hs-varop'><$></span> <span class='hs-varid'>gFromSql</span>
<a name="line-165"></a>
<a name="line-166"></a><a name="instance%20GFromSql%20q%20(K1%20i%20a)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>FromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>GFromSql</span> <span class='hs-varid'>q</span> <span class='hs-layout'>(</span><span class='hs-conid'>K1</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-167"></a> <span class='hs-varid'>gFromSql</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>K1</span> <span class='hs-varop'><$></span> <span class='hs-varid'>recordFromSql</span>
<a name="line-168"></a>
<a name="line-169"></a>
<a name="line-170"></a><a name="instance%20FromSql%20q%20(Maybe%20a)"></a><span class='hs-comment'>-- | Implicit derivation rule of 'RecordFromSql' parser function object which can convert</span>
<a name="line-171"></a><a name="instance%20FromSql%20q%20(Maybe%20a)"></a><span class='hs-comment'>-- from list of database value type ['q'] into Haskell 'Maybe' type.</span>
<a name="line-172"></a><a name="instance%20FromSql%20q%20(Maybe%20a)"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>HasColumnConstraint</span> <span class='hs-conid'>NotNull</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>FromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>PersistableType</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span>
<a name="line-173"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>FromSql</span> <span class='hs-varid'>q</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-174"></a> <span class='hs-varid'>recordFromSql</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>maybeRecord</span> <span class='hs-varid'>recordFromSql</span> <span class='hs-varid'>columnConstraint</span>
<a name="line-175"></a>
<a name="line-176"></a><a name="instance%20FromSql%20q%20()"></a><span class='hs-comment'>-- | Implicit derivation rule of 'RecordFromSql' parser function object which can convert</span>
<a name="line-177"></a><a name="instance%20FromSql%20q%20()"></a><span class='hs-comment'>-- from /empty/ list of database value type ['q'] into Haskell unit () type.</span>
<a name="line-178"></a><a name="instance%20FromSql%20q%20()"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>FromSql</span> <span class='hs-varid'>q</span> <span class='hs-conid'>()</span> <span class='hs-comment'>-- default generic instance</span>
<a name="line-179"></a>
<a name="line-180"></a><a name="takeRecord"></a><span class='hs-comment'>-- | Run implicit 'RecordFromSql' parser function object.</span>
<a name="line-181"></a><span class='hs-comment'>-- Convert from list of database value type ['q'] into haskell type 'a' and rest of list ['q'].</span>
<a name="line-182"></a><span class='hs-definition'>takeRecord</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-183"></a><span class='hs-definition'>takeRecord</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runTakeRecord</span> <span class='hs-varid'>recordFromSql</span>
<a name="line-184"></a>
<a name="line-185"></a><a name="toRecord"></a><span class='hs-comment'>-- | Run implicit 'RecordFromSql' parser function object.</span>
<a name="line-186"></a><span class='hs-comment'>-- Convert from list of database value type ['q'] into haskell type 'a'.</span>
<a name="line-187"></a><span class='hs-definition'>toRecord</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span>
<a name="line-188"></a><span class='hs-definition'>toRecord</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runToRecord</span> <span class='hs-varid'>recordFromSql</span>
<a name="line-189"></a>
<a name="line-190"></a><a name="valueRecordFromSql"></a><span class='hs-comment'>-- | Derivation rule of 'RecordFromSql' parser function object for value convert function.</span>
<a name="line-191"></a><span class='hs-definition'>valueRecordFromSql</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-varid'>q</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>RecordFromSql</span> <span class='hs-varid'>q</span> <span class='hs-varid'>a</span>
<a name="line-192"></a><span class='hs-definition'>valueRecordFromSql</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>createRecordFromSql</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>qs</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>d</span> <span class='hs-varop'>$</span> <span class='hs-varid'>head</span> <span class='hs-varid'>qs</span><span class='hs-layout'>,</span> <span class='hs-varid'>tail</span> <span class='hs-varid'>qs</span><span class='hs-layout'>)</span>
</pre></body>
</html>
|