Support GHC 9.14 and semialign >= 1.4

changelog.d/20260616_150020_cgeorgii_support_ghc_9_14.md

@@ -0,0 +1,3 @@
+### Added
+
+- Support GHC-9.14 and `semialign >= 1.4`.

rel8.cabal

@@ -21,7 +21,7 @@ library
   build-depends:
       aeson
     , attoparsec
-    , base >= 4.16 && < 4.22
+    , base >= 4.16 && < 4.23
     , base16 >= 1.0
     , base-compat >= 0.11 && < 0.15
     , bifunctors

src/Rel8/Schema/HTable/Vectorize.hs

@@ -67,7 +67,7 @@ import Rel8.Type.Information ( TypeInformation )
 
 -- semialign
 import Data.Align (Semialign, alignWith)
-import Data.Zip (Unzip, Zip, Zippy(..), zipWith)
+import Data.Zip (Unzip, Zip, Zippy(..), unzipWith, zipWith)
 
 -- semigroupoids
 import Data.Functor.Apply (Apply)
@@ -202,4 +202,8 @@ instance Semialign (First a) where
 
 
 instance Zip (First a) where
-  zipWith _ (First a) _ = First a
+  zipWith _ (First a) _ = First a
+
+
+instance Unzip (First a) where
+  unzipWith _ (First a) = (First a, First a)

src/Rel8/Statement.hs

@@ -8,6 +8,7 @@
 {-# language RecordWildCards #-}
 {-# language ScopedTypeVariables #-}
 {-# language StandaloneKindSignatures #-}
+{-# language TypeAbstractions #-}
 {-# language TypeApplications #-}
 
 module Rel8.Statement