rel8 1.2.1.0 → 1.2.2.0

raw patch · 10 files changed

+39/−4 lines, 10 filesdep ~basedep ~hasqlPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base, hasql

API changes (from Hackage documentation)

Files

• Changelog.md +8/−0
• rel8.cabal +3/−3
• src/Rel8/Aggregate.hs-boot +11/−0
• src/Rel8/Expr.hs +1/−0
• src/Rel8/Generic/Construction/ADT.hs +1/−0
• src/Rel8/Generic/Record.hs +1/−0
• src/Rel8/Generic/Table/ADT.hs +1/−0
• src/Rel8/Query/Set.hs +1/−1
• src/Rel8/Schema/Name.hs-boot +11/−0
• src/Rel8/Type.hs +1/−0

@@ -1,3 +1,11 @@+# 1.2.2.0 (2021-11-21)++## Other++* Support GHC 9.2 ([#145](https://github.com/circuithub/rel8/pull/145))+* Correct the documentation for `except` ([#147](https://github.com/circuithub/rel8/pull/147))+* Support `hasql` 1.5 ([#149](https://github.com/circuithub/rel8/pull/149))+ # 1.2.1.0 (2021-11-21)  ## New features

@@ -1,6 +1,6 @@ cabal-version:       2.0 name:                rel8-version:             1.2.1.0+version:             1.2.2.0 synopsis:            Hey! Hey! Can u rel8? license:             BSD3 license-file:        LICENSE@@ -20,13 +20,13 @@ library   build-depends:       aeson-    , base ^>= 4.14 || ^>=4.15+    , base ^>= 4.14 || ^>=4.15 || ^>=4.16     , bifunctors     , bytestring     , case-insensitive     , comonad     , contravariant-    , hasql ^>= 1.4.5.1+    , hasql ^>= 1.4.5.1 || ^>= 1.5.0.0     , opaleye ^>= 0.8.0.0     , pretty     , profunctors

@@ -0,0 +1,11 @@+{-# language PolyKinds #-}+{-# language RoleAnnotations #-}+{-# language StandaloneKindSignatures #-}++module Rel8.Aggregate where++import Data.Kind++type Aggregate :: k -> Type+type role Aggregate nominal+data Aggregate a

@@ -1,5 +1,6 @@ {-# language DataKinds #-} {-# language DerivingStrategies #-}+{-# language FlexibleContexts #-} {-# language FlexibleInstances #-} {-# language MultiParamTypeClasses #-} {-# language ScopedTypeVariables #-}

@@ -1,6 +1,7 @@ {-# language AllowAmbiguousTypes #-} {-# language BlockArguments #-} {-# language DataKinds #-}+{-# language FlexibleContexts #-} {-# language FlexibleInstances #-} {-# language MultiParamTypeClasses #-} {-# language RankNTypes #-}

@@ -1,5 +1,6 @@ {-# language AllowAmbiguousTypes #-} {-# language DataKinds #-}+{-# language FlexibleContexts #-} {-# language FlexibleInstances #-} {-# language MultiParamTypeClasses #-} {-# language PolyKinds #-}

@@ -1,5 +1,6 @@ {-# language AllowAmbiguousTypes #-} {-# language DataKinds #-}+{-# language FlexibleContexts #-} {-# language FlexibleInstances #-} {-# language LambdaCase #-} {-# language MultiParamTypeClasses #-}

@@ -47,7 +47,7 @@   -- | Find the difference of two queries, collapsing duplicates @except a b@ is--- the same as the SQL statement @x INTERSECT b@.+-- the same as the SQL statement @x EXCEPT b@. except :: EqTable a => Query a -> Query a -> Query a except = zipOpaleyeWith (Opaleye.exceptExplicit binaryspec) 

@@ -0,0 +1,11 @@+{-# language PolyKinds #-}+{-# language RoleAnnotations #-}+{-# language StandaloneKindSignatures #-}++module Rel8.Schema.Name where++import Data.Kind ( Type )++type Name :: k -> Type+type role Name nominal+data Name a

@@ -1,3 +1,4 @@+{-# language FlexibleContexts #-} {-# language FlexibleInstances #-} {-# language MonoLocalBinds #-} {-# language MultiWayIf #-}