Release 1.5.0.0

.direnv/bin/nix-direnv-reload

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+dir="$(realpath $(dirname ${BASH_SOURCE[0]})/../..)"
+_nix_direnv_force_reload=1 direnv exec "$dir" true
+direnv reload
+# direnv reload updates the mtime of .envrc. Also update the timestamp of the
+# profile_rc file to keep track that we actually are up to date.
+touch $dir/.direnv/{nix,flake}-profile-*.rc
+

.direnv/flake-inputs/027wnc7kfpdl7n7xr7pby8csjd31d8xw-source

@@ -0,0 +1 @@
+/nix/store/027wnc7kfpdl7n7xr7pby8csjd31d8xw-source

.direnv/flake-inputs/06hrp1ayvbz1xxy2sq813csja9fpa0gz-source

@@ -0,0 +1 @@
+/nix/store/06hrp1ayvbz1xxy2sq813csja9fpa0gz-source

.direnv/flake-inputs/0bf808gbz6bn0jj4cmr1hjyzxxdpg1lq-source

@@ -0,0 +1 @@
+/nix/store/0bf808gbz6bn0jj4cmr1hjyzxxdpg1lq-source

.direnv/flake-inputs/0f4jas3yznbqshasngfw3cwj2x5rry45-source

@@ -0,0 +1 @@
+/nix/store/0f4jas3yznbqshasngfw3cwj2x5rry45-source

.direnv/flake-inputs/0wywh9466wil3x7fc660h7ki8gjbf389-source

@@ -0,0 +1 @@
+/nix/store/0wywh9466wil3x7fc660h7ki8gjbf389-source

.direnv/flake-inputs/1cfq3bqjmyx1j64vawb83iy1x3jvw6sg-source

@@ -0,0 +1 @@
+/nix/store/1cfq3bqjmyx1j64vawb83iy1x3jvw6sg-source

.direnv/flake-inputs/39wqw2iqiqp9gh77bikwbz6mbra4xjj1-source

@@ -0,0 +1 @@
+/nix/store/39wqw2iqiqp9gh77bikwbz6mbra4xjj1-source

.direnv/flake-inputs/5q7vxm9lc4b9hifc3br4sr8dy7f2h0qa-source

@@ -0,0 +1 @@
+/nix/store/5q7vxm9lc4b9hifc3br4sr8dy7f2h0qa-source

.direnv/flake-inputs/63kj13wz4wq6hk37b0hx04jfbw6rkd2r-source

@@ -0,0 +1 @@
+/nix/store/63kj13wz4wq6hk37b0hx04jfbw6rkd2r-source

.direnv/flake-inputs/74lfbc16rmzimvz281rff8mv7mnbq42m-source

@@ -0,0 +1 @@
+/nix/store/74lfbc16rmzimvz281rff8mv7mnbq42m-source

.direnv/flake-inputs/8drxi4s8n69hdv4mp4jiqsi71yaxv8i6-source

@@ -0,0 +1 @@
+/nix/store/8drxi4s8n69hdv4mp4jiqsi71yaxv8i6-source

.direnv/flake-inputs/8sm7wycza5fl6lnsmw11sn4vqkvw4xyh-source

@@ -0,0 +1 @@
+/nix/store/8sm7wycza5fl6lnsmw11sn4vqkvw4xyh-source

.direnv/flake-inputs/9ks8076lanzwp09dmwy5r3racihsc1ip-source

@@ -0,0 +1 @@
+/nix/store/9ks8076lanzwp09dmwy5r3racihsc1ip-source

.direnv/flake-inputs/alwr19m30k1w42kggdkv0wphav00lmx4-source

@@ -0,0 +1 @@
+/nix/store/alwr19m30k1w42kggdkv0wphav00lmx4-source

.direnv/flake-inputs/dmcric47gi0f1213padyr2dbz57mffld-source

@@ -0,0 +1 @@
+/nix/store/dmcric47gi0f1213padyr2dbz57mffld-source

