squeal-postgresql 0.9.1.2 → 0.9.1.3

raw patch · 34 files changed

+72/−37 lines, 34 files

Files

squeal-postgresql.cabal +1/−1
src/Squeal/PostgreSQL/Definition.hs +2/−1
src/Squeal/PostgreSQL/Definition/Comment.hs +2/−1
src/Squeal/PostgreSQL/Definition/Constraint.hs +2/−1
src/Squeal/PostgreSQL/Definition/Function.hs +2/−1
src/Squeal/PostgreSQL/Definition/Index.hs +2/−1
src/Squeal/PostgreSQL/Definition/Procedure.hs +2/−1
src/Squeal/PostgreSQL/Definition/Schema.hs +2/−1
src/Squeal/PostgreSQL/Definition/Table.hs +2/−1
src/Squeal/PostgreSQL/Definition/Type.hs +2/−1
src/Squeal/PostgreSQL/Definition/View.hs +2/−1
src/Squeal/PostgreSQL/Expression.hs +2/−1
src/Squeal/PostgreSQL/Expression/Comparison.hs +2/−1
src/Squeal/PostgreSQL/Manipulation.hs +2/−1
src/Squeal/PostgreSQL/Manipulation/Call.hs +2/−1
src/Squeal/PostgreSQL/Manipulation/Delete.hs +2/−1
src/Squeal/PostgreSQL/Manipulation/Insert.hs +2/−1
src/Squeal/PostgreSQL/Manipulation/Update.hs +2/−1
src/Squeal/PostgreSQL/Query.hs +2/−1
src/Squeal/PostgreSQL/Query/From.hs +2/−1
src/Squeal/PostgreSQL/Query/From/Join.hs +2/−1
src/Squeal/PostgreSQL/Query/From/Set.hs +2/−1
src/Squeal/PostgreSQL/Query/Select.hs +2/−1
src/Squeal/PostgreSQL/Query/Table.hs +2/−1
src/Squeal/PostgreSQL/Query/Values.hs +2/−1
src/Squeal/PostgreSQL/Query/With.hs +2/−1
src/Squeal/PostgreSQL/Session.hs +6/−3
src/Squeal/PostgreSQL/Session/Pool.hs +2/−1
src/Squeal/PostgreSQL/Session/Transaction/Unsafe.hs +2/−1
src/Squeal/PostgreSQL/Type.hs +2/−1
src/Squeal/PostgreSQL/Type/Alias.hs +2/−1
src/Squeal/PostgreSQL/Type/PG.hs +2/−1
src/Squeal/PostgreSQL/Type/Schema.hs +3/−2
test/Spec.hs +2/−1

squeal-postgresql.cabal view

@@ -1,6 +1,6 @@ cabal-version: 2.2 name: squeal-postgresql-version: 0.9.1.2+version: 0.9.1.3 synopsis: Squeal PostgreSQL Library description: Squeal is a type-safe embedding of PostgreSQL in Haskell homepage: https://github.com/morphismtech/squeal

src/Squeal/PostgreSQL/Definition.hs view

@@ -24,7 +24,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeApplications-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableSuperClasses   , UndecidableInstances

src/Squeal/PostgreSQL/Definition/Comment.hs view

@@ -24,7 +24,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeApplications-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableSuperClasses   #-}

src/Squeal/PostgreSQL/Definition/Constraint.hs view

@@ -24,7 +24,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeApplications-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableSuperClasses #-}

src/Squeal/PostgreSQL/Definition/Function.hs view

@@ -24,7 +24,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeApplications-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableSuperClasses #-}

src/Squeal/PostgreSQL/Definition/Index.hs view

@@ -24,7 +24,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeApplications-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableSuperClasses #-}

src/Squeal/PostgreSQL/Definition/Procedure.hs view

@@ -24,7 +24,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeApplications-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableSuperClasses #-}

src/Squeal/PostgreSQL/Definition/Schema.hs view

@@ -24,7 +24,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeApplications-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableSuperClasses #-}

src/Squeal/PostgreSQL/Definition/Table.hs view

@@ -24,7 +24,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeApplications-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableSuperClasses #-}

src/Squeal/PostgreSQL/Definition/Type.hs view

@@ -24,7 +24,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeApplications-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableSuperClasses #-}

src/Squeal/PostgreSQL/Definition/View.hs view

@@ -24,7 +24,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeApplications-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableSuperClasses #-}

src/Squeal/PostgreSQL/Expression.hs view

@@ -25,7 +25,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances   , RankNTypes

src/Squeal/PostgreSQL/Expression/Comparison.hs view

