Add notElem and notElem1 to Rel8.Array

.github/workflows/build.yaml

@@ -4,19 +4,19 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3.5.3
+    - uses: actions/checkout@v5
       with:
           persist-credentials: false
           submodules: true
 
-    - uses: cachix/install-nix-action@v22
+    - uses: cachix/install-nix-action@v31
       with:
         nix_path: nixpkgs=channel:nixos-unstable
         extra_nix_config: |
-          trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
-          substituters = https://cache.nixos.org/ https://cache.iog.io
+          trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= loony-tools:pr9m4BkM/5/eSTZlkQyRt57Jz7OMBxNSUiMC4FkcNfk=
+          substituters = https://cache.nixos.org/ https://cache.iog.io https://cache.zw3rk.com
 
-    - uses: cachix/cachix-action@v12
+    - uses: cachix/cachix-action@v17
       with:
         name: rel8
         authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'

changelog.d/20260820_000000_notelem.md

@@ -0,0 +1,11 @@
+### Added
+
+- Added `notElem` and `notElem1` to `Rel8.Array`.
+
+### Fixed
+
+- `elem` and `elem1` now use `IS NOT DISTINCT FROM` semantics (matching `(==.)`) when the element type is nullable, so `null` is found in an array containing `null`. Previously they were implemented with the array containment operator `<@`, which never matches `null`.
+
+### Changed
+
+- `rel8` now requires at least version `0.10.8.0` of `opaleye`

flake.nix

@@ -5,10 +5,12 @@
     extra-substituters = [
       "https://rel8.cachix.org"
       "https://cache.iog.io"
+      "https://cache.zw3rk.com"
     ];
     extra-trusted-public-keys = [
       "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ="
       "rel8.cachix.org-1:C/hVFTPHIOp7S/jRleuLL0Cg/dE0dQzEuEB5szaszTc="
+      "loony-tools:pr9m4BkM/5/eSTZlkQyRt57Jz7OMBxNSUiMC4FkcNfk="
     ];
   };
 
@@ -28,7 +30,7 @@
         };
 
         rel8 = pkgs.haskell-nix.project {
-          compiler-nix-name = "ghc9121";
+          compiler-nix-name = "ghc9141";
 
           cabalProjectLocal = builtins.readFile ./cabal.project.haskell-nix;
 

rel8/rel8.cabal

@@ -23,7 +23,7 @@ library
     , bifunctors
     , bytestring
     , comonad
-    , opaleye ^>= 0.10.2.1
+    , opaleye ^>= 0.10.8.0
     , profunctors
     , product-profunctors
     , semigroupoids