.direnv/flake-inputs/gmdhl9qfaic5765lxw2wj6hb2ifjmhjd-source

@@ -0,0 +1 @@
+/nix/store/gmdhl9qfaic5765lxw2wj6hb2ifjmhjd-source

.direnv/flake-inputs/gmppc1139ppjii2yq94c2nb4gcc0sbhw-source

@@ -0,0 +1 @@
+/nix/store/gmppc1139ppjii2yq94c2nb4gcc0sbhw-source

.direnv/flake-inputs/hb81frn1qnacz38jh7py28i6dq5bamr4-source

@@ -0,0 +1 @@
+/nix/store/hb81frn1qnacz38jh7py28i6dq5bamr4-source

.direnv/flake-inputs/hj6cfvnmnwn2j3l4sg5k7k38l5idad8q-source

@@ -0,0 +1 @@
+/nix/store/hj6cfvnmnwn2j3l4sg5k7k38l5idad8q-source

.direnv/flake-inputs/ikv2pfxjzvmadmj4nqaknigzpk6vbl35-source

@@ -0,0 +1 @@
+/nix/store/ikv2pfxjzvmadmj4nqaknigzpk6vbl35-source

.direnv/flake-inputs/jk590byq8ydkv9h7i4k0mvrg1ac9570v-source

@@ -0,0 +1 @@
+/nix/store/jk590byq8ydkv9h7i4k0mvrg1ac9570v-source

.direnv/flake-inputs/nyiwz0136np2pafqxnzk53qhml0ann20-source

@@ -0,0 +1 @@
+/nix/store/nyiwz0136np2pafqxnzk53qhml0ann20-source

.direnv/flake-inputs/p58d2j0ac7zvja5jl14xzbc19fakjxh2-source

@@ -0,0 +1 @@
+/nix/store/p58d2j0ac7zvja5jl14xzbc19fakjxh2-source

.direnv/flake-inputs/p7iz0r8gs6ppkhj83zjmwyd21k8b7v3y-source

@@ -0,0 +1 @@
+/nix/store/p7iz0r8gs6ppkhj83zjmwyd21k8b7v3y-source

.direnv/flake-inputs/qc0cdv66gcsq5l529qxsy6fdxyhj4zqr-source

@@ -0,0 +1 @@
+/nix/store/qc0cdv66gcsq5l529qxsy6fdxyhj4zqr-source

.direnv/flake-inputs/r4aym5qnzsnviw0c1xdx0hacck405mkp-source

@@ -0,0 +1 @@
+/nix/store/r4aym5qnzsnviw0c1xdx0hacck405mkp-source

.direnv/flake-inputs/w34a3j05pqqmsk4y3vbpzbf4klhacx03-source

@@ -0,0 +1 @@
+/nix/store/w34a3j05pqqmsk4y3vbpzbf4klhacx03-source

.direnv/flake-inputs/wlgapyp42h5j5ks1wzip99y3igwzk97d-source

@@ -0,0 +1 @@
+/nix/store/wlgapyp42h5j5ks1wzip99y3igwzk97d-source

.direnv/flake-inputs/x10v0wcvs81gxmhcl9b2lmdqc2flql8r-source

@@ -0,0 +1 @@
+/nix/store/x10v0wcvs81gxmhcl9b2lmdqc2flql8r-source

.direnv/flake-inputs/x72z1mg22ai3n1728s1gyqmzvh57jd5i-source

@@ -0,0 +1 @@
+/nix/store/x72z1mg22ai3n1728s1gyqmzvh57jd5i-source

.direnv/flake-inputs/xxzrw4n8cj2yyraxqc4mdmfgi603z7d8-source

@@ -0,0 +1 @@
+/nix/store/xxzrw4n8cj2yyraxqc4mdmfgi603z7d8-source

.direnv/flake-inputs/yj1wxm9hh8610iyzqnz75kvs6xl8j3my-source