@@ -11,7 +11,8 @@ {-# LANGUAGE     OverloadedStrings   , RankNTypes-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators #-}

src/Squeal/PostgreSQL/Manipulation.hs view

@@ -24,7 +24,8 @@   , ScopedTypeVariables   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances #-}

src/Squeal/PostgreSQL/Manipulation/Call.hs view

@@ -24,7 +24,8 @@   , ScopedTypeVariables   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances #-}

src/Squeal/PostgreSQL/Manipulation/Delete.hs view

@@ -24,7 +24,8 @@   , ScopedTypeVariables   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances #-}

src/Squeal/PostgreSQL/Manipulation/Insert.hs view

@@ -24,7 +24,8 @@   , ScopedTypeVariables   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances #-}

src/Squeal/PostgreSQL/Manipulation/Update.hs view

@@ -24,7 +24,8 @@   , ScopedTypeVariables   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances #-}

src/Squeal/PostgreSQL/Query.hs view

@@ -25,7 +25,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , RankNTypes   , UndecidableInstances

src/Squeal/PostgreSQL/Query/From.hs view

@@ -25,7 +25,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , RankNTypes   , UndecidableInstances

src/Squeal/PostgreSQL/Query/From/Join.hs view

@@ -25,7 +25,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , RankNTypes   , UndecidableInstances

src/Squeal/PostgreSQL/Query/From/Set.hs view

@@ -25,7 +25,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , RankNTypes   , UndecidableInstances

src/Squeal/PostgreSQL/Query/Select.hs view

@@ -25,7 +25,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , RankNTypes   , UndecidableInstances

src/Squeal/PostgreSQL/Query/Table.hs view

@@ -25,7 +25,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , RankNTypes   , UndecidableInstances

src/Squeal/PostgreSQL/Query/Values.hs view

@@ -25,7 +25,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , RankNTypes   , UndecidableInstances

src/Squeal/PostgreSQL/Query/With.hs view

@@ -25,7 +25,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , RankNTypes   , UndecidableInstances

src/Squeal/PostgreSQL/Session.hs view

@@ -24,7 +24,8 @@   , ScopedTypeVariables   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances #-}@@ -39,11 +40,13 @@  import Control.Applicative import Control.Category+import Control.Monad (MonadPlus(..)) import Control.Monad.Base (MonadBase(..))+import Control.Monad.Fix (MonadFix(..)) import Control.Monad.Catch-import Control.Monad.Except+import Control.Monad.IO.Class (MonadIO(..)) import Control.Monad.Morph-import Control.Monad.Reader+import Control.Monad.Reader (ReaderT(..)) import Control.Monad.Trans.Control (MonadBaseControl(..), MonadTransControl(..)) import UnliftIO (MonadUnliftIO(..)) import Data.ByteString (ByteString)

src/Squeal/PostgreSQL/Session/Pool.hs view

@@ -41,7 +41,8 @@   , RankNTypes   , ScopedTypeVariables   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , UndecidableInstances #-}

src/Squeal/PostgreSQL/Session/Transaction/Unsafe.hs view

@@ -13,7 +13,8 @@   , FlexibleContexts   , LambdaCase   , OverloadedStrings-  , TypeInType+  , DataKinds+  , PolyKinds #-}  module Squeal.PostgreSQL.Session.Transaction.Unsafe

src/Squeal/PostgreSQL/Type.hs view

@@ -26,7 +26,8 @@   , ScopedTypeVariables   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances   , UndecidableSuperClasses

src/Squeal/PostgreSQL/Type/Alias.hs view

@@ -27,7 +27,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilyDependencies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances   , UndecidableSuperClasses

src/Squeal/PostgreSQL/Type/PG.hs view

@@ -27,7 +27,8 @@   , ScopedTypeVariables   , TypeApplications   , TypeFamilies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances   , UndecidableSuperClasses

src/Squeal/PostgreSQL/Type/Schema.hs view

@@ -27,7 +27,8 @@   , StandaloneDeriving   , TypeApplications   , TypeFamilyDependencies-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances   , UndecidableSuperClasses@@ -206,7 +207,7 @@ -- | `ColumnType` encodes the allowance of @DEFAULT@ and @NULL@ and the -- base `PGType` for a column. ----- >>> :set -XTypeFamilies -XTypeInType+-- >>> :set -XTypeFamilies -XDataKinds -XPolyKinds -- >>> import GHC.TypeLits -- >>> type family IdColumn :: ColumnType where IdColumn = 'Def :=> 'NotNull 'PGint4 -- >>> type family EmailColumn :: ColumnType where EmailColumn = 'NoDef :=> 'Null 'PGtext

test/Spec.hs view

@@ -15,7 +15,8 @@   , TypeApplications   , TypeFamilies   , TypeSynonymInstances-  , TypeInType+  , DataKinds+  , PolyKinds   , TypeOperators   , UndecidableInstances #-}