git.iko.soy/rel8
on 716d9f1 help sign in
rel8/src/Rel8.hs
370 lines 6.9 kB history raw
1{-# language DuplicateRecordFields #-}
3module Rel8
4 ( -- * Database types
5 -- ** @DBType@
6 DBType(..)
8 -- *** Deriving-via helpers
9 -- **** @JSONEncoded@
10 , JSONEncoded(..)
11 , JSONBEncoded(..)
13 -- **** @ReadShow@
14 , ReadShow(..)
16 -- **** Generic
17 , Composite(..), DBComposite(..), compose, decompose
18 , Enum(..), DBEnum(..), Enumable
20 -- *** @TypeInformation@
21 , TypeInformation(..)
22 , mapTypeInformation
23 , parseTypeInformation
25 -- ** The @DBType@ hierarchy
26 , DBSemigroup(..)
27 , DBMonoid(..)
28 , DBNum
29 , DBIntegral
30 , DBFractional
31 , DBFloating
33 -- * Tables and higher-kinded tables
34 , Rel8able, KRel8able
35 , Column
36 , HADT
37 , HEither
38 , HMaybe
39 , HList
40 , HNonEmpty
41 , HThese
42 , Lift
44 , Table(..)
45 , HTable
46 , Recontextualize
47 , AltTable((<|>:))
48 , AlternativeTable( emptyTable )
49 , EqTable, (==:), (/=:)
50 , OrdTable, ascTable, descTable
51 , lit
52 , bool
53 , case_
55 -- ** @MaybeTable@
56 , MaybeTable
57 , maybeTable, ($?), nothingTable, justTable
58 , isNothingTable, isJustTable
59 , optional
60 , catMaybeTable
61 , traverseMaybeTable
62 , nameMaybeTable
64 -- ** @EitherTable@
65 , EitherTable
66 , eitherTable, leftTable, rightTable
67 , isLeftTable, isRightTable
68 , keepLeftTable
69 , keepRightTable
70 , bitraverseEitherTable
71 , nameEitherTable
73 -- ** @TheseTable@
74 , TheseTable
75 , theseTable, thisTable, thatTable, thoseTable
76 , isThisTable, isThatTable, isThoseTable
77 , hasHereTable, hasThereTable
78 , justHereTable, justThereTable
79 , alignBy
80 , keepHereTable, loseHereTable
81 , keepThereTable, loseThereTable
82 , keepThisTable, loseThisTable
83 , keepThatTable, loseThatTable
84 , keepThoseTable, loseThoseTable
85 , bitraverseTheseTable
86 , nameTheseTable
88 -- ** @ListTable@
89 , ListTable
90 , listTable
91 , nameListTable
92 , many
93 , manyExpr
94 , catListTable
95 , catList
97 -- ** @NonEmptyTable@
98 , NonEmptyTable
99 , nonEmptyTable
100 , nameNonEmptyTable
101 , some
102 , someExpr
103 , catNonEmptyTable
104 , catNonEmpty
106 -- ** @ADT@
107 , ADT, ADTable
108 , BuildADT, buildADT
109 , ConstructADT, constructADT
110 , DeconstructADT, deconstructADT
111 , NameADT, nameADT
112 , AggregateADT, aggregateADT
114 -- ** @HKD@
115 , HKD, HKDable
116 , BuildHKD, buildHKD
117 , ConstructHKD, constructHKD
118 , DeconstructHKD, deconstructHKD
119 , NameHKD, nameHKD
120 , AggregateHKD, aggregateHKD
122 -- ** Table schemas
123 , TableSchema(..)
124 , Name
125 , namesFromLabels
126 , namesFromLabelsWith
128 -- * Expressions
129 , Expr
130 , Sql
131 , litExpr
132 , unsafeCastExpr
133 , unsafeLiteral
135 -- ** @null@
136 , NotNull
137 , Nullable
138 , null
139 , nullify
140 , nullable
141 , isNull
142 , isNonNull
143 , mapNull
144 , liftOpNull
145 , catNull
146 , coalesce
148 -- ** Boolean operations
149 , DBEq
150 , true, false, not_
151 , (&&.), and_
152 , (||.), or_
153 , (==.), (/=.), (==?), (/=?)
154 , in_
155 , boolExpr, caseExpr
157 -- ** Ordering
158 , DBOrd
159 , (<.), (<=.), (>.), (>=.)
160 , (<?), (<=?), (>?), (>=?)
161 , leastExpr, greatestExpr
163 -- ** Functions
164 , Function
165 , function
166 , nullaryFunction
167 , binaryOperator
169 -- * Queries
170 , Query
171 , showQuery
173 -- ** Selecting rows
174 , Selects
175 , each
176 , values
178 -- ** Filtering
179 , filter
180 , where_
181 , present
182 , absent
183 , distinct
184 , distinctOn
185 , distinctOnBy
187 -- ** @LIMIT@/@OFFSET@
188 , limit
189 , offset
191 -- ** @UNION@
192 , union
193 , unionAll
195 -- ** @INTERSECT@
196 , intersect
197 , intersectAll
199 -- ** @EXCEPT@
200 , except
201 , exceptAll
203 -- ** @EXISTS@
204 , exists
205 , with
206 , withBy
207 , without
208 , withoutBy
210 -- ** Aggregation
211 , Aggregate
212 , Aggregates
213 , aggregate
214 , countRows
215 , groupBy
216 , listAgg, listAggExpr
217 , nonEmptyAgg, nonEmptyAggExpr
218 , DBMax, max
219 , DBMin, min
220 , DBSum, sum, sumWhere
221 , DBString, stringAgg
222 , count
223 , countStar
224 , countDistinct
225 , countWhere
226 , and
227 , or
229 -- ** Ordering
230 , orderBy
231 , Order
232 , asc
233 , desc
234 , nullsFirst
235 , nullsLast
237 -- * IO
238 , Serializable
239 , ToExprs(..)
240 , FromExprs
241 , Result
243 -- * Running statements
244 -- $running
246 -- ** @SELECT@
247 , select
249 -- ** @INSERT@
250 , Insert(..)
251 , OnConflict(..)
252 , insert
253 , unsafeDefault
255 -- ** @DELETE@
256 , Delete(..)
257 , delete
259 -- ** @UPDATE@
260 , Update(..)
261 , update
263 -- ** @.. RETURNING@
264 , Returning(..)
266 -- ** @CREATE VIEW@
267 , createView
269 -- ** Sequences
270 , nextval
271 , evaluate
273 -- * Implementation details
274 , HKDT(..)
275 ) where
277-- base
278import Prelude ()
280-- rel8
281import Rel8.Aggregate
282import Rel8.Column
283import Rel8.Column.ADT
284import Rel8.Column.Either
285import Rel8.Column.Lift
286import Rel8.Column.List
287import Rel8.Column.Maybe
288import Rel8.Column.NonEmpty
289import Rel8.Column.These
290import Rel8.Expr
291import Rel8.Expr.Aggregate
292import Rel8.Expr.Bool
293import Rel8.Expr.Default
294import Rel8.Expr.Eq
295import Rel8.Expr.Function
296import Rel8.Expr.Null
297import Rel8.Expr.Opaleye (unsafeCastExpr, unsafeLiteral)
298import Rel8.Expr.Ord
299import Rel8.Expr.Order
300import Rel8.Expr.Serialize
301import Rel8.Expr.Sequence
302import Rel8.Generic.Rel8able ( KRel8able, Rel8able )
303import Rel8.Order
304import Rel8.Query
305import Rel8.Query.Aggregate
306import Rel8.Query.Distinct
307import Rel8.Query.Each
308import Rel8.Query.Either
309import Rel8.Query.Evaluate
310import Rel8.Query.Exists
311import Rel8.Query.Filter
312import Rel8.Query.Limit
313import Rel8.Query.List
314import Rel8.Query.Maybe
315import Rel8.Query.Null
316import Rel8.Query.Order
317import Rel8.Query.SQL (showQuery)
318import Rel8.Query.Set
319import Rel8.Query.These
320import Rel8.Query.Values
321import Rel8.Schema.HTable
322import Rel8.Schema.Name
323import Rel8.Schema.Null hiding ( nullable )
324import Rel8.Schema.Result ( Result )
325import Rel8.Schema.Table
326import Rel8.Statement.Delete
327import Rel8.Statement.Insert
328import Rel8.Statement.Returning
329import Rel8.Statement.Select
330import Rel8.Statement.Update
331import Rel8.Statement.View
332import Rel8.Table
333import Rel8.Table.ADT
334import Rel8.Table.Aggregate
335import Rel8.Table.Alternative
336import Rel8.Table.Bool
337import Rel8.Table.Either
338import Rel8.Table.Eq
339import Rel8.Table.HKD
340import Rel8.Table.List
341import Rel8.Table.Maybe
342import Rel8.Table.Name
343import Rel8.Table.NonEmpty
344import Rel8.Table.Ord
345import Rel8.Table.Order
346import Rel8.Table.Recontextualize
347import Rel8.Table.Rel8able ()
348import Rel8.Table.Serialize
349import Rel8.Table.These
350import Rel8.Type
351import Rel8.Type.Composite
352import Rel8.Type.Eq
353import Rel8.Type.Enum
354import Rel8.Type.Information
355import Rel8.Type.JSONBEncoded
356import Rel8.Type.JSONEncoded
357import Rel8.Type.Monoid
358import Rel8.Type.Num
359import Rel8.Type.Ord
360import Rel8.Type.ReadShow
361import Rel8.Type.Semigroup
362import Rel8.Type.String
363import Rel8.Type.Sum
366-- $running
367-- To run queries and otherwise interact with a PostgreSQL database, Rel8
368-- provides 'select', 'insert', 'update' and 'delete' functions. Note that
369-- 'insert', 'update' and 'delete' will generally need the
370-- `DuplicateRecordFields` language extension enabled.