@@ -0,0 +1 @@
+/nix/store/yj1wxm9hh8610iyzqnz75kvs6xl8j3my-source

.direnv/flake-inputs/ysj1ghn1jcvim74la17vgsg11hajjx8w-source

@@ -0,0 +1 @@
+/nix/store/ysj1ghn1jcvim74la17vgsg11hajjx8w-source

.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa

@@ -0,0 +1 @@
+/nix/store/596cc3p61n08sj799lvn92ba64lp9zcy-ghc-shell-for-rel8-env

.envrc

@@ -0,0 +1 @@
+use flake

Changelog.md

@@ -1,3 +1,118 @@
+
+<a id='changelog-1.5.0.0'></a>
+# 1.5.0.0 — 2023-12-05
+
+## Removed
+
+- Removed `nullaryFunction`. Instead `function` can be called with `()`.
+
+## Added
+
+- Support PostgreSQL's `inet` type (which maps to the Haskell `NetAddr IP` type). ([#227](https://github.com/circuithub/rel8/pull/227))
+
+- `Rel8.materialize` and `Rel8.Tabulate.materialize`, which add a materialization/optimisation fence to `SELECT` statements by binding a query to a `WITH` subquery. Note that Rel8 doesn't currently add `MATERIALIZE` to this, but may in the future. ([#180](https://github.com/circuithub/rel8/pull/180))
+
+- `Rel8.head`, `Rel8.headExpr`, `Rel8.last`, `Rel8.lastExpr` for accessing the first/last elements of `ListTable`s and arrays. We have also added variants for `NonEmptyTable`s/non-empty arrays with the `1` suffix (e.g., `head1`). ([#245](https://github.com/circuithub/rel8/pull/245))
+
+- Rel8 now has extensive support for `WITH` statements and data-modifying statements (https://www.postgresql.org/docs/current/queries-with.html#QUERIES-WITH-MODIFYING).
+
+  This work offers a lot of new power to Rel8. One new possibility is "moving" rows between tables, for example to archive rows in one table into a log table:
+
+  ```haskell
+  import Rel8
+
+  archive :: Statement ()
+  archive = do
+    deleted <-
+      delete Delete
+        { from = mainTable
+        , using = pure ()
+        , deleteWhere = \foo -> fooId foo ==. lit 123
+        , returning = Returning id
+        }
+
+    insert Insert
+      { into = archiveTable
+      , rows = deleted
+      , onConflict = DoNothing
+      , returning = NoReturninvg
+      }
+  ```
+
+  This `Statement` will compile to a single SQL statement - essentially:
+
+  ```sql
+  WITH deleted_rows (DELETE FROM main_table WHERE id = 123 RETURNING *)
+  INSERT INTO archive_table SELECT * FROM deleted_rows
+  ```
+
+  This feature is a significant performant improvement, as it avoids an entire roundtrip.
+
+  This change has necessitated a change to how a `SELECT` statement is ran: `select` now will now produce a `Rel8.Statement`, which you have to `run` to turn it into a Hasql `Statement`. Rel8 offers a variety of `run` functions depending on how many rows need to be returned - see the various family of `run` functions in Rel8's documentation for more.
+
+  [#250](https://github.com/circuithub/rel8/pull/250)
+
+- - `Rel8.loop` and `Rel8.loopDistinct`, which allow writing `WITH .. RECURSIVE` queries. ([#180](https://github.com/circuithub/rel8/pull/180))
+
+- Added the `QualifiedName` type for named PostgreSQL objects (tables, views, functions, operators, sequences, etc.) that can optionally be qualified by a schema, including an `IsString` instance.
+
+- Added `queryFunction` for `SELECT`ing from table-returning functions such as `jsonb_to_recordset`.
+
+- `TypeName` record, which gives a richer representation of the components of a PostgreSQL type name (name, schema, modifiers, scalar/array).
+
+- `Rel8.length` and `Rel8.lengthExpr` for getting the length `ListTable`s and arrays. We have also added variants for `NonEmptyTable`s/non-empty arrays with the `1` suffix (e.g., `length1`).
+
+- Added aggregators `listCat` and `nonEmptyCat` for folding a collection of lists into a single list by concatenation.
+
+- `DBType` instance for `Fixed` that would map (e.g.) `Micro` to `numeric(1000, 6)` and `Pico` to `numeric(1000, 12)`.
+
+- Added `index`, `index1`, `indexExpr`, and `index1Expr` functions for extracting individual elements from `ListTable`s and `NonEmptyTable`s.
+
+## Changed
+
+- Rel8's API regarding aggregation has changed significantly, and is now a closer match to Opaleye.
+
+  The previous aggregation API had `aggregate` transform a `Table` from the `Aggregate` context back into the `Expr` context:
+
+  ```haskell
+  myQuery = aggregate do
+    a <- each tableA
+    return $ liftF2 (,) (sum (foo a)) (countDistinct (bar a))
+  ```
+
+  This API seemed convenient, but has some significant shortcomings. The new API requires an explicit `Aggregator` be passed to `aggregate`:
+
+  ```haskell
+  myQuery = aggregate (liftA2 (,) (sumOn foo) (countDistinctOn bar)) do
+    each tableA
+  ```
+
+  For more details, see [#235](https://github.com/circuithub/rel8/pull/235)
+
+- `TypeInformation`'s `decoder` field has changed. Instead of taking a `Hasql.Decoder`, it now takes a `Rel8.Decoder`, which itself is comprised of a `Hasql.Decoder` and an `attoparsec` `Parser`. This is necessitated by the fix for [#168](https://github.com/circuithub/rel8/issues/168); we generally decode things in PostgreSQL's binary format (using a `Hasql.Decoder`), but for nested arrays we now get things in PostgreSQL's text format (for which we need an `attoparsec` `Parser`), so must have both. Most `DBType` instances that use `mapTypeInformation` or `ParseTypeInformation`, or `DerivingVia` helpers like `ReadShow`, `JSONBEncoded`, `Enum` and `Composite` are unaffected by this change.
+
+- The `schema` field from `TableSchema` has been removed and the name field changed from `String` to `QualifiedName`.
+- `nextval`, `function` and `binaryOperator` now take a `QualifiedName` instead of a `String`.
+
+- `function` has been changed to accept a single argument (as opposed to variadic arguments). See [#258](https://github.com/circuithub/rel8/pull/258) for more details.
+
+- `TypeInformation`'s `typeName` parameter from `String` to `TypeName`.
+- `DBEnum`'s `enumTypeName` method from `String` to `QualifiedName`.
+- `DBComposite`'s `compositeTypeName` method from `String` to `QualifiedName`.
+
+- Changed `Upsert` by adding a `predicate` field, which allows partial indexes to be specified as conflict targets.
+
+- The window functions `lag`, `lead`, `firstValue`, `lastValue` and `nthValue` can now operate on entire rows at once as opposed to just single columns.
+
+## Fixed
+
+- Fixed a bug with `catListTable` and `catNonEmptyTable` where invalid SQL could be produced. ([#240](https://github.com/circuithub/rel8/pull/240))
+
+- A fix for [#168](https://github.com/circuithub/rel8/issues/168), which prevented using `catListTable` on arrays of arrays. To achieve this we had to coerce arrays of arrays to text internally, which unfortunately isn't completely transparent; you can oberve it if you write something like `listTable [listTable [10]] > listTable [listTable [9]]`: previously that would be `false`, but now it's `true`. Arrays of non-arrays are unaffected by this.
+
+- Fixes [#228](https://github.com/circuithub/rel8/issues/228) where it was impossible to call `nextval` with a qualified sequence name.
+
+- Fixes [#71](https://github.com/circuithub/rel8/issues/71).
 # 1.4.1.0 (2023-01-19)
 
 ## New features