dev..53523c5 · squeal · git.iko.soy

git.iko.soy/squeal

on 53523c5 help sign in

README.md+6−6

since splitsnapshots

unifiedsplit

@@ -121,7 +121,7 @@ type Schemas = Public Schema

121

122Notice the use of type operators.

123

124−`:::` is used to pair an alias `Symbol` with a `SchemumType`,

124+`:::` is used to pair an alias `GHC.TypeLits.Symbol` with a `SchemumType`,

125a `TableConstraint` or a `ColumnType`. It is intended to connote Haskell's `::`

126operator.

127

@@ -180,8 +180,8 @@ DROP TABLE "emails";

180DROP TABLE "users";

181```

182

183−We'll need a Haskell type for `User`s. We give the type `SOP.Generic` and

183+We'll need a Haskell type for @User@s. We give the type `Generics.SOP.Generic` and

184−`SOP.HasDatatypeInfo` instances so that we can encode and decode `User`s.

184+`Generics.SOP.HasDatatypeInfo` instances so that we can encode and decode @User@s.

185

186```Haskell

187>>> data User = User { userName :: Text, userEmail :: Maybe Text } deriving (Show, GHC.Generic)

@@ -189,12 +189,12 @@ We'll need a Haskell type for `User`s. We give the type `SOP.Generic` and

189>>> instance SOP.HasDatatypeInfo User

190```

191

192−Next, we'll write `Manipulation_`s to insert `User`s into our two tables.

192+Next, we'll write `Manipulation_`s to insert @User@s into our two tables.

193A `Manipulation_` like `insertInto`, `update` or `deleteFrom`

194has three type parameters, the schemas it refers to, input parameters

195and an output row. When

196−we insert into the users table, we will need a parameter for the `name`

196+we insert into the users table, we will need a parameter for the @name@

197−field but not for the `id` field. Since it's serial, we can use a default

197+field but not for the @id@ field. Since it's serial, we can use a default

198value. However, since the emails table refers to the users table, we will

199need to retrieve the user id that the insert generates and insert it into

200the emails table. We can do this in a single `Manipulation_` by using a

RELEASE NOTES.md+2−2

@@ -138,11 +138,11 @@ type Expr x

138 . Expression outer commons grp schemas params from x

139```

140

141−There is also a function type `(-->)`, which is a subtype of the usual Haskell function

141+There is also a function type `(:-->)`, which is a subtype of the usual Haskell function

142type `(->)`.

143

144```Haskell

145−type (-->) x y

145+type (:-->) x y

146 = forall outer commons grp schemas params from

147 . Expression outer commons grp schemas params from x

148 -> Expression outer commons grp schemas params from y

squeal-postgresql/exe/Example.hs+2−2

@@ -53,8 +53,8 @@ setup =

53 >>>

54 createTable #emails

55 ( serial `as` #id :*

56− hask @Int32 `as` #user_id :*

56+ (int & notNullable) `as` #user_id :*

57− hask @(Maybe Text) `as` #email )

57+ (text & nullable) `as` #email )

58 ( primaryKey #id `as` #pk_emails :*

59 foreignKey #user_id #users #id

60 OnDeleteCascade OnUpdateCascade `as` #fk_user_id )

squeal-postgresql/squeal-postgresql.cabal+1−9

@@ -25,13 +25,6 @@ library

25 Squeal.PostgreSQL.Alias

26 Squeal.PostgreSQL.Binary

27 Squeal.PostgreSQL.Definition

28− Squeal.PostgreSQL.Definition.Function

29− Squeal.PostgreSQL.Definition.Index

30− Squeal.PostgreSQL.Definition.Table

31− Squeal.PostgreSQL.Definition.Table.Constraint

32− Squeal.PostgreSQL.Definition.Type

33− Squeal.PostgreSQL.Definition.Schema

34− Squeal.PostgreSQL.Definition.View

35 Squeal.PostgreSQL.Expression

28 Squeal.PostgreSQL.Expression

36 Squeal.PostgreSQL.Expression.Aggregate

29 Squeal.PostgreSQL.Expression.Aggregate

37 Squeal.PostgreSQL.Expression.Collection

30 Squeal.PostgreSQL.Expression.Collection

@@ -43,7 +36,7 @@ library

43 Squeal.PostgreSQL.Expression.Null

36 Squeal.PostgreSQL.Expression.Null

44 Squeal.PostgreSQL.Expression.Parameter

37 Squeal.PostgreSQL.Expression.Parameter

45 Squeal.PostgreSQL.Expression.Range

38 Squeal.PostgreSQL.Expression.Range

46− Squeal.PostgreSQL.Expression.Set

39+ Squeal.PostgreSQL.Expression.SetOf

47 Squeal.PostgreSQL.Expression.Sort

40 Squeal.PostgreSQL.Expression.Sort

48 Squeal.PostgreSQL.Expression.Subquery

41 Squeal.PostgreSQL.Expression.Subquery

49 Squeal.PostgreSQL.Expression.Text

42 Squeal.PostgreSQL.Expression.Text

@@ -70,7 +63,6 @@ library

70 , bytestring >= 0.10.8.2

63 , bytestring >= 0.10.8.2

71 , bytestring-strict-builder >= 0.4.5

64 , bytestring-strict-builder >= 0.4.5

72 , deepseq >= 1.4.3.0

65 , deepseq >= 1.4.3.0

73− , free-categories >= 0.1.0.0

74 , generics-sop >= 0.3.2.0 && < 0.5.0.0

66 , generics-sop >= 0.3.2.0 && < 0.5.0.0

75 , mmorph >= 1.1.1

67 , mmorph >= 1.1.1

76 , mtl >= 2.2.2

68 , mtl >= 2.2.2

squeal-postgresql/src/Squeal/PostgreSQL.hs+1−8

@@ -195,13 +195,6 @@ module Squeal.PostgreSQL (module X, RenderSQL(..), printSQL) where

195import Squeal.PostgreSQL.Alias as X

196import Squeal.PostgreSQL.Binary as X

197import Squeal.PostgreSQL.Definition as X

198−import Squeal.PostgreSQL.Definition.Function as X

199−import Squeal.PostgreSQL.Definition.Index as X

200−import Squeal.PostgreSQL.Definition.Schema as X

201−import Squeal.PostgreSQL.Definition.Table as X

202−import Squeal.PostgreSQL.Definition.Table.Constraint as X

203−import Squeal.PostgreSQL.Definition.Type as X

204−import Squeal.PostgreSQL.Definition.View as X

205import Squeal.PostgreSQL.Expression as X

198import Squeal.PostgreSQL.Expression as X

206import Squeal.PostgreSQL.Expression.Aggregate as X

199import Squeal.PostgreSQL.Expression.Aggregate as X

207import Squeal.PostgreSQL.Expression.Collection as X

200import Squeal.PostgreSQL.Expression.Collection as X

@@ -213,7 +206,7 @@ import Squeal.PostgreSQL.Expression.Math as X

213import Squeal.PostgreSQL.Expression.Null as X

206import Squeal.PostgreSQL.Expression.Null as X

214import Squeal.PostgreSQL.Expression.Parameter as X

207import Squeal.PostgreSQL.Expression.Parameter as X

215import Squeal.PostgreSQL.Expression.Range as X

208import Squeal.PostgreSQL.Expression.Range as X

216−import Squeal.PostgreSQL.Expression.Set as X

209+import Squeal.PostgreSQL.Expression.SetOf as X

217import Squeal.PostgreSQL.Expression.Sort as X

210import Squeal.PostgreSQL.Expression.Sort as X

218import Squeal.PostgreSQL.Expression.Subquery as X

211import Squeal.PostgreSQL.Expression.Subquery as X

219import Squeal.PostgreSQL.Expression.Text as X

212import Squeal.PostgreSQL.Expression.Text as X

squeal-postgresql/src/Squeal/PostgreSQL/Binary.hs+48−139

@@ -216,9 +216,8 @@ module Squeal.PostgreSQL.Binary

216 -- * Only

217 , Only (..)

218 -- * Oid

219− , OidOf (..)

219+ , HasOid (..)

220− , OidOfParam (..)

220+ , HasAliasedOid (..)

221− , OidOfField (..)

222 ) where

221 ) where

223

222

224import BinaryParser

223import BinaryParser

@@ -232,7 +231,6 @@ import Data.Time

232import Data.UUID.Types

231import Data.UUID.Types

233import Data.Vector (Vector)

232import Data.Vector (Vector)

234import Data.Word

233import Data.Word

235−import Foreign.C.Types (CUInt(CUInt))

236import Generics.SOP

234import Generics.SOP

237import Generics.SOP.Record

235import Generics.SOP.Record

238import GHC.TypeLits

236import GHC.TypeLits

@@ -246,7 +244,6 @@ import qualified Data.Text.Lazy as Lazy (Text)

246import qualified Data.Text as Strict (Text)

244import qualified Data.Text as Strict (Text)

247import qualified Data.Text as Strict.Text

245import qualified Data.Text as Strict.Text

248import qualified Data.Vector as Vector

246import qualified Data.Vector as Vector

249−import qualified Database.PostgreSQL.LibPQ as LibPQ

250import qualified GHC.Generics as GHC

247import qualified GHC.Generics as GHC

251import qualified PostgreSQL.Binary.Decoding as Decoding

248import qualified PostgreSQL.Binary.Decoding as Decoding

252import qualified PostgreSQL.Binary.Encoding as Encoding

249import qualified PostgreSQL.Binary.Encoding as Encoding

@@ -277,9 +274,11 @@ class ToParam (x :: Type) (pg :: PGType) where

277 toParam :: x -> K Encoding.Encoding pg

274 toParam :: x -> K Encoding.Encoding pg

278instance ToParam Bool 'PGbool where toParam = K . Encoding.bool

275instance ToParam Bool 'PGbool where toParam = K . Encoding.bool

279instance ToParam Int16 'PGint2 where toParam = K . Encoding.int2_int16

276instance ToParam Int16 'PGint2 where toParam = K . Encoding.int2_int16

277+instance ToParam Word16 'PGint2 where toParam = K . Encoding.int2_word16

280instance ToParam Int32 'PGint4 where toParam = K . Encoding.int4_int32

278instance ToParam Int32 'PGint4 where toParam = K . Encoding.int4_int32

279+instance ToParam Word32 'PGint4 where toParam = K . Encoding.int4_word32

281instance ToParam Int64 'PGint8 where toParam = K . Encoding.int8_int64

280instance ToParam Int64 'PGint8 where toParam = K . Encoding.int8_int64

282−instance ToParam Oid 'PGoid where toParam = K . Encoding.int4_word32 . getOid

281+instance ToParam Word64 'PGint8 where toParam = K . Encoding.int8_word64

283instance ToParam Float 'PGfloat4 where toParam = K . Encoding.float4

282instance ToParam Float 'PGfloat4 where toParam = K . Encoding.float4

284instance ToParam Double 'PGfloat8 where toParam = K . Encoding.float8

283instance ToParam Double 'PGfloat8 where toParam = K . Encoding.float8

285instance ToParam Scientific 'PGnumeric where toParam = K . Encoding.numeric

284instance ToParam Scientific 'PGnumeric where toParam = K . Encoding.numeric

@@ -312,26 +311,24 @@ instance Aeson.ToJSON x => ToParam (Json x) 'PGjson where

312instance Aeson.ToJSON x => ToParam (Jsonb x) 'PGjsonb where

311instance Aeson.ToJSON x => ToParam (Jsonb x) 'PGjsonb where

313 toParam = K . Encoding.jsonb_bytes

312 toParam = K . Encoding.jsonb_bytes

314 . Lazy.ByteString.toStrict . Aeson.encode . getJsonb

313 . Lazy.ByteString.toStrict . Aeson.encode . getJsonb

315−instance (ToNullityParam x ty, ty ~ nullity pg, OidOf pg)

314+instance (ToNullityParam x ty, ty ~ nullity pg, HasOid pg)

316 => ToParam (VarArray [x]) ('PGvararray ty) where

315 => ToParam (VarArray [x]) ('PGvararray ty) where

317 toParam = K

316 toParam = K

318− . Encoding.array_foldable

317+ . Encoding.array_foldable (oid @pg) (unK . toNullityParam @x @ty)

319− (getOid (oidOf @pg)) (unK . toNullityParam @x @ty)

320 . getVarArray

318 . getVarArray

321−instance (ToParam x pg, OidOf pg)

319+instance (ToParam x pg, HasOid pg)

322 => ToParam (VarArray (Vector x)) ('PGvararray ('NotNull pg)) where

320 => ToParam (VarArray (Vector x)) ('PGvararray ('NotNull pg)) where

323 toParam = K

321 toParam = K

324− . Encoding.array_vector (getOid (oidOf @pg)) (unK . toParam @x @pg)

322+ . Encoding.array_vector (oid @pg) (unK . toParam @x @pg)

325 . getVarArray

323 . getVarArray

326−instance (ToParam x pg, OidOf pg)

324+instance (ToParam x pg, HasOid pg)

327 => ToParam (VarArray (Vector (Maybe x))) ('PGvararray ('Null pg)) where

325 => ToParam (VarArray (Vector (Maybe x))) ('PGvararray ('Null pg)) where

328 toParam = K

326 toParam = K

329− . Encoding.nullableArray_vector

327+ . Encoding.nullableArray_vector (oid @pg) (unK . toParam @x @pg)

330− (getOid (oidOf @pg)) (unK . toParam @x @pg)

331 . getVarArray

328 . getVarArray

332−instance (ToFixArray x dims ty, ty ~ nullity pg, OidOf pg)

329+instance (ToFixArray x dims ty, ty ~ nullity pg, HasOid pg)

333 => ToParam (FixArray x) ('PGfixarray dims ty) where

330 => ToParam (FixArray x) ('PGfixarray dims ty) where

334− toParam = K . Encoding.array (getOid (oidOf @pg))

331+ toParam = K . Encoding.array (oid @pg)

335 . unK . unK . toFixArray @x @dims @ty . getFixArray

332 . unK . unK . toFixArray @x @dims @ty . getFixArray

336instance

333instance

337 ( IsEnumType x

334 ( IsEnumType x

@@ -356,7 +353,7 @@ instance

356 ( SListI fields

353 ( SListI fields

357 , IsRecord x xs

354 , IsRecord x xs

358 , AllZip ToField xs fields

355 , AllZip ToField xs fields

359− , All OidOfField fields

356+ , All HasAliasedOid fields

360 ) => ToParam (Composite x) ('PGcomposite fields) where

357 ) => ToParam (Composite x) ('PGcomposite fields) where

361 toParam =

358 toParam =

362 let

359 let

@@ -364,7 +361,7 @@ instance

364 encoders = htrans (Proxy @ToField) toField

361 encoders = htrans (Proxy @ToField) toField

365

362

366 composite

363 composite

367− :: All OidOfField row

364+ :: All HasAliasedOid row

368 => NP (K (Maybe Encoding.Encoding)) row

365 => NP (K (Maybe Encoding.Encoding)) row

369 -> K Encoding.Encoding ('PGcomposite row)

366 -> K Encoding.Encoding ('PGcomposite row)

370 composite fields = K $

367 composite fields = K $

@@ -381,18 +378,18 @@ instance

381 int32BE (fromIntegral (lengthSList (Proxy @xs))) <>

378 int32BE (fromIntegral (lengthSList (Proxy @xs))) <>

382 let

379 let

383 each

380 each

384− :: OidOfField field

381+ :: HasAliasedOid field

385 => K (Maybe Encoding.Encoding) field

382 => K (Maybe Encoding.Encoding) field

386 -> Encoding.Encoding

383 -> Encoding.Encoding

387 each (K field :: K (Maybe Encoding.Encoding) field) =

384 each (K field :: K (Maybe Encoding.Encoding) field) =

388− word32BE (getOid (oidOfField @field))

385+ word32BE (aliasedOid @field)

389 <> case field of

386 <> case field of

390 Nothing -> int64BE (-1)

387 Nothing -> int64BE (-1)

391 Just value ->

388 Just value ->

392 int32BE (fromIntegral (builderLength value))

389 int32BE (fromIntegral (builderLength value))

393 <> value

390 <> value

394 in

391 in

395− hcfoldMap (Proxy @OidOfField) each fields

392+ hcfoldMap (Proxy @HasAliasedOid) each fields

396

393

397 in

394 in

398 composite . encoders . toRecord . getComposite

395 composite . encoders . toRecord . getComposite

@@ -400,120 +397,36 @@ instance

400-- | The object identifier of a `PGType`.

397-- | The object identifier of a `PGType`.

401--

398--

402-- >>> :set -XTypeApplications

399-- >>> :set -XTypeApplications

403−-- >>> oidOf @'PGbool

400+-- >>> oid @'PGbool

404−-- Oid 16

401+-- 16

405−class OidOf (ty :: PGType) where oidOf :: LibPQ.Oid

402+class HasOid (ty :: PGType) where oid :: Word32

406−instance OidOf 'PGbool where oidOf = LibPQ.Oid 16

403+instance HasOid 'PGbool where oid = 16

407−instance OidOf ('PGfixarray ns (null 'PGbool)) where oidOf = LibPQ.Oid 1000

404+instance HasOid 'PGint2 where oid = 21

408−instance OidOf ('PGvararray (null 'PGbool)) where oidOf = LibPQ.Oid 1000

405+instance HasOid 'PGint4 where oid = 23

409−instance OidOf 'PGint2 where oidOf = LibPQ.Oid 21

406+instance HasOid 'PGint8 where oid = 20

410−instance OidOf ('PGfixarray ns (null 'PGint2)) where oidOf = LibPQ.Oid 1005

411−instance OidOf ('PGvararray (null 'PGint2)) where oidOf = LibPQ.Oid 1005

412−instance OidOf 'PGint4 where oidOf = LibPQ.Oid 23

413−instance OidOf ('PGfixarray ns (null 'PGint4)) where oidOf = LibPQ.Oid 1007

414−instance OidOf ('PGvararray (null 'PGint4)) where oidOf = LibPQ.Oid 1007

415−instance OidOf 'PGint8 where oidOf = LibPQ.Oid 20

416−instance OidOf ('PGfixarray ns (null 'PGint8)) where oidOf = LibPQ.Oid 1016

417−instance OidOf ('PGvararray (null 'PGint8)) where oidOf = LibPQ.Oid 1016

418−instance OidOf 'PGnumeric where oidOf = LibPQ.Oid 1700

407+instance HasOid 'PGnumeric where oid = 1700

419−instance OidOf ('PGfixarray ns (null 'PGnumeric)) where oidOf = LibPQ.Oid 1231

420−instance OidOf ('PGvararray (null 'PGnumeric)) where oidOf = LibPQ.Oid 1231

421−instance OidOf 'PGfloat4 where oidOf = LibPQ.Oid 700

408+instance HasOid 'PGfloat4 where oid = 700

422−instance OidOf ('PGfixarray ns (null 'PGfloat4)) where oidOf = LibPQ.Oid 1021

423−instance OidOf ('PGvararray (null 'PGfloat4)) where oidOf = LibPQ.Oid 1021

424−instance OidOf 'PGfloat8 where oidOf = LibPQ.Oid 701

409+instance HasOid 'PGfloat8 where oid = 701

425−instance OidOf ('PGfixarray ns (null 'PGfloat8)) where oidOf = LibPQ.Oid 1022

410+instance HasOid ('PGchar n) where oid = 18

426−instance OidOf ('PGvararray (null 'PGfloat8)) where oidOf = LibPQ.Oid 1022

427−instance OidOf 'PGmoney where oidOf = LibPQ.Oid 790

428−instance OidOf ('PGfixarray ns (null 'PGmoney)) where oidOf = LibPQ.Oid 791

429−instance OidOf ('PGvararray (null 'PGmoney)) where oidOf = LibPQ.Oid 791

430−instance OidOf ('PGchar n) where oidOf = LibPQ.Oid 18

431−instance OidOf ('PGfixarray ns (null ('PGchar n))) where oidOf = LibPQ.Oid 1002

432−instance OidOf ('PGvararray (null ('PGchar n))) where oidOf = LibPQ.Oid 1002

433−instance OidOf ('PGvarchar n) where oidOf = LibPQ.Oid 1043

411+instance HasOid ('PGvarchar n) where oid = 1043

434−instance OidOf ('PGfixarray ns (null ('PGvarchar n))) where oidOf = LibPQ.Oid 1015

412+instance HasOid 'PGtext where oid = 25

435−instance OidOf ('PGvararray (null ('PGvarchar n))) where oidOf = LibPQ.Oid 1015

413+instance HasOid 'PGbytea where oid = 17

436−instance OidOf 'PGtext where oidOf = LibPQ.Oid 25

437−instance OidOf ('PGfixarray ns (null 'PGtext)) where oidOf = LibPQ.Oid 1009

438−instance OidOf ('PGvararray (null 'PGtext)) where oidOf = LibPQ.Oid 1009

439−instance OidOf 'PGbytea where oidOf = LibPQ.Oid 17

440−instance OidOf ('PGfixarray ns (null 'PGbytea)) where oidOf = LibPQ.Oid 1001

441−instance OidOf ('PGvararray (null 'PGbytea)) where oidOf = LibPQ.Oid 1001

442−instance OidOf 'PGtimestamp where oidOf = LibPQ.Oid 1114

414+instance HasOid 'PGtimestamp where oid = 1114

443−instance OidOf ('PGfixarray ns (null 'PGtimestamp)) where oidOf = LibPQ.Oid 1115

444−instance OidOf ('PGvararray (null 'PGtimestamp)) where oidOf = LibPQ.Oid 1115

445−instance OidOf 'PGtimestamptz where oidOf = LibPQ.Oid 1184

415+instance HasOid 'PGtimestamptz where oid = 1184

446−instance OidOf ('PGfixarray ns (null 'PGtimestamptz)) where oidOf = LibPQ.Oid 1185

447−instance OidOf ('PGvararray (null 'PGtimestamptz)) where oidOf = LibPQ.Oid 1185

448−instance OidOf 'PGdate where oidOf = LibPQ.Oid 1082

416+instance HasOid 'PGdate where oid = 1082

449−instance OidOf ('PGfixarray ns (null 'PGdate)) where oidOf = LibPQ.Oid 1182

450−instance OidOf ('PGvararray (null 'PGdate)) where oidOf = LibPQ.Oid 1182

451−instance OidOf 'PGtime where oidOf = LibPQ.Oid 1083

417+instance HasOid 'PGtime where oid = 1083

452−instance OidOf ('PGfixarray ns (null 'PGtime)) where oidOf = LibPQ.Oid 1183

453−instance OidOf ('PGvararray (null 'PGtime)) where oidOf = LibPQ.Oid 1183

454−instance OidOf 'PGtimetz where oidOf = LibPQ.Oid 1266

418+instance HasOid 'PGtimetz where oid = 1266

455−instance OidOf ('PGfixarray ns (null 'PGtimetz)) where oidOf = LibPQ.Oid 1270

456−instance OidOf ('PGvararray (null 'PGtimetz)) where oidOf = LibPQ.Oid 1270

457−instance OidOf 'PGinterval where oidOf = LibPQ.Oid 1186

419+instance HasOid 'PGinterval where oid = 1186

458−instance OidOf ('PGfixarray ns (null 'PGinterval)) where oidOf = LibPQ.Oid 1187

459−instance OidOf ('PGvararray (null 'PGinterval)) where oidOf = LibPQ.Oid 1187

460−instance OidOf 'PGuuid where oidOf = LibPQ.Oid 2950

420+instance HasOid 'PGuuid where oid = 2950

461−instance OidOf ('PGfixarray ns (null 'PGuuid)) where oidOf = LibPQ.Oid 2951

421+instance HasOid 'PGinet where oid = 869

462−instance OidOf ('PGvararray (null 'PGuuid)) where oidOf = LibPQ.Oid 2951

422+instance HasOid 'PGjson where oid = 114

463−instance OidOf 'PGinet where oidOf = LibPQ.Oid 869

464−instance OidOf ('PGfixarray ns (null 'PGinet)) where oidOf = LibPQ.Oid 1041

465−instance OidOf ('PGvararray (null 'PGinet)) where oidOf = LibPQ.Oid 1041

466−instance OidOf 'PGjson where oidOf = LibPQ.Oid 114

467−instance OidOf ('PGfixarray ns (null 'PGjson)) where oidOf = LibPQ.Oid 199

468−instance OidOf ('PGvararray (null 'PGjson)) where oidOf = LibPQ.Oid 199

469−instance OidOf 'PGjsonb where oidOf = LibPQ.Oid 3802

423+instance HasOid 'PGjsonb where oid = 3802

470−instance OidOf ('PGfixarray ns (null 'PGjsonb)) where oidOf = LibPQ.Oid 3807

424+

471−instance OidOf ('PGvararray (null 'PGjsonb)) where oidOf = LibPQ.Oid 3807

472−instance OidOf 'PGtsvector where oidOf = LibPQ.Oid 3614

473−instance OidOf ('PGfixarray ns (null 'PGtsvector)) where oidOf = LibPQ.Oid 3643

474−instance OidOf ('PGvararray (null 'PGtsvector)) where oidOf = LibPQ.Oid 3643

475−instance OidOf 'PGtsquery where oidOf = LibPQ.Oid 3615

476−instance OidOf ('PGfixarray ns (null 'PGtsquery)) where oidOf = LibPQ.Oid 3645

477−instance OidOf ('PGvararray (null 'PGtsquery)) where oidOf = LibPQ.Oid 3645

478−instance OidOf 'PGoid where oidOf = LibPQ.Oid 26

479−instance OidOf ('PGfixarray ns (null 'PGoid)) where oidOf = LibPQ.Oid 1028

480−instance OidOf ('PGvararray (null 'PGoid)) where oidOf = LibPQ.Oid 1028

481−instance OidOf ('PGrange 'PGint4) where oidOf = LibPQ.Oid 3904

482−instance OidOf ('PGfixarray ns (null ('PGrange 'PGint4))) where oidOf = LibPQ.Oid 3905

483−instance OidOf ('PGvararray (null ('PGrange 'PGint4))) where oidOf = LibPQ.Oid 3905

484−instance OidOf ('PGrange 'PGint8) where oidOf = LibPQ.Oid 3926

485−instance OidOf ('PGfixarray ns (null ('PGrange 'PGint8))) where oidOf = LibPQ.Oid 3927

486−instance OidOf ('PGvararray (null ('PGrange 'PGint8))) where oidOf = LibPQ.Oid 3927

487−instance OidOf ('PGrange 'PGnumeric) where oidOf = LibPQ.Oid 3906

488−instance OidOf ('PGfixarray ns (null ('PGrange 'PGnumeric))) where oidOf = LibPQ.Oid 3907

489−instance OidOf ('PGvararray (null ('PGrange 'PGnumeric))) where oidOf = LibPQ.Oid 3907

490−instance OidOf ('PGrange 'PGtimestamp) where oidOf = LibPQ.Oid 3908

491−instance OidOf ('PGfixarray ns (null ('PGrange 'PGtimestamp))) where oidOf = LibPQ.Oid 3909

492−instance OidOf ('PGvararray (null ('PGrange 'PGtimestamp))) where oidOf = LibPQ.Oid 3909

493−instance OidOf ('PGrange 'PGtimestamptz) where oidOf = LibPQ.Oid 3910

494−instance OidOf ('PGfixarray ns (null ('PGrange 'PGtimestamptz))) where oidOf = LibPQ.Oid 3911

495−instance OidOf ('PGvararray (null ('PGrange 'PGtimestamptz))) where oidOf = LibPQ.Oid 3911

496−instance OidOf ('PGrange 'PGdate) where oidOf = LibPQ.Oid 3912

497−instance OidOf ('PGfixarray ns (null ('PGrange 'PGdate))) where oidOf = LibPQ.Oid 3913

498−instance OidOf ('PGvararray (null ('PGrange 'PGdate))) where oidOf = LibPQ.Oid 3913

499−instance {-# OVERLAPPABLE #-} OidOf ('PGrange ty) where oidOf = LibPQ.invalidOid

500−instance {-# OVERLAPPABLE #-} OidOf ('PGfixarray ns (null ('PGrange ty))) where oidOf = LibPQ.invalidOid

501−instance {-# OVERLAPPABLE #-} OidOf ('PGvararray (null ('PGrange ty))) where oidOf = LibPQ.invalidOid

502−instance {-# OVERLAPPABLE #-} OidOf ('PGcomposite row) where oidOf = LibPQ.invalidOid

503−instance {-# OVERLAPPABLE #-} OidOf ('PGfixarray ns (null ('PGcomposite row))) where oidOf = LibPQ.invalidOid

504−instance {-# OVERLAPPABLE #-} OidOf ('PGvararray (null ('PGcomposite row))) where oidOf = LibPQ.invalidOid

505−instance {-# OVERLAPPABLE #-} OidOf ('PGenum labels) where oidOf = LibPQ.invalidOid

506−instance {-# OVERLAPPABLE #-} OidOf ('PGfixarray ns (null ('PGenum labels))) where oidOf = LibPQ.invalidOid

507−instance {-# OVERLAPPABLE #-} OidOf ('PGvararray (null ('PGenum labels))) where oidOf = LibPQ.invalidOid

508−

509−class OidOfParam (ty :: NullityType) where oidOfParam :: Oid

510−instance OidOf ty => OidOfParam (null ty) where oidOfParam = oidOf @ty

511−

512−-- | Lifts a `OidOf` constraint to a field.

425+-- | Lifts a `HasOid` constraint to a field.

513−class OidOfField (field :: (Symbol, NullityType)) where

426+class HasAliasedOid (field :: (Symbol, NullityType)) where

514− oidOfField :: Oid

427+ aliasedOid :: Word32

515−instance OidOf ty => OidOfField (alias ::: nullity ty) where

428+instance HasOid ty => HasAliasedOid (alias ::: nullity ty) where

516− oidOfField = oidOf @ty

429+ aliasedOid = oid @ty

517

430

518-- | A `ToNullityParam` constraint gives an encoding of a Haskell `Type` into

431-- | A `ToNullityParam` constraint gives an encoding of a Haskell `Type` into

519-- into the binary format of a PostgreSQL `NullityType`.

432-- into the binary format of a PostgreSQL `NullityType`.

@@ -582,7 +495,6 @@ instance FromValue 'PGbool Bool where fromValue = Decoding.bool

582instance FromValue 'PGint2 Int16 where fromValue = Decoding.int

495instance FromValue 'PGint2 Int16 where fromValue = Decoding.int

583instance FromValue 'PGint4 Int32 where fromValue = Decoding.int

496instance FromValue 'PGint4 Int32 where fromValue = Decoding.int

584instance FromValue 'PGint8 Int64 where fromValue = Decoding.int

497instance FromValue 'PGint8 Int64 where fromValue = Decoding.int

585−instance FromValue 'PGoid Word32 where fromValue = Decoding.int

586instance FromValue 'PGfloat4 Float where fromValue = Decoding.float4

498instance FromValue 'PGfloat4 Float where fromValue = Decoding.float4

587instance FromValue 'PGfloat8 Double where fromValue = Decoding.float8

499instance FromValue 'PGfloat8 Double where fromValue = Decoding.float8

588instance FromValue 'PGnumeric Scientific where fromValue = Decoding.numeric

500instance FromValue 'PGnumeric Scientific where fromValue = Decoding.numeric

@@ -843,6 +755,3 @@ replicateMN

843 => m x -> m (NP I xs)

755 => m x -> m (NP I xs)

844replicateMN mx = hsequence' $

756replicateMN mx = hsequence' $

845 hcpure (Proxy :: Proxy ((~) x)) (Comp (I <$> mx))

757 hcpure (Proxy :: Proxy ((~) x)) (Comp (I <$> mx))

846−

847−getOid :: LibPQ.Oid -> Word32

848−getOid (LibPQ.Oid (CUInt oid)) = oid

squeal-postgresql/src/Squeal/PostgreSQL/Definition.hs+1101−2

@@ -19,7 +19,6 @@ Squeal data definition language.

19 , GADTs

20 , LambdaCase

21 , MultiParamTypeClasses

22− , OverloadedLabels

23 , OverloadedStrings

22 , OverloadedStrings

24 , RankNTypes

23 , RankNTypes

25 , ScopedTypeVariables

24 , ScopedTypeVariables

@@ -27,7 +26,6 @@ Squeal data definition language.

27 , TypeInType

26 , TypeInType

28 , TypeOperators

27 , TypeOperators

29 , UndecidableSuperClasses

28 , UndecidableSuperClasses

30− , UndecidableInstances

31#-}

29#-}

33module Squeal.PostgreSQL.Definition

31module Squeal.PostgreSQL.Definition

@@ -35,16 +33,81 @@ module Squeal.PostgreSQL.Definition

35 Definition (..)

33 Definition (..)

36 , (>>>)

34 , (>>>)

37 , manipDefinition

35 , manipDefinition

36+ -- * Tables

37+ -- ** Create

38+ , createSchema

39+ , createSchemaIfNotExists

40+ , createTable

41+ , createTableIfNotExists

42+ , createView

43+ , createTypeEnum

44+ , createTypeEnumFrom

45+ , createTypeComposite

46+ , createTypeCompositeFrom

47+ , FieldTyped (..)

48+ , createDomain

49+ , createTypeRange

50+ , createIndex

51+ , TableConstraintExpression (..)

52+ , check

53+ , unique

54+ , primaryKey

55+ , foreignKey

56+ , ForeignKeyed

57+ , OnDeleteClause (..)

58+ , OnUpdateClause (..)

59+ -- ** Drop

60+ , dropSchema

61+ , dropTable

62+ , dropView

63+ , dropType

64+ -- ** Alter

65+ , alterTable

66+ , alterTableRename

67+ , AlterTable (..)

68+ , addConstraint

69+ , dropConstraint

70+ , AddColumn (..)

71+ , dropColumn

72+ , renameColumn

73+ , alterColumn

74+ , AlterColumn (..)

75+ , setDefault

76+ , dropDefault

77+ , setNotNull

78+ , dropNotNull

79+ , alterType

80+ -- * Columns

81+ , ColumnTypeExpression (..)

82+ , nullable

83+ , notNullable

84+ , default_

85+ , serial2

86+ , smallserial

87+ , serial4

88+ , serial

89+ , serial8

90+ , bigserial

38 ) where

91 ) where

40import Control.Category

93import Control.Category

41import Control.DeepSeq

94import Control.DeepSeq

42import Data.ByteString

95import Data.ByteString

43import Data.Monoid

96import Data.Monoid

97+import GHC.TypeLits

44import Prelude hiding ((.), id)

98import Prelude hiding ((.), id)

100+import qualified Generics.SOP as SOP

46import qualified GHC.Generics as GHC

101import qualified GHC.Generics as GHC

102

103+import Squeal.PostgreSQL.Alias

104+import Squeal.PostgreSQL.Expression

105+import Squeal.PostgreSQL.Expression.Logic

106+import Squeal.PostgreSQL.Expression.Sort

107+import Squeal.PostgreSQL.Expression.Type

108+import Squeal.PostgreSQL.List

109+import Squeal.PostgreSQL.PG

110+import Squeal.PostgreSQL.Query

48import Squeal.PostgreSQL.Manipulation

111import Squeal.PostgreSQL.Manipulation

49import Squeal.PostgreSQL.Render

112import Squeal.PostgreSQL.Render

50import Squeal.PostgreSQL.Schema

113import Squeal.PostgreSQL.Schema

@@ -80,3 +143,1039 @@ manipDefinition

80 -- ^ no input or output

143 -- ^ no input or output

81 -> Definition schemas schemas

144 -> Definition schemas schemas

82manipDefinition = UnsafeDefinition . (<> ";") . renderSQL

145manipDefinition = UnsafeDefinition . (<> ";") . renderSQL

146+

147+{-----------------------------------------

148+CREATE statements

149+-----------------------------------------}

150+

151+{- |

152+`createSchema` enters a new schema into the current database.

153+The schema name must be distinct from the name of any existing schema

154+in the current database.

155+

156+A schema is essentially a namespace: it contains named objects

157+(tables, data types, functions, and operators) whose names

158+can duplicate those of other objects existing in other schemas.

159+Named objects are accessed by `QualifiedAlias`es with the schema

160+name as a prefix.

161+-}

162+createSchema

163+ :: KnownSymbol sch

164+ => Alias sch

165+ -> Definition schemas (Create sch '[] schemas)

166+createSchema sch = UnsafeDefinition $

167+ "CREATE" <+> "SCHEMA" <+> renderSQL sch <> ";"

168+

169+{- | Idempotent version of `createSchema`. -}

170+createSchemaIfNotExists

171+ :: (KnownSymbol sch, Has sch schemas schema)

172+ => Alias sch

173+ -> Definition schemas schemas

174+createSchemaIfNotExists sch = UnsafeDefinition $

175+ "CREATE" <+> "SCHEMA" <+> "IF" <+> "NOT" <+> "EXISTS"

176+ <+> renderSQL sch <> ";"

177+

178+{- | `createTable` adds a table to the schema.

179+

180+>>> :set -XOverloadedLabels

181+>>> :{

182+type Table = '[] :=>

183+ '[ "a" ::: 'NoDef :=> 'Null 'PGint4

184+ , "b" ::: 'NoDef :=> 'Null 'PGfloat4 ]

185+:}

186+

187+>>> :{

188+let

189+ setup :: Definition (Public '[]) (Public '["tab" ::: 'Table Table])

190+ setup = createTable #tab

191+ (nullable int `as` #a :* nullable real `as` #b) Nil

192+in printSQL setup

193+:}

194+CREATE TABLE "tab" ("a" int NULL, "b" real NULL);

195+-}

196+createTable

197+ :: ( KnownSymbol sch

198+ , KnownSymbol tab

199+ , columns ~ (col ': cols)

200+ , SOP.SListI columns

201+ , SOP.SListI constraints

202+ , Has sch schemas0 schema0

203+ , schemas1 ~ Alter sch (Create tab ('Table (constraints :=> columns)) schema0) schemas0 )

204+ => QualifiedAlias sch tab -- ^ the name of the table to add

205+ -> NP (Aliased (ColumnTypeExpression schemas0)) columns

206+ -- ^ the names and datatype of each column

207+ -> NP (Aliased (TableConstraintExpression sch tab schemas1)) constraints

208+ -- ^ constraints that must hold for the table

209+ -> Definition schemas0 schemas1

210+createTable tab columns constraints = UnsafeDefinition $

211+ "CREATE TABLE" <+> renderCreation tab columns constraints

212+

213+{-| `createTableIfNotExists` creates a table if it doesn't exist, but does not add it to the schema.

214+Instead, the schema already has the table so if the table did not yet exist, the schema was wrong.

215+`createTableIfNotExists` fixes this. Interestingly, this property makes it an idempotent in

216+the `Category` of `Definition`s.

217+

218+>>> :set -XOverloadedLabels -XTypeApplications

219+>>> :{

220+type Table = '[] :=>

221+ '[ "a" ::: 'NoDef :=> 'Null 'PGint4

222+ , "b" ::: 'NoDef :=> 'Null 'PGfloat4 ]

223+:}

224+

225+>>> type Schemas = Public '["tab" ::: 'Table Table]

226+

227+>>> :{

228+let

229+ setup :: Definition Schemas Schemas

230+ setup = createTableIfNotExists #tab

231+ (nullable int `as` #a :* nullable real `as` #b) Nil

232+in printSQL setup

233+:}

234+CREATE TABLE IF NOT EXISTS "tab" ("a" int NULL, "b" real NULL);

235+-}

236+createTableIfNotExists

237+ :: ( Has sch schemas schema

238+ , Has tab schema ('Table (constraints :=> columns))

239+ , SOP.SListI columns

240+ , SOP.SListI constraints )

241+ => QualifiedAlias sch tab -- ^ the name of the table to add

242+ -> NP (Aliased (ColumnTypeExpression schemas)) columns

243+ -- ^ the names and datatype of each column

244+ -> NP (Aliased (TableConstraintExpression sch tab schemas)) constraints

245+ -- ^ constraints that must hold for the table

246+ -> Definition schemas schemas

247+createTableIfNotExists tab columns constraints = UnsafeDefinition $

248+ "CREATE TABLE IF NOT EXISTS"

249+ <+> renderCreation tab columns constraints

250+

251+-- helper function for `createTable` and `createTableIfNotExists`

252+renderCreation

253+ :: ( KnownSymbol sch

254+ , KnownSymbol tab

255+ , SOP.SListI columns

256+ , SOP.SListI constraints )

257+ => QualifiedAlias sch tab -- ^ the name of the table to add

258+ -> NP (Aliased (ColumnTypeExpression schemas0)) columns

259+ -- ^ the names and datatype of each column

260+ -> NP (Aliased (TableConstraintExpression sch tab schemas1)) constraints

261+ -- ^ constraints that must hold for the table

262+ -> ByteString

263+renderCreation tab columns constraints = renderSQL tab

264+ <+> parenthesized

265+ ( renderCommaSeparated renderColumnDef columns

266+ <> ( case constraints of

267+ Nil -> ""

268+ _ -> ", " <>

269+ renderCommaSeparated renderConstraint constraints ) )

270+ <> ";"

271+ where

272+ renderColumnDef :: Aliased (ColumnTypeExpression schemas) x -> ByteString

273+ renderColumnDef (ty `As` column) =

274+ renderSQL column <+> renderColumnTypeExpression ty

275+ renderConstraint

276+ :: Aliased (TableConstraintExpression sch tab schemas) constraint

277+ -> ByteString

278+ renderConstraint (constraint `As` alias) =

279+ "CONSTRAINT" <+> renderSQL alias <+> renderSQL constraint

280+

281+-- | Data types are a way to limit the kind of data that can be stored in a

282+-- table. For many applications, however, the constraint they provide is

283+-- too coarse. For example, a column containing a product price should

284+-- probably only accept positive values. But there is no standard data type

285+-- that accepts only positive numbers. Another issue is that you might want

286+-- to constrain column data with respect to other columns or rows.

287+-- For example, in a table containing product information,

288+-- there should be only one row for each product number.

289+-- `TableConstraint`s give you as much control over the data in your tables

290+-- as you wish. If a user attempts to store data in a column that would

291+-- violate a constraint, an error is raised. This applies

292+-- even if the value came from the default value definition.

293+newtype TableConstraintExpression

294+ (sch :: Symbol)

295+ (tab :: Symbol)

296+ (schemas :: SchemasType)

297+ (constraint :: TableConstraint)

298+ = UnsafeTableConstraintExpression

299+ { renderTableConstraintExpression :: ByteString }

300+ deriving (GHC.Generic,Show,Eq,Ord,NFData)

301+instance RenderSQL

302+ (TableConstraintExpression sch tab schemas constraint) where

303+ renderSQL = renderTableConstraintExpression

304+

305+{-| A `check` constraint is the most generic `TableConstraint` type.

306+It allows you to specify that the value in a certain column must satisfy

307+a Boolean (truth-value) expression.

308+

309+>>> :{

310+type Schema = '[

311+ "tab" ::: 'Table ('[ "inequality" ::: 'Check '["a","b"]] :=> '[

312+ "a" ::: 'NoDef :=> 'NotNull 'PGint4,

313+ "b" ::: 'NoDef :=> 'NotNull 'PGint4

314+ ])]

315+:}

316+

317+>>> :{

318+let

319+ definition :: Definition (Public '[]) (Public Schema)

320+ definition = createTable #tab

321+ ( (int & notNullable) `as` #a :*

322+ (int & notNullable) `as` #b )

323+ ( check (#a :* #b) (#a .> #b) `as` #inequality )

324+:}

325+

326+>>> printSQL definition

327+CREATE TABLE "tab" ("a" int NOT NULL, "b" int NOT NULL, CONSTRAINT "inequality" CHECK (("a" > "b")));

328+-}

329+check

330+ :: ( Has sch schemas schema

331+ , Has tab schema ('Table table)

332+ , HasAll aliases (TableToRow table) subcolumns )

333+ => NP Alias aliases

334+ -- ^ specify the subcolumns which are getting checked

335+ -> (forall t. Condition '[] '[] 'Ungrouped schemas '[] '[t ::: subcolumns])

336+ -- ^ a closed `Condition` on those subcolumns

337+ -> TableConstraintExpression sch tab schemas ('Check aliases)

338+check _cols condition = UnsafeTableConstraintExpression $

339+ "CHECK" <+> parenthesized (renderSQL condition)

340+

341+{-| A `unique` constraint ensure that the data contained in a column,

342+or a group of columns, is unique among all the rows in the table.

343+

344+>>> :{

345+type Schema = '[

346+ "tab" ::: 'Table( '[ "uq_a_b" ::: 'Unique '["a","b"]] :=> '[

347+ "a" ::: 'NoDef :=> 'Null 'PGint4,

348+ "b" ::: 'NoDef :=> 'Null 'PGint4

349+ ])]

350+:}

351+

352+>>> :{

353+let

354+ definition :: Definition (Public '[]) (Public Schema)

355+ definition = createTable #tab

356+ ( (int & nullable) `as` #a :*

357+ (int & nullable) `as` #b )

358+ ( unique (#a :* #b) `as` #uq_a_b )

359+:}

360+

361+>>> printSQL definition

362+CREATE TABLE "tab" ("a" int NULL, "b" int NULL, CONSTRAINT "uq_a_b" UNIQUE ("a", "b"));

363+-}

364+unique

365+ :: ( Has sch schemas schema

366+ , Has tab schema('Table table)

367+ , HasAll aliases (TableToRow table) subcolumns )

368+ => NP Alias aliases

369+ -- ^ specify subcolumns which together are unique for each row

370+ -> TableConstraintExpression sch tab schemas ('Unique aliases)

371+unique columns = UnsafeTableConstraintExpression $

372+ "UNIQUE" <+> parenthesized (renderSQL columns)

373+

374+{-| A `primaryKey` constraint indicates that a column, or group of columns,

375+can be used as a unique identifier for rows in the table.

376+This requires that the values be both unique and not null.

377+

378+>>> :{

379+type Schema = '[

380+ "tab" ::: 'Table ('[ "pk_id" ::: 'PrimaryKey '["id"]] :=> '[

381+ "id" ::: 'Def :=> 'NotNull 'PGint4,

382+ "name" ::: 'NoDef :=> 'NotNull 'PGtext

383+ ])]

384+:}

385+

386+>>> :{

387+let

388+ definition :: Definition (Public '[]) (Public Schema)

389+ definition = createTable #tab

390+ ( serial `as` #id :*

391+ (text & notNullable) `as` #name )

392+ ( primaryKey #id `as` #pk_id )

393+:}

394+

395+>>> printSQL definition

396+CREATE TABLE "tab" ("id" serial, "name" text NOT NULL, CONSTRAINT "pk_id" PRIMARY KEY ("id"));

397+-}

398+primaryKey

399+ :: ( Has sch schemas schema

400+ , Has tab schema ('Table table)

401+ , HasAll aliases (TableToColumns table) subcolumns

402+ , AllNotNull subcolumns )

403+ => NP Alias aliases

404+ -- ^ specify the subcolumns which together form a primary key.

405+ -> TableConstraintExpression sch tab schemas ('PrimaryKey aliases)

406+primaryKey columns = UnsafeTableConstraintExpression $

407+ "PRIMARY KEY" <+> parenthesized (renderSQL columns)

408+

409+{-| A `foreignKey` specifies that the values in a column

410+(or a group of columns) must match the values appearing in some row of

411+another table. We say this maintains the referential integrity

412+between two related tables.

413+

414+>>> :{

415+type Schema =

416+ '[ "users" ::: 'Table (

417+ '[ "pk_users" ::: 'PrimaryKey '["id"] ] :=>

418+ '[ "id" ::: 'Def :=> 'NotNull 'PGint4

419+ , "name" ::: 'NoDef :=> 'NotNull 'PGtext

420+ ])

421+ , "emails" ::: 'Table (

422+ '[ "pk_emails" ::: 'PrimaryKey '["id"]

423+ , "fk_user_id" ::: 'ForeignKey '["user_id"] "users" '["id"]

424+ ] :=>

425+ '[ "id" ::: 'Def :=> 'NotNull 'PGint4

426+ , "user_id" ::: 'NoDef :=> 'NotNull 'PGint4

427+ , "email" ::: 'NoDef :=> 'Null 'PGtext

428+ ])

429+ ]

430+:}

431+

432+>>> :{

433+let

434+ setup :: Definition (Public '[]) (Public Schema)

435+ setup =

436+ createTable #users

437+ ( serial `as` #id :*

438+ (text & notNullable) `as` #name )

439+ ( primaryKey #id `as` #pk_users ) >>>

440+ createTable #emails

441+ ( serial `as` #id :*

442+ (int & notNullable) `as` #user_id :*

443+ (text & nullable) `as` #email )

444+ ( primaryKey #id `as` #pk_emails :*

445+ foreignKey #user_id #users #id

446+ OnDeleteCascade OnUpdateCascade `as` #fk_user_id )

447+in printSQL setup

448+:}

449+CREATE TABLE "users" ("id" serial, "name" text NOT NULL, CONSTRAINT "pk_users" PRIMARY KEY ("id"));

450+CREATE TABLE "emails" ("id" serial, "user_id" int NOT NULL, "email" text NULL, CONSTRAINT "pk_emails" PRIMARY KEY ("id"), CONSTRAINT "fk_user_id" FOREIGN KEY ("user_id") REFERENCES "users" ("id") ON DELETE CASCADE ON UPDATE CASCADE);

451+

452+A `foreignKey` can even be a table self-reference.

453+

454+>>> :{

455+type Schema =

456+ '[ "employees" ::: 'Table (

457+ '[ "employees_pk" ::: 'PrimaryKey '["id"]

458+ , "employees_employer_fk" ::: 'ForeignKey '["employer_id"] "employees" '["id"]

459+ ] :=>

460+ '[ "id" ::: 'Def :=> 'NotNull 'PGint4

461+ , "name" ::: 'NoDef :=> 'NotNull 'PGtext

462+ , "employer_id" ::: 'NoDef :=> 'Null 'PGint4

463+ ])

464+ ]

465+:}

466+

467+>>> :{

468+let

469+ setup :: Definition (Public '[]) (Public Schema)

470+ setup =

471+ createTable #employees

472+ ( serial `as` #id :*

473+ (text & notNullable) `as` #name :*

474+ (integer & nullable) `as` #employer_id )

475+ ( primaryKey #id `as` #employees_pk :*

476+ foreignKey #employer_id #employees #id

477+ OnDeleteCascade OnUpdateCascade `as` #employees_employer_fk )

478+in printSQL setup

479+:}

480+CREATE TABLE "employees" ("id" serial, "name" text NOT NULL, "employer_id" integer NULL, CONSTRAINT "employees_pk" PRIMARY KEY ("id"), CONSTRAINT "employees_employer_fk" FOREIGN KEY ("employer_id") REFERENCES "employees" ("id") ON DELETE CASCADE ON UPDATE CASCADE);

481+-}

482+foreignKey

483+ :: (ForeignKeyed schemas sch schema child parent

484+ table reftable

485+ columns refcolumns

486+ constraints cols

487+ reftys tys )

488+ => NP Alias columns

489+ -- ^ column or columns in the table

490+ -> Alias parent

491+ -- ^ reference table

492+ -> NP Alias refcolumns

493+ -- ^ reference column or columns in the reference table

494+ -> OnDeleteClause

495+ -- ^ what to do when reference is deleted

496+ -> OnUpdateClause

497+ -- ^ what to do when reference is updated

498+ -> TableConstraintExpression sch child schemas

499+ ('ForeignKey columns parent refcolumns)

500+foreignKey keys parent refs ondel onupd = UnsafeTableConstraintExpression $

501+ "FOREIGN KEY" <+> parenthesized (renderSQL keys)

502+ <+> "REFERENCES" <+> renderSQL parent

503+ <+> parenthesized (renderSQL refs)

504+ <+> renderSQL ondel

505+ <+> renderSQL onupd

506+

507+-- | A constraint synonym between types involved in a foreign key constraint.

508+type ForeignKeyed schemas

509+ sch

510+ schema

511+ child parent

512+ table reftable

513+ columns refcolumns

514+ constraints cols

515+ reftys tys =

516+ ( Has sch schemas schema

517+ , Has child schema ('Table table)

518+ , Has parent schema ('Table reftable)

519+ , HasAll columns (TableToColumns table) tys

520+ , reftable ~ (constraints :=> cols)

521+ , HasAll refcolumns cols reftys

522+ , SOP.AllZip SamePGType tys reftys

523+ , Uniquely refcolumns constraints )

524+

525+-- | `OnDeleteClause` indicates what to do with rows that reference a deleted row.

526+data OnDeleteClause

527+ = OnDeleteNoAction

528+ -- ^ if any referencing rows still exist when the constraint is checked,

529+ -- an error is raised

530+ | OnDeleteRestrict -- ^ prevents deletion of a referenced row

531+ | OnDeleteCascade

532+ -- ^ specifies that when a referenced row is deleted,

533+ -- row(s) referencing it should be automatically deleted as well

534+ deriving (GHC.Generic,Show,Eq,Ord)

535+instance NFData OnDeleteClause

536+-- | Render `OnDeleteClause`.

537+instance RenderSQL OnDeleteClause where

538+ renderSQL = \case

539+ OnDeleteNoAction -> "ON DELETE NO ACTION"

540+ OnDeleteRestrict -> "ON DELETE RESTRICT"

541+ OnDeleteCascade -> "ON DELETE CASCADE"

542+

543+-- | Analagous to `OnDeleteClause` there is also `OnUpdateClause` which is invoked

544+-- when a referenced column is changed (updated).

545+data OnUpdateClause

546+ = OnUpdateNoAction

547+ -- ^ if any referencing rows has not changed when the constraint is checked,

548+ -- an error is raised

549+ | OnUpdateRestrict -- ^ prevents update of a referenced row

550+ | OnUpdateCascade

551+ -- ^ the updated values of the referenced column(s) should be copied

552+ -- into the referencing row(s)

553+ deriving (GHC.Generic,Show,Eq,Ord)

554+instance NFData OnUpdateClause

555+

556+-- | Render `OnUpdateClause`.

557+instance RenderSQL OnUpdateClause where

558+ renderSQL = \case

559+ OnUpdateNoAction -> "ON UPDATE NO ACTION"

560+ OnUpdateRestrict -> "ON UPDATE RESTRICT"

561+ OnUpdateCascade -> "ON UPDATE CASCADE"

562+

563+{-----------------------------------------

564+DROP statements

565+-----------------------------------------}

566+

567+-- | >>> :{

568+-- let

569+-- definition :: Definition '["muh_schema" ::: schema, "public" ::: public] '["public" ::: public]

570+-- definition = dropSchema #muh_schema

571+-- :}

572+--

573+-- >>> printSQL definition

574+-- DROP SCHEMA "muh_schema";

575+dropSchema

576+ :: Has sch schemas schema

577+ => Alias sch

578+ -> Definition schemas (Drop sch schemas)

579+dropSchema sch = UnsafeDefinition $ "DROP SCHEMA" <+> renderSQL sch <> ";"

580+

581+-- | `dropTable` removes a table from the schema.

582+--

583+-- >>> :{

584+-- let

585+-- definition :: Definition '["public" ::: '["muh_table" ::: 'Table t]] (Public '[])

586+-- definition = dropTable #muh_table

587+-- :}

588+--

589+-- >>> printSQL definition

590+-- DROP TABLE "muh_table";

591+dropTable

592+ :: ( Has sch schemas schema

593+ , Has tab schema ('Table table))

594+ => QualifiedAlias sch tab -- ^ table to remove

595+ -> Definition schemas (Alter sch (Drop tab schema) schemas)

596+dropTable tab = UnsafeDefinition $ "DROP TABLE" <+> renderSQL tab <> ";"

597+

598+{-----------------------------------------

599+ALTER statements

600+-----------------------------------------}

601+

602+-- | `alterTable` changes the definition of a table from the schema.

603+alterTable

604+ :: (Has sch schemas schema, Has tab schema ('Table table0))

605+ => QualifiedAlias sch tab -- ^ table to alter

606+ -> AlterTable sch tab schemas table1 -- ^ alteration to perform

607+ -> Definition schemas (Alter sch (Alter tab ('Table table1) schema) schemas)

608+alterTable tab alteration = UnsafeDefinition $

609+ "ALTER TABLE"

610+ <+> renderSQL tab

611+ <+> renderAlterTable alteration

612+ <> ";"

613+

614+-- | `alterTableRename` changes the name of a table from the schema.

615+--

616+-- >>> printSQL $ alterTableRename #foo #bar

617+-- ALTER TABLE "foo" RENAME TO "bar";

618+alterTableRename

619+ :: (KnownSymbol table0, KnownSymbol table1)

620+ => Alias table0 -- ^ table to rename

621+ -> Alias table1 -- ^ what to rename it

622+ -> Definition schema (Rename table0 table1 schema)

623+alterTableRename table0 table1 = UnsafeDefinition $

624+ "ALTER TABLE" <+> renderSQL table0

625+ <+> "RENAME TO" <+> renderSQL table1 <> ";"

626+

627+-- | An `AlterTable` describes the alteration to perform on the columns

628+-- of a table.

629+newtype AlterTable

630+ (sch :: Symbol)

631+ (tab :: Symbol)

632+ (schemas :: SchemasType)

633+ (table :: TableType) =

634+ UnsafeAlterTable {renderAlterTable :: ByteString}

635+ deriving (GHC.Generic,Show,Eq,Ord,NFData)

636+

637+-- | An `addConstraint` adds a table constraint.

638+--

639+-- >>> :{

640+-- let

641+-- definition :: Definition

642+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

643+-- '["public" ::: '["tab" ::: 'Table ('["positive" ::: 'Check '["col"]] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

644+-- definition = alterTable #tab (addConstraint #positive (check #col (#col .> 0)))

645+-- in printSQL definition

646+-- :}

647+-- ALTER TABLE "tab" ADD CONSTRAINT "positive" CHECK (("col" > 0));

648+addConstraint

649+ :: ( KnownSymbol alias

650+ , Has sch schemas schema

651+ , Has tab schema ('Table table0)

652+ , table0 ~ (constraints :=> columns)

653+ , table1 ~ (Create alias constraint constraints :=> columns) )

654+ => Alias alias

655+ -> TableConstraintExpression sch tab schemas constraint

656+ -- ^ constraint to add

657+ -> AlterTable sch tab schemas table1

658+addConstraint alias constraint = UnsafeAlterTable $

659+ "ADD" <+> "CONSTRAINT" <+> renderSQL alias

660+ <+> renderSQL constraint

661+

662+-- | A `dropConstraint` drops a table constraint.

663+--

664+-- >>> :{

665+-- let

666+-- definition :: Definition

667+-- '["public" ::: '["tab" ::: 'Table ('["positive" ::: Check '["col"]] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

668+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

669+-- definition = alterTable #tab (dropConstraint #positive)

670+-- in printSQL definition

671+-- :}

672+-- ALTER TABLE "tab" DROP CONSTRAINT "positive";

673+dropConstraint

674+ :: ( KnownSymbol constraint

675+ , Has sch schemas schema

676+ , Has tab schema ('Table table0)

677+ , table0 ~ (constraints :=> columns)

678+ , table1 ~ (Drop constraint constraints :=> columns) )

679+ => Alias constraint

680+ -- ^ constraint to drop

681+ -> AlterTable sch tab schemas table1

682+dropConstraint constraint = UnsafeAlterTable $

683+ "DROP" <+> "CONSTRAINT" <+> renderSQL constraint

684+

685+-- | An `AddColumn` is either @NULL@ or has @DEFAULT@.

686+class AddColumn ty where

687+ -- | `addColumn` adds a new column, initially filled with whatever

688+ -- default value is given or with @NULL@.

689+ --

690+ -- >>> :{

691+ -- let

692+ -- definition :: Definition

693+ -- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col1" ::: 'NoDef :=> 'Null 'PGint4])]]

694+ -- '["public" ::: '["tab" ::: 'Table ('[] :=>

695+ -- '[ "col1" ::: 'NoDef :=> 'Null 'PGint4

696+ -- , "col2" ::: 'Def :=> 'Null 'PGtext ])]]

697+ -- definition = alterTable #tab (addColumn #col2 (text & nullable & default_ "foo"))

698+ -- in printSQL definition

699+ -- :}

700+ -- ALTER TABLE "tab" ADD COLUMN "col2" text NULL DEFAULT E'foo';

701+ --

702+ -- >>> :{

703+ -- let

704+ -- definition :: Definition

705+ -- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col1" ::: 'NoDef :=> 'Null 'PGint4])]]

706+ -- '["public" ::: '["tab" ::: 'Table ('[] :=>

707+ -- '[ "col1" ::: 'NoDef :=> 'Null 'PGint4

708+ -- , "col2" ::: 'NoDef :=> 'Null 'PGtext ])]]

709+ -- definition = alterTable #tab (addColumn #col2 (text & nullable))

710+ -- in printSQL definition

711+ -- :}

712+ -- ALTER TABLE "tab" ADD COLUMN "col2" text NULL;

713+ addColumn

714+ :: ( KnownSymbol column

715+ , Has sch schemas schema

716+ , Has tab schema ('Table table0)

717+ , table0 ~ (constraints :=> columns) )

718+ => Alias column -- ^ column to add

719+ -> ColumnTypeExpression schemas ty -- ^ type of the new column

720+ -> AlterTable sch tab schemas (constraints :=> Create column ty columns)

721+ addColumn column ty = UnsafeAlterTable $

722+ "ADD COLUMN" <+> renderSQL column <+> renderColumnTypeExpression ty

723+instance {-# OVERLAPPING #-} AddColumn ('Def :=> ty)

724+instance {-# OVERLAPPABLE #-} AddColumn ('NoDef :=> 'Null ty)

725+

726+-- | A `dropColumn` removes a column. Whatever data was in the column

727+-- disappears. Table constraints involving the column are dropped, too.

728+-- However, if the column is referenced by a foreign key constraint of

729+-- another table, PostgreSQL will not silently drop that constraint.

730+--

731+-- >>> :{

732+-- let

733+-- definition :: Definition

734+-- '["public" ::: '["tab" ::: 'Table ('[] :=>

735+-- '[ "col1" ::: 'NoDef :=> 'Null 'PGint4

736+-- , "col2" ::: 'NoDef :=> 'Null 'PGtext ])]]

737+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col1" ::: 'NoDef :=> 'Null 'PGint4])]]

738+-- definition = alterTable #tab (dropColumn #col2)

739+-- in printSQL definition

740+-- :}

741+-- ALTER TABLE "tab" DROP COLUMN "col2";

742+dropColumn

743+ :: ( KnownSymbol column

744+ , Has sch schemas schema

745+ , Has tab schema ('Table table0)

746+ , table0 ~ (constraints :=> columns)

747+ , table1 ~ (constraints :=> Drop column columns) )

748+ => Alias column -- ^ column to remove

749+ -> AlterTable sch tab schemas table1

750+dropColumn column = UnsafeAlterTable $

751+ "DROP COLUMN" <+> renderSQL column

752+

753+-- | A `renameColumn` renames a column.

754+--

755+-- >>> :{

756+-- let

757+-- definition :: Definition

758+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["foo" ::: 'NoDef :=> 'Null 'PGint4])]]

759+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["bar" ::: 'NoDef :=> 'Null 'PGint4])]]

760+-- definition = alterTable #tab (renameColumn #foo #bar)

761+-- in printSQL definition

762+-- :}

763+-- ALTER TABLE "tab" RENAME COLUMN "foo" TO "bar";

764+renameColumn

765+ :: ( KnownSymbol column0

766+ , KnownSymbol column1

767+ , Has sch schemas schema

768+ , Has tab schema ('Table table0)

769+ , table0 ~ (constraints :=> columns)

770+ , table1 ~ (constraints :=> Rename column0 column1 columns) )

771+ => Alias column0 -- ^ column to rename

772+ -> Alias column1 -- ^ what to rename the column

773+ -> AlterTable sch tab schemas table1

774+renameColumn column0 column1 = UnsafeAlterTable $

775+ "RENAME COLUMN" <+> renderSQL column0 <+> "TO" <+> renderSQL column1

776+

777+-- | An `alterColumn` alters a single column.

778+alterColumn

779+ :: ( KnownSymbol column

780+ , Has sch schemas schema

781+ , Has tab schema ('Table table0)

782+ , table0 ~ (constraints :=> columns)

783+ , Has column columns ty0

784+ , table1 ~ (constraints :=> Alter column ty1 columns))

785+ => Alias column -- ^ column to alter

786+ -> AlterColumn schemas ty0 ty1 -- ^ alteration to perform

787+ -> AlterTable sch tab schemas table1

788+alterColumn column alteration = UnsafeAlterTable $

789+ "ALTER COLUMN" <+> renderSQL column <+> renderAlterColumn alteration

790+

791+-- | An `AlterColumn` describes the alteration to perform on a single column.

792+newtype AlterColumn (schemas :: SchemasType) (ty0 :: ColumnType) (ty1 :: ColumnType) =

793+ UnsafeAlterColumn {renderAlterColumn :: ByteString}

794+ deriving (GHC.Generic,Show,Eq,Ord,NFData)

795+

796+-- | A `setDefault` sets a new default for a column. Note that this doesn't

797+-- affect any existing rows in the table, it just changes the default for

798+-- future insert and update commands.

799+--

800+-- >>> :{

801+-- let

802+-- definition :: Definition

803+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'Null 'PGint4])]]

804+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'Def :=> 'Null 'PGint4])]]

805+-- definition = alterTable #tab (alterColumn #col (setDefault 5))

806+-- in printSQL definition

807+-- :}

808+-- ALTER TABLE "tab" ALTER COLUMN "col" SET DEFAULT 5;

809+setDefault

810+ :: Expression '[] '[] 'Ungrouped schemas '[] '[] ty -- ^ default value to set

811+ -> AlterColumn schemas (constraint :=> ty) ('Def :=> ty)

812+setDefault expression = UnsafeAlterColumn $

813+ "SET DEFAULT" <+> renderExpression expression

814+

815+-- | A `dropDefault` removes any default value for a column.

816+--

817+-- >>> :{

818+-- let

819+-- definition :: Definition

820+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'Def :=> 'Null 'PGint4])]]

821+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'Null 'PGint4])]]

822+-- definition = alterTable #tab (alterColumn #col dropDefault)

823+-- in printSQL definition

824+-- :}

825+-- ALTER TABLE "tab" ALTER COLUMN "col" DROP DEFAULT;

826+dropDefault :: AlterColumn schemas ('Def :=> ty) ('NoDef :=> ty)

827+dropDefault = UnsafeAlterColumn $ "DROP DEFAULT"

828+

829+-- | A `setNotNull` adds a @NOT NULL@ constraint to a column.

830+-- The constraint will be checked immediately, so the table data must satisfy

831+-- the constraint before it can be added.

832+--

833+-- >>> :{

834+-- let

835+-- definition :: Definition

836+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'Null 'PGint4])]]

837+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

838+-- definition = alterTable #tab (alterColumn #col setNotNull)

839+-- in printSQL definition

840+-- :}

841+-- ALTER TABLE "tab" ALTER COLUMN "col" SET NOT NULL;

842+setNotNull

843+ :: AlterColumn schemas (constraint :=> 'Null ty) (constraint :=> 'NotNull ty)

844+setNotNull = UnsafeAlterColumn $ "SET NOT NULL"

845+

846+-- | A `dropNotNull` drops a @NOT NULL@ constraint from a column.

847+--

848+-- >>> :{

849+-- let

850+-- definition :: Definition

851+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

852+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'Null 'PGint4])]]

853+-- definition = alterTable #tab (alterColumn #col dropNotNull)

854+-- in printSQL definition

855+-- :}

856+-- ALTER TABLE "tab" ALTER COLUMN "col" DROP NOT NULL;

857+dropNotNull

858+ :: AlterColumn schemas (constraint :=> 'NotNull ty) (constraint :=> 'Null ty)

859+dropNotNull = UnsafeAlterColumn $ "DROP NOT NULL"

860+

861+-- | An `alterType` converts a column to a different data type.

862+-- This will succeed only if each existing entry in the column can be

863+-- converted to the new type by an implicit cast.

864+--

865+-- >>> :{

866+-- let

867+-- definition :: Definition

868+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

869+-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGnumeric])]]

870+-- definition =

871+-- alterTable #tab (alterColumn #col (alterType (numeric & notNullable)))

872+-- in printSQL definition

873+-- :}

874+-- ALTER TABLE "tab" ALTER COLUMN "col" TYPE numeric NOT NULL;

875+alterType :: ColumnTypeExpression schemas ty -> AlterColumn schemas ty0 ty

876+alterType ty = UnsafeAlterColumn $ "TYPE" <+> renderColumnTypeExpression ty

877+

878+{- | Create a view.

879+>>> type ABC = '["a" ::: 'NoDef :=> 'Null 'PGint4, "b" ::: 'NoDef :=> 'Null 'PGint4, "c" ::: 'NoDef :=> 'Null 'PGint4]

880+>>> type BC = '["b" ::: 'Null 'PGint4, "c" ::: 'Null 'PGint4]

881+>>> :{

882+let

883+ definition :: Definition

884+ '[ "public" ::: '["abc" ::: 'Table ('[] :=> ABC)]]

885+ '[ "public" ::: '["abc" ::: 'Table ('[] :=> ABC), "bc" ::: 'View BC]]

886+ definition =

887+ createView #bc (select_ (#b :* #c) (from (table #abc)))

888+in printSQL definition

889+:}

890+CREATE VIEW "bc" AS SELECT "b" AS "b", "c" AS "c" FROM "abc" AS "abc";

891+-}

892+createView

893+ :: (KnownSymbol sch, KnownSymbol vw, Has sch schemas schema)

894+ => QualifiedAlias sch vw -- ^ the name of the view to add

895+ -> Query '[] '[] schemas '[] view -- ^ query

896+ -> Definition schemas (Alter sch (Create vw ('View view) schema) schemas)

897+createView alias query = UnsafeDefinition $

898+ "CREATE" <+> "VIEW" <+> renderSQL alias <+> "AS"

899+ <+> renderQuery query <> ";"

900+

901+-- | Drop a view.

902+--

903+-- >>> :{

904+-- let

905+-- definition :: Definition

906+-- '[ "public" ::: '["abc" ::: 'Table ('[] :=> '["a" ::: 'NoDef :=> 'Null 'PGint4, "b" ::: 'NoDef :=> 'Null 'PGint4, "c" ::: 'NoDef :=> 'Null 'PGint4])

907+-- , "bc" ::: 'View ('["b" ::: 'Null 'PGint4, "c" ::: 'Null 'PGint4])]]

908+-- '[ "public" ::: '["abc" ::: 'Table ('[] :=> '["a" ::: 'NoDef :=> 'Null 'PGint4, "b" ::: 'NoDef :=> 'Null 'PGint4, "c" ::: 'NoDef :=> 'Null 'PGint4])]]

909+-- definition = dropView #bc

910+-- in printSQL definition

911+-- :}

912+-- DROP VIEW "bc";

913+dropView

914+ :: (Has sch schemas schema, Has vw schema ('View view))

915+ => QualifiedAlias sch vw -- ^ view to remove

916+ -> Definition schemas (Alter sch (Drop vw schema) schemas)

917+dropView vw = UnsafeDefinition $ "DROP VIEW" <+> renderSQL vw <> ";"

918+

919+-- | Enumerated types are created using the `createTypeEnum` command, for example

920+--

921+-- >>> printSQL $ (createTypeEnum #mood (label @"sad" :* label @"ok" :* label @"happy") :: Definition (Public '[]) '["public" ::: '["mood" ::: 'Typedef ('PGenum '["sad","ok","happy"])]])

922+-- CREATE TYPE "mood" AS ENUM ('sad', 'ok', 'happy');

923+createTypeEnum

924+ :: (KnownSymbol enum, Has sch schemas schema, SOP.All KnownSymbol labels)

925+ => QualifiedAlias sch enum

926+ -- ^ name of the user defined enumerated type

927+ -> NP PGlabel labels

928+ -- ^ labels of the enumerated type

929+ -> Definition schemas (Alter sch (Create enum ('Typedef ('PGenum labels)) schema) schemas)

930+createTypeEnum enum labels = UnsafeDefinition $

931+ "CREATE" <+> "TYPE" <+> renderSQL enum <+> "AS" <+> "ENUM" <+>

932+ parenthesized (renderSQL labels) <> ";"

933+

934+-- | Enumerated types can also be generated from a Haskell type, for example

935+--

936+-- >>> data Schwarma = Beef | Lamb | Chicken deriving GHC.Generic

937+-- >>> instance SOP.Generic Schwarma

938+-- >>> instance SOP.HasDatatypeInfo Schwarma

939+-- >>> :{

940+-- let

941+-- createSchwarma :: Definition (Public '[]) '["public" ::: '["schwarma" ::: 'Typedef (PG (Enumerated Schwarma))]]

942+-- createSchwarma = createTypeEnumFrom @Schwarma #schwarma

943+-- in

944+-- printSQL createSchwarma

945+-- :}

946+-- CREATE TYPE "schwarma" AS ENUM ('Beef', 'Lamb', 'Chicken');

947+createTypeEnumFrom

948+ :: forall hask sch enum schemas schema.

949+ ( SOP.Generic hask

950+ , SOP.All KnownSymbol (LabelsPG hask)

951+ , KnownSymbol enum

952+ , Has sch schemas schema )

953+ => QualifiedAlias sch enum

954+ -- ^ name of the user defined enumerated type

955+ -> Definition schemas (Alter sch (Create enum ('Typedef (PG (Enumerated hask))) schema) schemas)

956+createTypeEnumFrom enum = createTypeEnum enum

957+ (SOP.hpure label :: NP PGlabel (LabelsPG hask))

958+

959+{- | `createTypeComposite` creates a composite type. The composite type is

960+specified by a list of attribute names and data types.

961+

962+>>> :{

963+type PGcomplex = 'PGcomposite

964+ '[ "real" ::: 'NotNull 'PGfloat8

965+ , "imaginary" ::: 'NotNull 'PGfloat8 ]

966+:}

967+

968+>>> :{

969+let

970+ setup :: Definition (Public '[]) '["public" ::: '["complex" ::: 'Typedef PGcomplex]]

971+ setup = createTypeComposite #complex

972+ (float8 `as` #real :* float8 `as` #imaginary)

973+in printSQL setup

974+:}

975+CREATE TYPE "complex" AS ("real" float8, "imaginary" float8);

976+-}

977+createTypeComposite

978+ :: (KnownSymbol ty, Has sch schemas schema, SOP.SListI fields)

979+ => QualifiedAlias sch ty

980+ -- ^ name of the user defined composite type

981+ -> NP (Aliased (TypeExpression schemas)) fields

982+ -- ^ list of attribute names and data types

983+ -> Definition schemas (Alter sch (Create ty ('Typedef ('PGcomposite fields)) schema) schemas)

984+createTypeComposite ty fields = UnsafeDefinition $

985+ "CREATE" <+> "TYPE" <+> renderSQL ty <+> "AS" <+> parenthesized

986+ (renderCommaSeparated renderField fields) <> ";"

987+ where

988+ renderField :: Aliased (TypeExpression schemas) x -> ByteString

989+ renderField (typ `As` alias) =

990+ renderSQL alias <+> renderSQL typ

991+

992+-- | Composite types can also be generated from a Haskell type, for example

993+--

994+-- >>> data Complex = Complex {real :: Double, imaginary :: Double} deriving GHC.Generic

995+-- >>> instance SOP.Generic Complex

996+-- >>> instance SOP.HasDatatypeInfo Complex

997+-- >>> type Schema = '["complex" ::: 'Typedef (PG (Composite Complex))]

998+-- >>> :{

999+-- let

1000+-- createComplex :: Definition (Public '[]) (Public Schema)

1001+-- createComplex = createTypeCompositeFrom @Complex #complex

1002+-- in

1003+-- printSQL createComplex

1004+-- :}

1005+-- CREATE TYPE "complex" AS ("real" float8, "imaginary" float8);

1006+createTypeCompositeFrom

1007+ :: forall hask sch ty schemas schema.

1008+ ( SOP.All (FieldTyped schemas) (RowPG hask)

1009+ , KnownSymbol ty

1010+ , Has sch schemas schema )

1011+ => QualifiedAlias sch ty

1012+ -- ^ name of the user defined composite type

1013+ -> Definition schemas (Alter sch (Create ty ( 'Typedef (PG (Composite hask))) schema) schemas)

1014+createTypeCompositeFrom ty = createTypeComposite ty

1015+ (SOP.hcpure (SOP.Proxy :: SOP.Proxy (FieldTyped schemas)) fieldtype

1016+ :: NP (Aliased (TypeExpression schemas)) (RowPG hask))

1017+

1018+{-|

1019+`createDomain` creates a new domain. A domain is essentially a data type

1020+with constraints (restrictions on the allowed set of values).

1021+

1022+Domains are useful for abstracting common constraints on fields

1023+into a single location for maintenance. For example, several tables might

1024+contain email address columns, all requiring the same `check` constraint

1025+to verify the address syntax. Define a domain rather than setting up

1026+each table's constraint individually.

1027+

1028+>>> :{

1029+let

1030+ createPositive :: Definition (Public '[]) (Public '["positive" ::: 'Typedef 'PGfloat4])

1031+ createPositive = createDomain #positive real (#value .> 0 .&& (#value & isNotNull))

1032+in printSQL createPositive

1033+:}

1034+CREATE DOMAIN "positive" AS real CHECK ((("value" > 0) AND "value" IS NOT NULL));

1035+-}

1036+createDomain

1037+ :: (Has sch schemas schema, KnownSymbol dom)

1038+ => QualifiedAlias sch dom

1039+ -> (forall null. TypeExpression schemas (null ty))

1040+ -> (forall tab. Condition '[] '[] 'Ungrouped schemas '[] '[tab ::: '["value" ::: 'Null ty]])

1041+ -> Definition schemas (Alter sch (Create dom ('Typedef ty) schema) schemas)

1042+createDomain dom ty condition =

1043+ UnsafeDefinition $ "CREATE DOMAIN" <+> renderSQL dom

1044+ <+> "AS" <+> renderTypeExpression ty

1045+ <+> "CHECK" <+> parenthesized (renderSQL condition) <> ";"

1046+

1047+{- |

1048+>>> :{

1049+let

1050+ createSmallIntRange :: Definition (Public '[]) (Public '["int2range" ::: 'Typedef ('PGrange 'PGint2)])

1051+ createSmallIntRange = createTypeRange #int2range int2

1052+in printSQL createSmallIntRange

1053+:}

1054+CREATE TYPE "int2range" AS RANGE (subtype = int2);

1055+-}

1056+createTypeRange

1057+ :: (Has sch schemas schema, KnownSymbol range)

1058+ => QualifiedAlias sch range

1059+ -> (forall null. TypeExpression schemas (null ty))

1060+ -> Definition schemas (Alter sch (Create range ('Typedef ('PGrange ty)) schema) schemas)

1061+createTypeRange range ty = UnsafeDefinition $

1062+ "CREATE" <+> "TYPE" <+> renderSQL range <+> "AS" <+> "RANGE" <+>

1063+ parenthesized ("subtype" <+> "=" <+> renderTypeExpression ty) <> ";"

1064+

1065+{- |

1066+>>> :{

1067+type Table = '[] :=>

1068+ '[ "a" ::: 'NoDef :=> 'Null 'PGint4

1069+ , "b" ::: 'NoDef :=> 'Null 'PGfloat4 ]

1070+:}

1071+

1072+>>> :{

1073+let

1074+ setup :: Definition (Public '[]) (Public '["tab" ::: 'Table Table, "ix" ::: 'Index])

1075+ setup =

1076+ createTable #tab (nullable int `as` #a :* nullable real `as` #b) Nil >>>

1077+ createIndex #ix #tab Gin [#a & AscNullsFirst, #b & AscNullsLast]

1078+in printSQL setup

1079+:}

1080+CREATE TABLE "tab" ("a" int NULL, "b" real NULL);

1081+CREATE INDEX "ix" ON "tab" USING gin (("a" ASC NULLS FIRST), ("b" ASC NULLS LAST));

1082+-}

1083+createIndex

1084+ :: (Has sch schemas schema, Has tab schema ('Table table), KnownSymbol ix)

1085+ => Alias ix

1086+ -> QualifiedAlias sch tab

1087+ -> IndexMethod

1088+ -> [SortExpression '[] '[] 'Ungrouped schemas '[] '[tab ::: TableToRow table]]

1089+ -> Definition schemas (Alter sch (Create ix 'Index schema) schemas)

1090+createIndex ix tab method cols = UnsafeDefinition $

1091+ "CREATE" <+> "INDEX" <+> renderSQL ix <+> "ON" <+> renderSQL tab

1092+ <+> "USING" <+> renderSQL method

1093+ <+> parenthesized (commaSeparated (parenthesized . renderSQL <$> cols))

1094+ <> ";"

1095+

1096+data IndexMethod

1097+ = Btree

1098+ | Hash

1099+ | Gist

1100+ | Spgist

1101+ | Gin

1102+ | Brin

1103+ deriving stock (Eq, Ord, Show, GHC.Generic)

1104+ deriving anyclass (SOP.HasDatatypeInfo, SOP.Generic)

1105+instance RenderSQL IndexMethod where

1106+ renderSQL = \case

1107+ Btree -> "btree"

1108+ Hash -> "hash"

1109+ Gist -> "gist"

1110+ Spgist -> "spgist"

1111+ Gin -> "gin"

1112+ Brin -> "brin"

1113+

1114+-- | Lift `PGTyped` to a field

1115+class FieldTyped schemas ty where

1116+ fieldtype :: Aliased (TypeExpression schemas) ty

1117+instance (KnownSymbol alias, PGTyped schemas ty)

1118+ => FieldTyped schemas (alias ::: ty) where

1119+ fieldtype = pgtype `As` Alias

1120+

1121+-- | Drop a type.

1122+--

1123+-- >>> data Schwarma = Beef | Lamb | Chicken deriving GHC.Generic

1124+-- >>> instance SOP.Generic Schwarma

1125+-- >>> instance SOP.HasDatatypeInfo Schwarma

1126+-- >>> printSQL (dropType #schwarma :: Definition '["public" ::: '["schwarma" ::: 'Typedef (PG (Enumerated Schwarma))]] (Public '[]))

1127+-- DROP TYPE "schwarma";

1128+dropType

1129+ :: (Has sch schemas schema, Has td schema ('Typedef ty))

1130+ => QualifiedAlias sch td

1131+ -- ^ name of the user defined type

1132+ -> Definition schemas (Alter sch (Drop td schema) schemas)

1133+dropType tydef = UnsafeDefinition $ "DROP" <+> "TYPE" <+> renderSQL tydef <> ";"

1134+

1135+-- | `ColumnTypeExpression`s are used in `createTable` commands.

1136+newtype ColumnTypeExpression (schemas :: SchemasType) (ty :: ColumnType)

1137+ = UnsafeColumnTypeExpression { renderColumnTypeExpression :: ByteString }

1138+ deriving (GHC.Generic,Show,Eq,Ord,NFData)

1139+instance RenderSQL (ColumnTypeExpression schemas ty) where

1140+ renderSQL = renderColumnTypeExpression

1141+

1142+-- | used in `createTable` commands as a column constraint to note that

1143+-- @NULL@ may be present in a column

1144+nullable

1145+ :: TypeExpression schemas (nullity ty)

1146+ -> ColumnTypeExpression schemas ('NoDef :=> 'Null ty)

1147+nullable ty = UnsafeColumnTypeExpression $ renderSQL ty <+> "NULL"

1148+

1149+-- | used in `createTable` commands as a column constraint to ensure

1150+-- @NULL@ is not present in a column

1151+notNullable

1152+ :: TypeExpression schemas (nullity ty)

1153+ -> ColumnTypeExpression schemas ('NoDef :=> 'NotNull ty)

1154+notNullable ty = UnsafeColumnTypeExpression $ renderSQL ty <+> "NOT NULL"

1155+

1156+-- | used in `createTable` commands as a column constraint to give a default

1157+default_

1158+ :: Expression '[] '[] 'Ungrouped schemas '[] '[] ty

1159+ -> ColumnTypeExpression schemas ('NoDef :=> ty)

1160+ -> ColumnTypeExpression schemas ('Def :=> ty)

1161+default_ x ty = UnsafeColumnTypeExpression $

1162+ renderSQL ty <+> "DEFAULT" <+> renderExpression x

1163+

1164+-- | not a true type, but merely a notational convenience for creating

1165+-- unique identifier columns with type `PGint2`

1166+serial2, smallserial

1167+ :: ColumnTypeExpression schemas ('Def :=> 'NotNull 'PGint2)

1168+serial2 = UnsafeColumnTypeExpression "serial2"

1169+smallserial = UnsafeColumnTypeExpression "smallserial"

1170+-- | not a true type, but merely a notational convenience for creating

1171+-- unique identifier columns with type `PGint4`

1172+serial4, serial

1173+ :: ColumnTypeExpression schemas ('Def :=> 'NotNull 'PGint4)

1174+serial4 = UnsafeColumnTypeExpression "serial4"

1175+serial = UnsafeColumnTypeExpression "serial"

1176+-- | not a true type, but merely a notational convenience for creating

1177+-- unique identifier columns with type `PGint8`

1178+serial8, bigserial

1179+ :: ColumnTypeExpression schemas ('Def :=> 'NotNull 'PGint8)

1180+serial8 = UnsafeColumnTypeExpression "serial8"

1181+bigserial = UnsafeColumnTypeExpression "bigserial"

squeal-postgresql/src/Squeal/PostgreSQL/Definition/Function.hsdeleted−238

@@ -1,238 +0,0 @@

1−{-|

2−Module: Squeal.PostgreSQL.Definition.Function

3−Description: Create and drop function and operator definitions

4−Copyright: (c) Eitan Chatav, 2017

5−Maintainer: eitan@morphism.tech

6−Stability: experimental

7−

8−Create and drop function and operator definitions.

9−-}

10−

11−{-# LANGUAGE

12− AllowAmbiguousTypes

13− , ConstraintKinds

14− , DeriveAnyClass

15− , DeriveGeneric

16− , DerivingStrategies

17− , FlexibleContexts

18− , FlexibleInstances

19− , GADTs

20− , LambdaCase

21− , MultiParamTypeClasses

22− , OverloadedLabels

23− , OverloadedStrings

24− , RankNTypes

25− , ScopedTypeVariables

26− , TypeApplications

27− , TypeInType

28− , TypeOperators

29− , UndecidableSuperClasses

30−#-}

31−

32−module Squeal.PostgreSQL.Definition.Function

33− ( createFunction

34− , createOrReplaceFunction

35− , createSetFunction

36− , createOrReplaceSetFunction

37− , createBinaryOp

38− , createLeftOp

39− , createRightOp

40− , dropFunction

41− , dropFunctionIfExists

42− , dropOperator

43− , dropOperatorIfExists

44− , FunctionDefinition(..)

45− , languageSqlExpr

46− , languageSqlQuery

47− ) where

48−

49−import Control.DeepSeq

50−import Data.ByteString

51−import GHC.TypeLits

52−

53−import qualified Generics.SOP as SOP

54−import qualified GHC.Generics as GHC

55−

56−import Squeal.PostgreSQL.Alias

57−import Squeal.PostgreSQL.Definition

58−import Squeal.PostgreSQL.Expression

59−import Squeal.PostgreSQL.Expression.Type

60−import Squeal.PostgreSQL.List

61−import Squeal.PostgreSQL.Query

62−import Squeal.PostgreSQL.Render

63−import Squeal.PostgreSQL.Schema

64−

65−-- $setup

66−-- >>> import Squeal.PostgreSQL

67−

68−createFunction

69− :: ( Has sch schemas schema

70− , KnownSymbol fun

71− , SOP.SListI args )

72− => QualifiedAlias sch fun

73− -> NP (TypeExpression schemas) args

74− -> TypeExpression schemas ret

75− -> FunctionDefinition schemas args ('Returns ret)

76− -> Definition schemas (Alter sch (Create fun ('Function (args :=> 'Returns ret)) schema) schemas)

77−createFunction fun args ret fundef = UnsafeDefinition $

78− "CREATE" <+> "FUNCTION" <+> renderSQL fun

79− <+> parenthesized (renderCommaSeparated renderSQL args)

80− <+> "RETURNS" <+> renderSQL ret <+> renderSQL fundef <> ";"

81−

82−createOrReplaceFunction

83− :: ( Has sch schemas schema

84− , KnownSymbol fun

85− , SOP.SListI args )

86− => QualifiedAlias sch fun

87− -> NP (TypeExpression schemas) args

88− -> TypeExpression schemas ret

89− -> FunctionDefinition schemas args ('Returns ret)

90− -> Definition schemas (Alter sch (CreateOrReplace fun ('Function (args :=> 'Returns ret)) schema) schemas)

91−createOrReplaceFunction fun args ret fundef = UnsafeDefinition $

92− "CREATE" <+> "OR" <+> "REPLACE" <+> "FUNCTION" <+> renderSQL fun

93− <+> parenthesized (renderCommaSeparated renderSQL args)

94− <+> "RETURNS" <+> renderSQL ret <+> renderSQL fundef <> ";"

95−

96−languageSqlExpr

97− :: Expression '[] '[] 'Ungrouped schemas args '[] ret

98− -> FunctionDefinition schemas args ('Returns ret)

99−languageSqlExpr expr = UnsafeFunctionDefinition $

100− "language sql as"

101− <+> "$$" <+> renderSQL (values_ (expr `as` #ret)) <+> "$$"

102−

103−languageSqlQuery

104− :: Query '[] '[] schemas args rets

105− -> FunctionDefinition schemas args ('ReturnsTable rets)

106−languageSqlQuery qry = UnsafeFunctionDefinition $

107− "language sql as" <+> "$$" <+> renderSQL qry <+> "$$"

108−

109−createSetFunction

110− :: ( Has sch schemas schema

111− , KnownSymbol fun

112− , SOP.SListI args

113− , SOP.SListI rets )

114− => QualifiedAlias sch fun

115− -> NP (TypeExpression schemas) args

116− -> NP (Aliased (TypeExpression schemas)) rets

117− -> FunctionDefinition schemas args ('ReturnsTable rets)

118− -> Definition schemas (Alter sch (Create fun ('Function (args :=> 'ReturnsTable rets)) schema) schemas)

119−createSetFunction fun args rets fundef = UnsafeDefinition $

120− "CREATE" <+> "FUNCTION" <+> renderSQL fun

121− <+> parenthesized (renderCommaSeparated renderSQL args)

122− <+> "RETURNS" <+> "TABLE"

123− <+> parenthesized (renderCommaSeparated renderRet rets)

124− <+> renderSQL fundef <> ";"

125− where

126− renderRet :: Aliased (TypeExpression s) r -> ByteString

127− renderRet (ty `As` col) = renderSQL col <+> renderSQL ty

128−

129−createOrReplaceSetFunction

130− :: ( Has sch schemas schema

131− , KnownSymbol fun

132− , SOP.SListI args

133− , SOP.SListI rets )

134− => QualifiedAlias sch fun

135− -> NP (TypeExpression schemas) args

136− -> NP (Aliased (TypeExpression schemas)) rets

137− -> FunctionDefinition schemas args ('ReturnsTable rets)

138− -> Definition schemas (Alter sch (CreateOrReplace fun ('Function (args :=> 'ReturnsTable rets)) schema) schemas)

139−createOrReplaceSetFunction fun args rets fundef = UnsafeDefinition $

140− "CREATE" <+> "OR" <+> "REPLACE" <+> "FUNCTION" <+> renderSQL fun

141− <+> parenthesized (renderCommaSeparated renderSQL args)

142− <+> "RETURNS" <+> "TABLE"

143− <+> parenthesized (renderCommaSeparated renderRet rets)

144− <+> renderSQL fundef <> ";"

145− where

146− renderRet :: Aliased (TypeExpression s) r -> ByteString

147− renderRet (ty `As` col) = renderSQL col <+> renderSQL ty

148−

149−createBinaryOp

150− :: forall op fun sch schemas schema x y z.

151− ( Has sch schemas schema

152− , Has fun schema ('Function ('[x,y] :=> 'Returns z))

153− , KnownSymbol op )

154− => QualifiedAlias sch fun

155− -> TypeExpression schemas x

156− -> TypeExpression schemas y

157− -> Definition schemas

158− (Alter sch (Create op ('Operator ('BinaryOp x y z)) schema) schemas)

159−createBinaryOp fun x y = UnsafeDefinition $

160− "CREATE" <+> "OPERATOR" <+> renderSymbol @op

161− <+> parenthesized (commaSeparated opdef)

162− where

163− opdef =

164− [ "FUNCTION" <+> "=" <+> renderSQL fun

165− , "LEFTARG" <+> "=" <+> renderSQL x

166− , "RIGHTARG" <+> "=" <+> renderSQL y ]

167−

168−createLeftOp

169− :: forall op fun sch schemas schema x y.

170− ( Has sch schemas schema

171− , Has fun schema ('Function ('[x] :=> 'Returns y))

172− , KnownSymbol op )

173− => QualifiedAlias sch fun

174− -> TypeExpression schemas x

175− -> Definition schemas

176− (Alter sch (Create op ('Operator ('LeftOp x y)) schema) schemas)

177−createLeftOp fun x = UnsafeDefinition $

178− "CREATE" <+> "OPERATOR" <+> renderSymbol @op

179− <+> parenthesized (commaSeparated opdef)

180− where

181− opdef =

182− [ "FUNCTION" <+> "=" <+> renderSQL fun

183− , "RIGHTARG" <+> "=" <+> renderSQL x ]

184−

185−createRightOp

186− :: forall op fun sch schemas schema x y.

187− ( Has sch schemas schema

188− , Has fun schema ('Function ('[x] :=> 'Returns y))

189− , KnownSymbol op )

190− => QualifiedAlias sch fun

191− -> TypeExpression schemas x

192− -> Definition schemas

193− (Alter sch (Create op ('Operator ('RightOp x y)) schema) schemas)

194−createRightOp fun x = UnsafeDefinition $

195− "CREATE" <+> "OPERATOR" <+> renderSymbol @op

196− <+> parenthesized (commaSeparated opdef)

197− where

198− opdef =

199− [ "FUNCTION" <+> "=" <+> renderSQL fun

200− , "LEFTARG" <+> "=" <+> renderSQL x ]

201−

202−dropFunction

203− :: (Has sch schemas schema, KnownSymbol fun)

204− => QualifiedAlias sch fun

205− -- ^ name of the user defined function

206− -> Definition schemas (Alter sch (DropSchemum fun 'Function schema) schemas)

207−dropFunction fun = UnsafeDefinition $

208− "DROP" <+> "FUNCTION" <+> renderSQL fun <> ";"

209−

210−dropFunctionIfExists

211− :: (Has sch schemas schema, KnownSymbol fun)

212− => QualifiedAlias sch fun

213− -- ^ name of the user defined function

214− -> Definition schemas (Alter sch (DropSchemumIfExists fun 'Function schema) schemas)

215−dropFunctionIfExists fun = UnsafeDefinition $

216− "DROP FUNCTION IF EXISTS" <+> renderSQL fun <> ";"

217−

218−dropOperator

219− :: (Has sch schemas schema, KnownSymbol op)

220− => QualifiedAlias sch op

221− -- ^ name of the user defined operator

222− -> Definition schemas (Alter sch (DropSchemum op 'Operator schema) schemas)

223−dropOperator op = UnsafeDefinition $

224− "DROP" <+> "OPERATOR" <+> renderSQL op <> ";"

225−

226−dropOperatorIfExists

227− :: (Has sch schemas schema, KnownSymbol op)

228− => QualifiedAlias sch op

229− -- ^ name of the user defined operator

230− -> Definition schemas (Alter sch (DropSchemumIfExists op 'Operator schema) schemas)

231−dropOperatorIfExists op = UnsafeDefinition $

232− "DROP OPERATOR IF EXISTS" <+> renderSQL op <> ";"

233−

234−newtype FunctionDefinition schemas args ret = UnsafeFunctionDefinition

235− { renderFunctionDefinition :: ByteString }

236− deriving (Eq,Show,GHC.Generic,NFData)

237−instance RenderSQL (FunctionDefinition schemas args ret) where

238− renderSQL = renderFunctionDefinition

squeal-postgresql/src/Squeal/PostgreSQL/Definition/Index.hsdeleted−159

@@ -1,159 +0,0 @@

1−{-|

2−Module: Squeal.PostgreSQL.Definition.Index

3−Description: Create and drop index definitions

4−Copyright: (c) Eitan Chatav, 2017

5−Maintainer: eitan@morphism.tech

6−Stability: experimental

7−

8−Create and drop index definitions.

9−-}

10−

11−{-# LANGUAGE

12− AllowAmbiguousTypes

13− , ConstraintKinds

14− , DeriveAnyClass

15− , DeriveGeneric

16− , DerivingStrategies

17− , FlexibleContexts

18− , FlexibleInstances

19− , GADTs

20− , LambdaCase

21− , MultiParamTypeClasses

22− , OverloadedLabels

23− , OverloadedStrings

24− , RankNTypes

25− , ScopedTypeVariables

26− , TypeApplications

27− , TypeInType

28− , TypeOperators

29− , UndecidableSuperClasses

30−#-}

31−

32−module Squeal.PostgreSQL.Definition.Index

33− ( createIndex

34− , createIndexIfNotExists

35− , dropIndex

36− , dropIndexIfExists

37− , IndexMethod (..)

38− , btree

39− , hash

40− , gist

41− , spgist

42− , gin

43− , brin

44− ) where

45−

46−import Data.ByteString

47−import GHC.TypeLits

48−

49−import qualified GHC.Generics as GHC

50−

51−import Squeal.PostgreSQL.Alias

52−import Squeal.PostgreSQL.Definition

53−import Squeal.PostgreSQL.Expression.Sort

54−import Squeal.PostgreSQL.Render

55−import Squeal.PostgreSQL.Schema

56−

57−-- $setup

58−-- >>> import Squeal.PostgreSQL

59−

60−{- |

61−>>> :{

62−type Table = '[] :=>

63− '[ "a" ::: 'NoDef :=> 'Null 'PGint4

64− , "b" ::: 'NoDef :=> 'Null 'PGfloat4 ]

65−:}

66−

67−>>> :{

68−let

69− setup :: Definition (Public '[]) (Public '["tab" ::: 'Table Table, "ix" ::: 'Index 'Btree])

70− setup =

71− createTable #tab (nullable int `as` #a :* nullable real `as` #b) Nil >>>

72− createIndex #ix #tab btree [#a & AscNullsFirst, #b & AscNullsLast]

73−in printSQL setup

74−:}

75−CREATE TABLE "tab" ("a" int NULL, "b" real NULL);

76−CREATE INDEX "ix" ON "tab" USING btree (("a") ASC NULLS FIRST, ("b") ASC NULLS LAST);

77−-}

78−createIndex

79− :: (Has sch schemas schema, Has tab schema ('Table table), KnownSymbol ix)

80− => Alias ix

81− -> QualifiedAlias sch tab

82− -> IndexMethod method

83− -> [SortExpression '[] '[] 'Ungrouped schemas '[] '[tab ::: TableToRow table]]

84− -> Definition schemas (Alter sch (Create ix ('Index method) schema) schemas)

85−createIndex ix tab method cols = UnsafeDefinition $

86− "CREATE" <+> "INDEX" <+> renderSQL ix <+> "ON" <+> renderSQL tab

87− <+> "USING" <+> renderSQL method

88− <+> parenthesized (commaSeparated (renderIndex <$> cols))

89− <> ";"

90− where

91− renderIndex = \case

92− Asc expression -> parenthesized (renderSQL expression) <+> "ASC"

93− Desc expression -> parenthesized (renderSQL expression) <+> "DESC"

94− AscNullsFirst expression -> parenthesized (renderSQL expression)

95− <+> "ASC NULLS FIRST"

96− DescNullsFirst expression -> parenthesized (renderSQL expression)

97− <+> "DESC NULLS FIRST"

98− AscNullsLast expression -> parenthesized (renderSQL expression)

99− <+> "ASC NULLS LAST"

100− DescNullsLast expression -> parenthesized (renderSQL expression)

101− <+> "DESC NULLS LAST"

102−

103−createIndexIfNotExists

104− :: (Has sch schemas schema, Has tab schema ('Table table), KnownSymbol ix)

105− => Alias ix

106− -> QualifiedAlias sch tab

107− -> IndexMethod method

108− -> [SortExpression '[] '[] 'Ungrouped schemas '[] '[tab ::: TableToRow table]]

109− -> Definition schemas (Alter sch (CreateIfNotExists ix ('Index method) schema) schemas)

110−createIndexIfNotExists ix tab method cols = UnsafeDefinition $

111− "CREATE INDEX IF NOT EXISTS" <+> renderSQL ix <+> "ON" <+> renderSQL tab

112− <+> "USING" <+> renderSQL method

113− <+> parenthesized (commaSeparated (renderIndex <$> cols))

114− <> ";"

115− where

116− renderIndex = \case

117− Asc expression -> parenthesized (renderSQL expression) <+> "ASC"

118− Desc expression -> parenthesized (renderSQL expression) <+> "DESC"

119− AscNullsFirst expression -> parenthesized (renderSQL expression)

120− <+> "ASC NULLS FIRST"

121− DescNullsFirst expression -> parenthesized (renderSQL expression)

122− <+> "DESC NULLS FIRST"

123− AscNullsLast expression -> parenthesized (renderSQL expression)

124− <+> "ASC NULLS LAST"

125− DescNullsLast expression -> parenthesized (renderSQL expression)

126− <+> "DESC NULLS LAST"

127−

128−newtype IndexMethod ty = UnsafeIndexMethod {renderIndexMethod :: ByteString}

129− deriving stock (Eq, Ord, Show, GHC.Generic)

130−instance RenderSQL (IndexMethod ty) where renderSQL = renderIndexMethod

131−btree :: IndexMethod 'Btree

132−btree = UnsafeIndexMethod "btree"

133−hash :: IndexMethod 'Hash

134−hash = UnsafeIndexMethod "hash"

135−gist :: IndexMethod 'Gist

136−gist = UnsafeIndexMethod "gist"

137−spgist :: IndexMethod 'Spgist

138−spgist = UnsafeIndexMethod "spgist"

139−gin :: IndexMethod 'Gin

140−gin = UnsafeIndexMethod "gin"

141−brin :: IndexMethod 'Brin

142−brin = UnsafeIndexMethod "brin"

143−

144−-- |

145−-- >>> printSQL (dropIndex #ix :: Definition (Public '["ix" ::: 'Index 'Btree]) (Public '[]))

146−-- DROP INDEX "ix";

147−dropIndex

148− :: (Has sch schemas schema, KnownSymbol ix)

149− => QualifiedAlias sch ix

150− -- ^ name of the user defined index

151− -> Definition schemas (Alter sch (DropSchemum ix 'Index schema) schemas)

152−dropIndex ix = UnsafeDefinition $ "DROP" <+> "INDEX" <+> renderSQL ix <> ";"

153−

154−dropIndexIfExists

155− :: (Has sch schemas schema, KnownSymbol ix)

156− => QualifiedAlias sch ix

157− -- ^ name of the user defined index

158− -> Definition schemas (Alter sch (DropSchemumIfExists ix 'Index schema) schemas)

159−dropIndexIfExists ix = UnsafeDefinition $ "DROP INDEX IF EXISTS" <+> renderSQL ix <> ";"

squeal-postgresql/src/Squeal/PostgreSQL/Definition/Schema.hsdeleted−96

@@ -1,96 +0,0 @@

1−{-|

2−Module: Squeal.PostgreSQL.Definition.Schema

3−Description: Create and drop schema definitions

4−Copyright: (c) Eitan Chatav, 2017

5−Maintainer: eitan@morphism.tech

6−Stability: experimental

7−

8−Create and drop schema definitions.

9−-}

10−

11−{-# LANGUAGE

12− AllowAmbiguousTypes

13− , ConstraintKinds

14− , DeriveAnyClass

15− , DeriveGeneric

16− , DerivingStrategies

17− , FlexibleContexts

18− , FlexibleInstances

19− , GADTs

20− , LambdaCase

21− , MultiParamTypeClasses

22− , OverloadedLabels

23− , OverloadedStrings

24− , RankNTypes

25− , ScopedTypeVariables

26− , TypeApplications

27− , TypeInType

28− , TypeOperators

29− , UndecidableSuperClasses

30−#-}

31−

32−module Squeal.PostgreSQL.Definition.Schema

33− ( createSchema

34− , createSchemaIfNotExists

35− , dropSchema

36− , dropSchemaIfExists

37− ) where

38−

39−import GHC.TypeLits

40−

41−import Squeal.PostgreSQL.Alias

42−import Squeal.PostgreSQL.Definition

43−import Squeal.PostgreSQL.Render

44−import Squeal.PostgreSQL.Schema

45−

46−-- $setup

47−-- >>> import Squeal.PostgreSQL

48−

49−{- |

50−`createSchema` enters a new schema into the current database.

51−The schema name must be distinct from the name of any existing schema

52−in the current database.

53−

54−A schema is essentially a namespace: it contains named objects

55−(tables, data types, functions, and operators) whose names

56−can duplicate those of other objects existing in other schemas.

57−Named objects are accessed by `QualifiedAlias`es with the schema

58−name as a prefix.

59−-}

60−createSchema

61− :: KnownSymbol sch

62− => Alias sch

63− -> Definition schemas (Create sch '[] schemas)

64−createSchema sch = UnsafeDefinition $

65− "CREATE" <+> "SCHEMA" <+> renderSQL sch <> ";"

66−

67−{- | Idempotent version of `createSchema`. -}

68−createSchemaIfNotExists

69− :: (KnownSymbol sch, Has sch schemas schema)

70− => Alias sch

71− -> Definition schemas (CreateIfNotExists sch '[] schemas)

72−createSchemaIfNotExists sch = UnsafeDefinition $

73− "CREATE" <+> "SCHEMA" <+> "IF" <+> "NOT" <+> "EXISTS"

74− <+> renderSQL sch <> ";"

75−

76−-- | >>> :{

77−-- let

78−-- definition :: Definition '["muh_schema" ::: schema, "public" ::: public] '["public" ::: public]

79−-- definition = dropSchema #muh_schema

80−-- :}

81−--

82−-- >>> printSQL definition

83−-- DROP SCHEMA "muh_schema";

84−dropSchema

85− :: KnownSymbol sch

86− => Alias sch

87− -- ^ user defined schema

88− -> Definition schemas (Drop sch schemas)

89−dropSchema sch = UnsafeDefinition $ "DROP SCHEMA" <+> renderSQL sch <> ";"

90−

91−dropSchemaIfExists

92− :: KnownSymbol sch

93− => Alias sch

94− -- ^ user defined schema

95− -> Definition schemas (DropIfExists sch schemas)

96−dropSchemaIfExists sch = UnsafeDefinition $ "DROP SCHEMA" <+> renderSQL sch <> ";"

squeal-postgresql/src/Squeal/PostgreSQL/Definition/Table.hsdeleted−500

@@ -1,500 +0,0 @@

1−{-|

2−Module: Squeal.PostgreSQL.Definition.Table

3−Description: Create, drop and alter table definitions

4−Copyright: (c) Eitan Chatav, 2017

5−Maintainer: eitan@morphism.tech

6−Stability: experimental

7−

8−Create, drop and alter table definitions.

9−-}

10−

11−{-# LANGUAGE

12− AllowAmbiguousTypes

13− , ConstraintKinds

14− , DeriveAnyClass

15− , DeriveGeneric

16− , DerivingStrategies

17− , FlexibleContexts

18− , FlexibleInstances

19− , GADTs

20− , LambdaCase

21− , MultiParamTypeClasses

22− , OverloadedLabels

23− , OverloadedStrings

24− , RankNTypes

25− , ScopedTypeVariables

26− , TypeApplications

27− , TypeInType

28− , TypeOperators

29− , UndecidableSuperClasses

30−#-}

31−

32−module Squeal.PostgreSQL.Definition.Table

33− ( createTable

34− , createTableIfNotExists

35− , dropTable

36− , dropTableIfExists

37− , alterTable

38− , alterTableIfExists

39− , alterTableRename

40− , alterTableIfExistsRename

41− , AlterTable (..)

42− , addConstraint

43− , dropConstraint

44− , AddColumn (..)

45− , dropColumn

46− , renameColumn

47− , alterColumn

48− , AlterColumn (..)

49− , setDefault

50− , dropDefault

51− , setNotNull

52− , dropNotNull

53− , alterType

54− ) where

55−

56−import Control.DeepSeq

57−import Data.ByteString

58−import GHC.TypeLits

59−

60−import qualified Generics.SOP as SOP

61−import qualified GHC.Generics as GHC

62−

63−import Squeal.PostgreSQL.Alias

64−import Squeal.PostgreSQL.Definition

65−import Squeal.PostgreSQL.Definition.Table.Constraint

66−import Squeal.PostgreSQL.Expression

67−import Squeal.PostgreSQL.Expression.Type

68−import Squeal.PostgreSQL.List

69−import Squeal.PostgreSQL.Render

70−import Squeal.PostgreSQL.Schema

71−

72−-- $setup

73−-- >>> import Squeal.PostgreSQL

74−

75−{- | `createTable` adds a table to the schema.

76−

77−>>> :set -XOverloadedLabels

78−>>> :{

79−type Table = '[] :=>

80− '[ "a" ::: 'NoDef :=> 'Null 'PGint4

81− , "b" ::: 'NoDef :=> 'Null 'PGfloat4 ]

82−:}

83−

84−>>> :{

85−let

86− setup :: Definition (Public '[]) (Public '["tab" ::: 'Table Table])

87− setup = createTable #tab

88− (nullable int `as` #a :* nullable real `as` #b) Nil

89−in printSQL setup

90−:}

91−CREATE TABLE "tab" ("a" int NULL, "b" real NULL);

92−-}

93−createTable

94− :: ( KnownSymbol sch

95− , KnownSymbol tab

96− , columns ~ (col ': cols)

97− , SOP.SListI columns

98− , SOP.SListI constraints

99− , Has sch schemas0 schema0

100− , schemas1 ~ Alter sch (Create tab ('Table (constraints :=> columns)) schema0) schemas0 )

101− => QualifiedAlias sch tab -- ^ the name of the table to add

102− -> NP (Aliased (ColumnTypeExpression schemas0)) columns

103− -- ^ the names and datatype of each column

104− -> NP (Aliased (TableConstraintExpression sch tab schemas1)) constraints

105− -- ^ constraints that must hold for the table

106− -> Definition schemas0 schemas1

107−createTable tab columns constraints = UnsafeDefinition $

108− "CREATE TABLE" <+> renderCreation tab columns constraints

109−

110−{-| `createTableIfNotExists` creates a table if it doesn't exist, but does not add it to the schema.

111−Instead, the schema already has the table so if the table did not yet exist, the schema was wrong.

112−`createTableIfNotExists` fixes this. Interestingly, this property makes it an idempotent in

113−the `Category` of `Definition`s.

114−

115−>>> :set -XOverloadedLabels -XTypeApplications

116−>>> :{

117−type Table = '[] :=>

118− '[ "a" ::: 'NoDef :=> 'Null 'PGint4

119− , "b" ::: 'NoDef :=> 'Null 'PGfloat4 ]

120−:}

121−

122−>>> type Schemas = Public '["tab" ::: 'Table Table]

123−

124−>>> :{

125−let

126− setup :: Definition Schemas Schemas

127− setup = createTableIfNotExists #tab

128− (nullable int `as` #a :* nullable real `as` #b) Nil

129−in printSQL setup

130−:}

131−CREATE TABLE IF NOT EXISTS "tab" ("a" int NULL, "b" real NULL);

132−-}

133−createTableIfNotExists

134− :: ( KnownSymbol sch

135− , KnownSymbol tab

136− , columns ~ (col ': cols)

137− , SOP.SListI columns

138− , SOP.SListI constraints

139− , Has sch schemas0 schema0

140− , schemas1 ~ Alter sch (CreateIfNotExists tab ('Table (constraints :=> columns)) schema0) schemas0 )

141− => QualifiedAlias sch tab -- ^ the name of the table to add

142− -> NP (Aliased (ColumnTypeExpression schemas0)) columns

143− -- ^ the names and datatype of each column

144− -> NP (Aliased (TableConstraintExpression sch tab schemas1)) constraints

145− -- ^ constraints that must hold for the table

146− -> Definition schemas0 schemas1

147−createTableIfNotExists tab columns constraints = UnsafeDefinition $

148− "CREATE TABLE IF NOT EXISTS"

149− <+> renderCreation tab columns constraints

150−

151−-- helper function for `createTable` and `createTableIfNotExists`

152−renderCreation

153− :: ( KnownSymbol sch

154− , KnownSymbol tab

155− , SOP.SListI columns

156− , SOP.SListI constraints )

157− => QualifiedAlias sch tab -- ^ the name of the table to add

158− -> NP (Aliased (ColumnTypeExpression schemas0)) columns

159− -- ^ the names and datatype of each column

160− -> NP (Aliased (TableConstraintExpression sch tab schemas1)) constraints

161− -- ^ constraints that must hold for the table

162− -> ByteString

163−renderCreation tab columns constraints = renderSQL tab

164− <+> parenthesized

165− ( renderCommaSeparated renderColumnDef columns

166− <> ( case constraints of

167− Nil -> ""

168− _ -> ", " <>

169− renderCommaSeparated renderConstraint constraints ) )

170− <> ";"

171− where

172− renderColumnDef :: Aliased (ColumnTypeExpression schemas) x -> ByteString

173− renderColumnDef (ty `As` column) =

174− renderSQL column <+> renderColumnTypeExpression ty

175− renderConstraint

176− :: Aliased (TableConstraintExpression sch tab schemas) constraint

177− -> ByteString

178− renderConstraint (constraint `As` alias) =

179− "CONSTRAINT" <+> renderSQL alias <+> renderSQL constraint

180−

181−-- | `dropTable` removes a table from the schema.

182−--

183−-- >>> :{

184−-- let

185−-- definition :: Definition '["public" ::: '["muh_table" ::: 'Table t]] (Public '[])

186−-- definition = dropTable #muh_table

187−-- :}

188−--

189−-- >>> printSQL definition

190−-- DROP TABLE "muh_table";

191−dropTable

192− :: ( Has sch schemas schema

193− , KnownSymbol tab )

194− => QualifiedAlias sch tab -- ^ table to remove

195− -> Definition schemas (Alter sch (DropSchemum tab 'Table schema) schemas)

196−dropTable tab = UnsafeDefinition $ "DROP TABLE" <+> renderSQL tab <> ";"

197−

198−dropTableIfExists

199− :: ( Has sch schemas schema

200− , KnownSymbol tab)

201− => QualifiedAlias sch tab -- ^ table to remove

202− -> Definition schemas (Alter sch (DropSchemumIfExists tab 'Table schema) schemas)

203−dropTableIfExists tab = UnsafeDefinition $ "DROP TABLE IF EXISTS" <+> renderSQL tab <> ";"

204−

205−-- | `alterTable` changes the definition of a table from the schema.

206−alterTable

207− :: (Has sch schemas schema, KnownSymbol tab)

208− => QualifiedAlias sch tab -- ^ table to alter

209− -> AlterTable sch tab schemas table -- ^ alteration to perform

210− -> Definition schemas (Alter sch (Alter tab ('Table table) schema) schemas)

211−alterTable tab alteration = UnsafeDefinition $

212− "ALTER TABLE"

213− <+> renderSQL tab

214− <+> renderAlterTable alteration

215− <> ";"

216−

217−-- | `alterTable` changes the definition of a table from the schema.

218−alterTableIfExists

219− :: (Has sch schemas schema, KnownSymbol tab)

220− => QualifiedAlias sch tab -- ^ table to alter

221− -> AlterTable sch tab schemas table -- ^ alteration to perform

222− -> Definition schemas (Alter sch (AlterIfExists tab ('Table table) schema) schemas)

223−alterTableIfExists tab alteration = UnsafeDefinition $

224− "ALTER TABLE IF EXISTS"

225− <+> renderSQL tab

226− <+> renderAlterTable alteration

227− <> ";"

228−

229−-- | `alterTableRename` changes the name of a table from the schema.

230−--

231−-- >>> printSQL $ alterTableRename #foo #bar

232−-- ALTER TABLE "foo" RENAME TO "bar";

233−alterTableRename

234− :: (KnownSymbol tab0, KnownSymbol tab1)

235− => Alias tab0 -- ^ table to rename

236− -> Alias tab1 -- ^ what to rename it

237− -> Definition schema (Rename tab0 tab1 schema)

238−alterTableRename tab0 tab1 = UnsafeDefinition $

239− "ALTER TABLE" <+> renderSQL tab0

240− <+> "RENAME TO" <+> renderSQL tab1 <> ";"

241−

242−alterTableIfExistsRename

243− :: (KnownSymbol tab0, KnownSymbol tab1)

244− => Alias tab0 -- ^ table to rename

245− -> Alias tab1 -- ^ what to rename it

246− -> Definition schema (RenameIfExists tab0 tab1 schema)

247−alterTableIfExistsRename tab0 tab1 = UnsafeDefinition $

248− "ALTER TABLE IF EXISTS" <+> renderSQL tab0

249− <+> "RENAME TO" <+> renderSQL tab1 <> ";"

250−

251−-- | An `AlterTable` describes the alteration to perform on the columns

252−-- of a table.

253−newtype AlterTable

254− (sch :: Symbol)

255− (tab :: Symbol)

256− (schemas :: SchemasType)

257− (table :: TableType) =

258− UnsafeAlterTable {renderAlterTable :: ByteString}

259− deriving (GHC.Generic,Show,Eq,Ord,NFData)

260−

261−-- | An `addConstraint` adds a table constraint.

262−--

263−-- >>> :{

264−-- let

265−-- definition :: Definition

266−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

267−-- '["public" ::: '["tab" ::: 'Table ('["positive" ::: 'Check '["col"]] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

268−-- definition = alterTable #tab (addConstraint #positive (check #col (#col .> 0)))

269−-- in printSQL definition

270−-- :}

271−-- ALTER TABLE "tab" ADD CONSTRAINT "positive" CHECK (("col" > 0));

272−addConstraint

273− :: ( KnownSymbol alias

274− , Has sch schemas schema

275− , Has tab schema ('Table table0)

276− , table0 ~ (constraints :=> columns)

277− , table1 ~ (Create alias constraint constraints :=> columns) )

278− => Alias alias

279− -> TableConstraintExpression sch tab schemas constraint

280− -- ^ constraint to add

281− -> AlterTable sch tab schemas table1

282−addConstraint alias constraint = UnsafeAlterTable $

283− "ADD" <+> "CONSTRAINT" <+> renderSQL alias

284− <+> renderSQL constraint

285−

286−-- | A `dropConstraint` drops a table constraint.

287−--

288−-- >>> :{

289−-- let

290−-- definition :: Definition

291−-- '["public" ::: '["tab" ::: 'Table ('["positive" ::: Check '["col"]] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

292−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

293−-- definition = alterTable #tab (dropConstraint #positive)

294−-- in printSQL definition

295−-- :}

296−-- ALTER TABLE "tab" DROP CONSTRAINT "positive";

297−dropConstraint

298− :: ( KnownSymbol constraint

299− , Has sch schemas schema

300− , Has tab schema ('Table table0)

301− , table0 ~ (constraints :=> columns)

302− , table1 ~ (Drop constraint constraints :=> columns) )

303− => Alias constraint

304− -- ^ constraint to drop

305− -> AlterTable sch tab schemas table1

306−dropConstraint constraint = UnsafeAlterTable $

307− "DROP" <+> "CONSTRAINT" <+> renderSQL constraint

308−

309−-- | An `AddColumn` is either @NULL@ or has @DEFAULT@.

310−class AddColumn ty where

311− -- | `addColumn` adds a new column, initially filled with whatever

312− -- default value is given or with @NULL@.

313− --

314− -- >>> :{

315− -- let

316− -- definition :: Definition

317− -- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col1" ::: 'NoDef :=> 'Null 'PGint4])]]

318− -- '["public" ::: '["tab" ::: 'Table ('[] :=>

319− -- '[ "col1" ::: 'NoDef :=> 'Null 'PGint4

320− -- , "col2" ::: 'Def :=> 'Null 'PGtext ])]]

321− -- definition = alterTable #tab (addColumn #col2 (text & nullable & default_ "foo"))

322− -- in printSQL definition

323− -- :}

324− -- ALTER TABLE "tab" ADD COLUMN "col2" text NULL DEFAULT E'foo';

325− --

326− -- >>> :{

327− -- let

328− -- definition :: Definition

329− -- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col1" ::: 'NoDef :=> 'Null 'PGint4])]]

330− -- '["public" ::: '["tab" ::: 'Table ('[] :=>

331− -- '[ "col1" ::: 'NoDef :=> 'Null 'PGint4

332− -- , "col2" ::: 'NoDef :=> 'Null 'PGtext ])]]

333− -- definition = alterTable #tab (addColumn #col2 (text & nullable))

334− -- in printSQL definition

335− -- :}

336− -- ALTER TABLE "tab" ADD COLUMN "col2" text NULL;

337− addColumn

338− :: ( KnownSymbol column

339− , Has sch schemas schema

340− , Has tab schema ('Table table0)

341− , table0 ~ (constraints :=> columns) )

342− => Alias column -- ^ column to add

343− -> ColumnTypeExpression schemas ty -- ^ type of the new column

344− -> AlterTable sch tab schemas (constraints :=> Create column ty columns)

345− addColumn column ty = UnsafeAlterTable $

346− "ADD COLUMN" <+> renderSQL column <+> renderColumnTypeExpression ty

347−instance {-# OVERLAPPING #-} AddColumn ('Def :=> ty)

348−instance {-# OVERLAPPABLE #-} AddColumn ('NoDef :=> 'Null ty)

349−

350−-- | A `dropColumn` removes a column. Whatever data was in the column

351−-- disappears. Table constraints involving the column are dropped, too.

352−-- However, if the column is referenced by a foreign key constraint of

353−-- another table, PostgreSQL will not silently drop that constraint.

354−--

355−-- >>> :{

356−-- let

357−-- definition :: Definition

358−-- '["public" ::: '["tab" ::: 'Table ('[] :=>

359−-- '[ "col1" ::: 'NoDef :=> 'Null 'PGint4

360−-- , "col2" ::: 'NoDef :=> 'Null 'PGtext ])]]

361−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col1" ::: 'NoDef :=> 'Null 'PGint4])]]

362−-- definition = alterTable #tab (dropColumn #col2)

363−-- in printSQL definition

364−-- :}

365−-- ALTER TABLE "tab" DROP COLUMN "col2";

366−dropColumn

367− :: ( KnownSymbol column

368− , Has sch schemas schema

369− , Has tab schema ('Table table0)

370− , table0 ~ (constraints :=> columns)

371− , table1 ~ (constraints :=> Drop column columns) )

372− => Alias column -- ^ column to remove

373− -> AlterTable sch tab schemas table1

374−dropColumn column = UnsafeAlterTable $

375− "DROP COLUMN" <+> renderSQL column

376−

377−-- | A `renameColumn` renames a column.

378−--

379−-- >>> :{

380−-- let

381−-- definition :: Definition

382−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["foo" ::: 'NoDef :=> 'Null 'PGint4])]]

383−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["bar" ::: 'NoDef :=> 'Null 'PGint4])]]

384−-- definition = alterTable #tab (renameColumn #foo #bar)

385−-- in printSQL definition

386−-- :}

387−-- ALTER TABLE "tab" RENAME COLUMN "foo" TO "bar";

388−renameColumn

389− :: ( KnownSymbol column0

390− , KnownSymbol column1

391− , Has sch schemas schema

392− , Has tab schema ('Table table0)

393− , table0 ~ (constraints :=> columns)

394− , table1 ~ (constraints :=> Rename column0 column1 columns) )

395− => Alias column0 -- ^ column to rename

396− -> Alias column1 -- ^ what to rename the column

397− -> AlterTable sch tab schemas table1

398−renameColumn column0 column1 = UnsafeAlterTable $

399− "RENAME COLUMN" <+> renderSQL column0 <+> "TO" <+> renderSQL column1

400−

401−-- | An `alterColumn` alters a single column.

402−alterColumn

403− :: ( KnownSymbol column

404− , Has sch schemas schema

405− , Has tab schema ('Table table0)

406− , table0 ~ (constraints :=> columns)

407− , Has column columns ty0

408− , table1 ~ (constraints :=> Alter column ty1 columns))

409− => Alias column -- ^ column to alter

410− -> AlterColumn schemas ty0 ty1 -- ^ alteration to perform

411− -> AlterTable sch tab schemas table1

412−alterColumn column alteration = UnsafeAlterTable $

413− "ALTER COLUMN" <+> renderSQL column <+> renderAlterColumn alteration

414−

415−-- | An `AlterColumn` describes the alteration to perform on a single column.

416−newtype AlterColumn (schemas :: SchemasType) (ty0 :: ColumnType) (ty1 :: ColumnType) =

417− UnsafeAlterColumn {renderAlterColumn :: ByteString}

418− deriving (GHC.Generic,Show,Eq,Ord,NFData)

419−

420−-- | A `setDefault` sets a new default for a column. Note that this doesn't

421−-- affect any existing rows in the table, it just changes the default for

422−-- future insert and update commands.

423−--

424−-- >>> :{

425−-- let

426−-- definition :: Definition

427−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'Null 'PGint4])]]

428−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'Def :=> 'Null 'PGint4])]]

429−-- definition = alterTable #tab (alterColumn #col (setDefault 5))

430−-- in printSQL definition

431−-- :}

432−-- ALTER TABLE "tab" ALTER COLUMN "col" SET DEFAULT 5;

433−setDefault

434− :: Expression '[] '[] 'Ungrouped schemas '[] '[] ty -- ^ default value to set

435− -> AlterColumn schemas (constraint :=> ty) ('Def :=> ty)

436−setDefault expression = UnsafeAlterColumn $

437− "SET DEFAULT" <+> renderExpression expression

438−

439−-- | A `dropDefault` removes any default value for a column.

440−--

441−-- >>> :{

442−-- let

443−-- definition :: Definition

444−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'Def :=> 'Null 'PGint4])]]

445−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'Null 'PGint4])]]

446−-- definition = alterTable #tab (alterColumn #col dropDefault)

447−-- in printSQL definition

448−-- :}

449−-- ALTER TABLE "tab" ALTER COLUMN "col" DROP DEFAULT;

450−dropDefault :: AlterColumn schemas ('Def :=> ty) ('NoDef :=> ty)

451−dropDefault = UnsafeAlterColumn $ "DROP DEFAULT"

452−

453−-- | A `setNotNull` adds a @NOT NULL@ constraint to a column.

454−-- The constraint will be checked immediately, so the table data must satisfy

455−-- the constraint before it can be added.

456−--

457−-- >>> :{

458−-- let

459−-- definition :: Definition

460−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'Null 'PGint4])]]

461−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

462−-- definition = alterTable #tab (alterColumn #col setNotNull)

463−-- in printSQL definition

464−-- :}

465−-- ALTER TABLE "tab" ALTER COLUMN "col" SET NOT NULL;

466−setNotNull

467− :: AlterColumn schemas (constraint :=> 'Null ty) (constraint :=> 'NotNull ty)

468−setNotNull = UnsafeAlterColumn $ "SET NOT NULL"

469−

470−-- | A `dropNotNull` drops a @NOT NULL@ constraint from a column.

471−--

472−-- >>> :{

473−-- let

474−-- definition :: Definition

475−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

476−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'Null 'PGint4])]]

477−-- definition = alterTable #tab (alterColumn #col dropNotNull)

478−-- in printSQL definition

479−-- :}

480−-- ALTER TABLE "tab" ALTER COLUMN "col" DROP NOT NULL;

481−dropNotNull

482− :: AlterColumn schemas (constraint :=> 'NotNull ty) (constraint :=> 'Null ty)

483−dropNotNull = UnsafeAlterColumn $ "DROP NOT NULL"

484−

485−-- | An `alterType` converts a column to a different data type.

486−-- This will succeed only if each existing entry in the column can be

487−-- converted to the new type by an implicit cast.

488−--

489−-- >>> :{

490−-- let

491−-- definition :: Definition

492−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4])]]

493−-- '["public" ::: '["tab" ::: 'Table ('[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGnumeric])]]

494−-- definition =

495−-- alterTable #tab (alterColumn #col (alterType (numeric & notNullable)))

496−-- in printSQL definition

497−-- :}

498−-- ALTER TABLE "tab" ALTER COLUMN "col" TYPE numeric NOT NULL;

499−alterType :: ColumnTypeExpression schemas ty -> AlterColumn schemas ty0 ty

500−alterType ty = UnsafeAlterColumn $ "TYPE" <+> renderColumnTypeExpression ty

squeal-postgresql/src/Squeal/PostgreSQL/Definition/Table/Constraint.hsdeleted−339

@@ -1,339 +0,0 @@

1−{-|

2−Module: Squeal.PostgreSQL.Definition.Table.Constraint

3−Description: Table constraint expressions

4−Copyright: (c) Eitan Chatav, 2017

5−Maintainer: eitan@morphism.tech

6−Stability: experimental

7−

8−Table constraint expressions.

9−-}

10−

11−{-# LANGUAGE

12− AllowAmbiguousTypes

13− , ConstraintKinds

14− , DeriveAnyClass

15− , DeriveGeneric

16− , DerivingStrategies

17− , FlexibleContexts

18− , FlexibleInstances

19− , GADTs

20− , LambdaCase

21− , MultiParamTypeClasses

22− , OverloadedLabels

23− , OverloadedStrings

24− , RankNTypes

25− , ScopedTypeVariables

26− , TypeApplications

27− , TypeInType

28− , TypeOperators

29− , UndecidableSuperClasses

30−#-}

31−

32−module Squeal.PostgreSQL.Definition.Table.Constraint

33− ( TableConstraintExpression (..)

34− , check

35− , unique

36− , primaryKey

37− , foreignKey

38− , ForeignKeyed

39− , OnDeleteClause (..)

40− , OnUpdateClause (..)

41− ) where

42−

43−import Control.DeepSeq

44−import Data.ByteString

45−import GHC.TypeLits

46−

47−import qualified Generics.SOP as SOP

48−import qualified GHC.Generics as GHC

49−

50−import Squeal.PostgreSQL.Alias

51−import Squeal.PostgreSQL.Expression.Logic

52−import Squeal.PostgreSQL.List

53−import Squeal.PostgreSQL.Render

54−import Squeal.PostgreSQL.Schema

55−

56−-- $setup

57−-- >>> import Squeal.PostgreSQL

58−

59−-- | Data types are a way to limit the kind of data that can be stored in a

60−-- table. For many applications, however, the constraint they provide is

61−-- too coarse. For example, a column containing a product price should

62−-- probably only accept positive values. But there is no standard data type

63−-- that accepts only positive numbers. Another issue is that you might want

64−-- to constrain column data with respect to other columns or rows.

65−-- For example, in a table containing product information,

66−-- there should be only one row for each product number.

67−-- `TableConstraint`s give you as much control over the data in your tables

68−-- as you wish. If a user attempts to store data in a column that would

69−-- violate a constraint, an error is raised. This applies

70−-- even if the value came from the default value definition.

71−newtype TableConstraintExpression

72− (sch :: Symbol)

73− (tab :: Symbol)

74− (schemas :: SchemasType)

75− (constraint :: TableConstraint)

76− = UnsafeTableConstraintExpression

77− { renderTableConstraintExpression :: ByteString }

78− deriving (GHC.Generic,Show,Eq,Ord,NFData)

79−instance RenderSQL

80− (TableConstraintExpression sch tab schemas constraint) where

81− renderSQL = renderTableConstraintExpression

82−

83−{-| A `check` constraint is the most generic `TableConstraint` type.

84−It allows you to specify that the value in a certain column must satisfy

85−a Boolean (truth-value) expression.

86−

87−>>> :{

88−type Schema = '[

89− "tab" ::: 'Table ('[ "inequality" ::: 'Check '["a","b"]] :=> '[

90− "a" ::: 'NoDef :=> 'NotNull 'PGint4,

91− "b" ::: 'NoDef :=> 'NotNull 'PGint4

92− ])]

93−:}

94−

95−>>> :{

96−let

97− definition :: Definition (Public '[]) (Public Schema)

98− definition = createTable #tab

99− ( (int & notNullable) `as` #a :*

100− (int & notNullable) `as` #b )

101− ( check (#a :* #b) (#a .> #b) `as` #inequality )

102−:}

103−

104−>>> printSQL definition

105−CREATE TABLE "tab" ("a" int NOT NULL, "b" int NOT NULL, CONSTRAINT "inequality" CHECK (("a" > "b")));

106−-}

107−check

108− :: ( Has sch schemas schema

109− , Has tab schema ('Table table)

110− , HasAll aliases (TableToRow table) subcolumns )

111− => NP Alias aliases

112− -- ^ specify the subcolumns which are getting checked

113− -> (forall t. Condition '[] '[] 'Ungrouped schemas '[] '[t ::: subcolumns])

114− -- ^ a closed `Condition` on those subcolumns

115− -> TableConstraintExpression sch tab schemas ('Check aliases)

116−check _cols condition = UnsafeTableConstraintExpression $

117− "CHECK" <+> parenthesized (renderSQL condition)

118−

119−{-| A `unique` constraint ensure that the data contained in a column,

120−or a group of columns, is unique among all the rows in the table.

121−

122−>>> :{

123−type Schema = '[

124− "tab" ::: 'Table( '[ "uq_a_b" ::: 'Unique '["a","b"]] :=> '[

125− "a" ::: 'NoDef :=> 'Null 'PGint4,

126− "b" ::: 'NoDef :=> 'Null 'PGint4

127− ])]

128−:}

129−

130−>>> :{

131−let

132− definition :: Definition (Public '[]) (Public Schema)

133− definition = createTable #tab

134− ( (int & nullable) `as` #a :*

135− (int & nullable) `as` #b )

136− ( unique (#a :* #b) `as` #uq_a_b )

137−:}

138−

139−>>> printSQL definition

140−CREATE TABLE "tab" ("a" int NULL, "b" int NULL, CONSTRAINT "uq_a_b" UNIQUE ("a", "b"));

141−-}

142−unique

143− :: ( Has sch schemas schema

144− , Has tab schema('Table table)

145− , HasAll aliases (TableToRow table) subcolumns )

146− => NP Alias aliases

147− -- ^ specify subcolumns which together are unique for each row

148− -> TableConstraintExpression sch tab schemas ('Unique aliases)

149−unique columns = UnsafeTableConstraintExpression $

150− "UNIQUE" <+> parenthesized (renderSQL columns)

151−

152−{-| A `primaryKey` constraint indicates that a column, or group of columns,

153−can be used as a unique identifier for rows in the table.

154−This requires that the values be both unique and not null.

155−

156−>>> :{

157−type Schema = '[

158− "tab" ::: 'Table ('[ "pk_id" ::: 'PrimaryKey '["id"]] :=> '[

159− "id" ::: 'Def :=> 'NotNull 'PGint4,

160− "name" ::: 'NoDef :=> 'NotNull 'PGtext

161− ])]

162−:}

163−

164−>>> :{

165−let

166− definition :: Definition (Public '[]) (Public Schema)

167− definition = createTable #tab

168− ( serial `as` #id :*

169− (text & notNullable) `as` #name )

170− ( primaryKey #id `as` #pk_id )

171−:}

172−

173−>>> printSQL definition

174−CREATE TABLE "tab" ("id" serial, "name" text NOT NULL, CONSTRAINT "pk_id" PRIMARY KEY ("id"));

175−-}

176−primaryKey

177− :: ( Has sch schemas schema

178− , Has tab schema ('Table table)

179− , HasAll aliases (TableToColumns table) subcolumns

180− , AllNotNull subcolumns )

181− => NP Alias aliases

182− -- ^ specify the subcolumns which together form a primary key.

183− -> TableConstraintExpression sch tab schemas ('PrimaryKey aliases)

184−primaryKey columns = UnsafeTableConstraintExpression $

185− "PRIMARY KEY" <+> parenthesized (renderSQL columns)

186−

187−{-| A `foreignKey` specifies that the values in a column

188−(or a group of columns) must match the values appearing in some row of

189−another table. We say this maintains the referential integrity

190−between two related tables.

191−

192−>>> :{

193−type Schema =

194− '[ "users" ::: 'Table (

195− '[ "pk_users" ::: 'PrimaryKey '["id"] ] :=>

196− '[ "id" ::: 'Def :=> 'NotNull 'PGint4

197− , "name" ::: 'NoDef :=> 'NotNull 'PGtext

198− ])

199− , "emails" ::: 'Table (

200− '[ "pk_emails" ::: 'PrimaryKey '["id"]

201− , "fk_user_id" ::: 'ForeignKey '["user_id"] "users" '["id"]

202− ] :=>

203− '[ "id" ::: 'Def :=> 'NotNull 'PGint4

204− , "user_id" ::: 'NoDef :=> 'NotNull 'PGint4

205− , "email" ::: 'NoDef :=> 'Null 'PGtext

206− ])

207− ]

208−:}

209−

210−>>> :{

211−let

212− setup :: Definition (Public '[]) (Public Schema)

213− setup =

214− createTable #users

215− ( serial `as` #id :*

216− (text & notNullable) `as` #name )

217− ( primaryKey #id `as` #pk_users ) >>>

218− createTable #emails

219− ( serial `as` #id :*

220− (int & notNullable) `as` #user_id :*

221− (text & nullable) `as` #email )

222− ( primaryKey #id `as` #pk_emails :*

223− foreignKey #user_id #users #id

224− OnDeleteCascade OnUpdateCascade `as` #fk_user_id )

225−in printSQL setup

226−:}

227−CREATE TABLE "users" ("id" serial, "name" text NOT NULL, CONSTRAINT "pk_users" PRIMARY KEY ("id"));

228−CREATE TABLE "emails" ("id" serial, "user_id" int NOT NULL, "email" text NULL, CONSTRAINT "pk_emails" PRIMARY KEY ("id"), CONSTRAINT "fk_user_id" FOREIGN KEY ("user_id") REFERENCES "users" ("id") ON DELETE CASCADE ON UPDATE CASCADE);

229−

230−A `foreignKey` can even be a table self-reference.

231−

232−>>> :{

233−type Schema =

234− '[ "employees" ::: 'Table (

235− '[ "employees_pk" ::: 'PrimaryKey '["id"]

236− , "employees_employer_fk" ::: 'ForeignKey '["employer_id"] "employees" '["id"]

237− ] :=>

238− '[ "id" ::: 'Def :=> 'NotNull 'PGint4

239− , "name" ::: 'NoDef :=> 'NotNull 'PGtext

240− , "employer_id" ::: 'NoDef :=> 'Null 'PGint4

241− ])

242− ]

243−:}

244−

245−>>> :{

246−let

247− setup :: Definition (Public '[]) (Public Schema)

248− setup =

249− createTable #employees

250− ( serial `as` #id :*

251− (text & notNullable) `as` #name :*

252− (integer & nullable) `as` #employer_id )

253− ( primaryKey #id `as` #employees_pk :*

254− foreignKey #employer_id #employees #id

255− OnDeleteCascade OnUpdateCascade `as` #employees_employer_fk )

256−in printSQL setup

257−:}

258−CREATE TABLE "employees" ("id" serial, "name" text NOT NULL, "employer_id" integer NULL, CONSTRAINT "employees_pk" PRIMARY KEY ("id"), CONSTRAINT "employees_employer_fk" FOREIGN KEY ("employer_id") REFERENCES "employees" ("id") ON DELETE CASCADE ON UPDATE CASCADE);

259−-}

260−foreignKey

261− :: (ForeignKeyed schemas sch schema child parent

262− table reftable

263− columns refcolumns

264− constraints cols

265− reftys tys )

266− => NP Alias columns

267− -- ^ column or columns in the table

268− -> Alias parent

269− -- ^ reference table

270− -> NP Alias refcolumns

271− -- ^ reference column or columns in the reference table

272− -> OnDeleteClause

273− -- ^ what to do when reference is deleted

274− -> OnUpdateClause

275− -- ^ what to do when reference is updated

276− -> TableConstraintExpression sch child schemas

277− ('ForeignKey columns parent refcolumns)

278−foreignKey keys parent refs ondel onupd = UnsafeTableConstraintExpression $

279− "FOREIGN KEY" <+> parenthesized (renderSQL keys)

280− <+> "REFERENCES" <+> renderSQL parent

281− <+> parenthesized (renderSQL refs)

282− <+> renderSQL ondel

283− <+> renderSQL onupd

284−

285−-- | A constraint synonym between types involved in a foreign key constraint.

286−type ForeignKeyed schemas

287− sch

288− schema

289− child parent

290− table reftable

291− columns refcolumns

292− constraints cols

293− reftys tys =

294− ( Has sch schemas schema

295− , Has child schema ('Table table)

296− , Has parent schema ('Table reftable)

297− , HasAll columns (TableToColumns table) tys

298− , reftable ~ (constraints :=> cols)

299− , HasAll refcolumns cols reftys

300− , SOP.AllZip SamePGType tys reftys

301− , Uniquely refcolumns constraints )

302−

303−-- | `OnDeleteClause` indicates what to do with rows that reference a deleted row.

304−data OnDeleteClause

305− = OnDeleteNoAction

306− -- ^ if any referencing rows still exist when the constraint is checked,

307− -- an error is raised

308− | OnDeleteRestrict -- ^ prevents deletion of a referenced row

309− | OnDeleteCascade

310− -- ^ specifies that when a referenced row is deleted,

311− -- row(s) referencing it should be automatically deleted as well

312− deriving (GHC.Generic,Show,Eq,Ord)

313−instance NFData OnDeleteClause

314−-- | Render `OnDeleteClause`.

315−instance RenderSQL OnDeleteClause where

316− renderSQL = \case

317− OnDeleteNoAction -> "ON DELETE NO ACTION"

318− OnDeleteRestrict -> "ON DELETE RESTRICT"

319− OnDeleteCascade -> "ON DELETE CASCADE"

320−

321−-- | Analagous to `OnDeleteClause` there is also `OnUpdateClause` which is invoked

322−-- when a referenced column is changed (updated).

323−data OnUpdateClause

324− = OnUpdateNoAction

325− -- ^ if any referencing rows has not changed when the constraint is checked,

326− -- an error is raised

327− | OnUpdateRestrict -- ^ prevents update of a referenced row

328− | OnUpdateCascade

329− -- ^ the updated values of the referenced column(s) should be copied

330− -- into the referencing row(s)

331− deriving (GHC.Generic,Show,Eq,Ord)

332−instance NFData OnUpdateClause

333−

334−-- | Render `OnUpdateClause`.

335−instance RenderSQL OnUpdateClause where

336− renderSQL = \case

337− OnUpdateNoAction -> "ON UPDATE NO ACTION"

338− OnUpdateRestrict -> "ON UPDATE RESTRICT"

339− OnUpdateCascade -> "ON UPDATE CASCADE"

squeal-postgresql/src/Squeal/PostgreSQL/Definition/Type.hsdeleted−229

@@ -1,229 +0,0 @@

1−{-|

2−Module: Squeal.PostgreSQL.Definition.Type

3−Description: Create and drop type definitions

4−Copyright: (c) Eitan Chatav, 2017

5−Maintainer: eitan@morphism.tech

6−Stability: experimental

7−

8−Create and drop type definitions.

9−-}

10−

11−{-# LANGUAGE

12− AllowAmbiguousTypes

13− , ConstraintKinds

14− , DeriveAnyClass

15− , DeriveGeneric

16− , DerivingStrategies

17− , FlexibleContexts

18− , FlexibleInstances

19− , GADTs

20− , LambdaCase

21− , MultiParamTypeClasses

22− , OverloadedLabels

23− , OverloadedStrings

24− , RankNTypes

25− , ScopedTypeVariables

26− , TypeApplications

27− , TypeInType

28− , TypeOperators

29− , UndecidableSuperClasses

30−#-}

31−

32−module Squeal.PostgreSQL.Definition.Type

33− ( createTypeEnum

34− , createTypeEnumFrom

35− , createTypeComposite

36− , createTypeCompositeFrom

37− , createTypeRange

38− , createDomain

39− , dropType

40− , dropTypeIfExists

41− ) where

42−

43−import Data.ByteString

44−import Data.Monoid

45−import GHC.TypeLits

46−import Prelude hiding ((.), id)

47−

48−import qualified Generics.SOP as SOP

49−

50−import Squeal.PostgreSQL.Alias

51−import Squeal.PostgreSQL.Expression.Logic

52−import Squeal.PostgreSQL.Expression.Type

53−import Squeal.PostgreSQL.Definition

54−import Squeal.PostgreSQL.List

55−import Squeal.PostgreSQL.PG

56−import Squeal.PostgreSQL.Render

57−import Squeal.PostgreSQL.Schema

58−

59−-- $setup

60−-- >>> import Squeal.PostgreSQL

61−-- >>> import qualified GHC.Generics as GHC

62−-- >>> import qualified Generics.SOP as SOP

63−

64−-- | Enumerated types are created using the `createTypeEnum` command, for example

65−--

66−-- >>> printSQL $ (createTypeEnum #mood (label @"sad" :* label @"ok" :* label @"happy") :: Definition (Public '[]) '["public" ::: '["mood" ::: 'Typedef ('PGenum '["sad","ok","happy"])]])

67−-- CREATE TYPE "mood" AS ENUM ('sad', 'ok', 'happy');

68−createTypeEnum

69− :: (KnownSymbol enum, Has sch schemas schema, SOP.All KnownSymbol labels)

70− => QualifiedAlias sch enum

71− -- ^ name of the user defined enumerated type

72− -> NP PGlabel labels

73− -- ^ labels of the enumerated type

74− -> Definition schemas (Alter sch (Create enum ('Typedef ('PGenum labels)) schema) schemas)

75−createTypeEnum enum labels = UnsafeDefinition $

76− "CREATE" <+> "TYPE" <+> renderSQL enum <+> "AS" <+> "ENUM" <+>

77− parenthesized (renderSQL labels) <> ";"

78−

79−-- | Enumerated types can also be generated from a Haskell type, for example

80−--

81−-- >>> data Schwarma = Beef | Lamb | Chicken deriving GHC.Generic

82−-- >>> instance SOP.Generic Schwarma

83−-- >>> instance SOP.HasDatatypeInfo Schwarma

84−-- >>> :{

85−-- let

86−-- createSchwarma :: Definition (Public '[]) '["public" ::: '["schwarma" ::: 'Typedef (PG (Enumerated Schwarma))]]

87−-- createSchwarma = createTypeEnumFrom @Schwarma #schwarma

88−-- in

89−-- printSQL createSchwarma

90−-- :}

91−-- CREATE TYPE "schwarma" AS ENUM ('Beef', 'Lamb', 'Chicken');

92−createTypeEnumFrom

93− :: forall hask sch enum schemas schema.

94− ( SOP.Generic hask

95− , SOP.All KnownSymbol (LabelsPG hask)

96− , KnownSymbol enum

97− , Has sch schemas schema )

98− => QualifiedAlias sch enum

99− -- ^ name of the user defined enumerated type

100− -> Definition schemas (Alter sch (Create enum ('Typedef (PG (Enumerated hask))) schema) schemas)

101−createTypeEnumFrom enum = createTypeEnum enum

102− (SOP.hpure label :: NP PGlabel (LabelsPG hask))

103−

104−{- | `createTypeComposite` creates a composite type. The composite type is

105−specified by a list of attribute names and data types.

106−

107−>>> :{

108−type PGcomplex = 'PGcomposite

109− '[ "real" ::: 'NotNull 'PGfloat8

110− , "imaginary" ::: 'NotNull 'PGfloat8 ]

111−:}

112−

113−>>> :{

114−let

115− setup :: Definition (Public '[]) '["public" ::: '["complex" ::: 'Typedef PGcomplex]]

116− setup = createTypeComposite #complex

117− (float8 `as` #real :* float8 `as` #imaginary)

118−in printSQL setup

119−:}

120−CREATE TYPE "complex" AS ("real" float8, "imaginary" float8);

121−-}

122−createTypeComposite

123− :: (KnownSymbol ty, Has sch schemas schema, SOP.SListI fields)

124− => QualifiedAlias sch ty

125− -- ^ name of the user defined composite type

126− -> NP (Aliased (TypeExpression schemas)) fields

127− -- ^ list of attribute names and data types

128− -> Definition schemas (Alter sch (Create ty ('Typedef ('PGcomposite fields)) schema) schemas)

129−createTypeComposite ty fields = UnsafeDefinition $

130− "CREATE" <+> "TYPE" <+> renderSQL ty <+> "AS" <+> parenthesized

131− (renderCommaSeparated renderField fields) <> ";"

132− where

133− renderField :: Aliased (TypeExpression schemas) x -> ByteString

134− renderField (typ `As` alias) =

135− renderSQL alias <+> renderSQL typ

136−

137−-- | Composite types can also be generated from a Haskell type, for example

138−--

139−-- >>> data Complex = Complex {real :: Double, imaginary :: Double} deriving GHC.Generic

140−-- >>> instance SOP.Generic Complex

141−-- >>> instance SOP.HasDatatypeInfo Complex

142−-- >>> type Schema = '["complex" ::: 'Typedef (PG (Composite Complex))]

143−-- >>> :{

144−-- let

145−-- createComplex :: Definition (Public '[]) (Public Schema)

146−-- createComplex = createTypeCompositeFrom @Complex #complex

147−-- in

148−-- printSQL createComplex

149−-- :}

150−-- CREATE TYPE "complex" AS ("real" float8, "imaginary" float8);

151−createTypeCompositeFrom

152− :: forall hask sch ty schemas schema.

153− ( SOP.All (FieldTyped schemas) (RowPG hask)

154− , KnownSymbol ty

155− , Has sch schemas schema )

156− => QualifiedAlias sch ty

157− -- ^ name of the user defined composite type

158− -> Definition schemas (Alter sch (Create ty ( 'Typedef (PG (Composite hask))) schema) schemas)

159−createTypeCompositeFrom ty = createTypeComposite ty

160− (SOP.hcpure (SOP.Proxy :: SOP.Proxy (FieldTyped schemas)) fieldtype

161− :: NP (Aliased (TypeExpression schemas)) (RowPG hask))

162−

163−{-|

164−`createDomain` creates a new domain. A domain is essentially a data type

165−with constraints (restrictions on the allowed set of values).

166−

167−Domains are useful for abstracting common constraints on fields

168−into a single location for maintenance. For example, several tables might

169−contain email address columns, all requiring the same `check` constraint

170−to verify the address syntax. Define a domain rather than setting up

171−each table's constraint individually.

172−

173−>>> :{

174−let

175− createPositive :: Definition (Public '[]) (Public '["positive" ::: 'Typedef 'PGfloat4])

176− createPositive = createDomain #positive real (#value .> 0 .&& (#value & isNotNull))

177−in printSQL createPositive

178−:}

179−CREATE DOMAIN "positive" AS real CHECK ((("value" > 0) AND "value" IS NOT NULL));

180−-}

181−createDomain

182− :: (Has sch schemas schema, KnownSymbol dom)

183− => QualifiedAlias sch dom

184− -> (forall null. TypeExpression schemas (null ty))

185− -> (forall tab. Condition '[] '[] 'Ungrouped schemas '[] '[tab ::: '["value" ::: 'Null ty]])

186− -> Definition schemas (Alter sch (Create dom ('Typedef ty) schema) schemas)

187−createDomain dom ty condition =

188− UnsafeDefinition $ "CREATE DOMAIN" <+> renderSQL dom

189− <+> "AS" <+> renderTypeExpression ty

190− <+> "CHECK" <+> parenthesized (renderSQL condition) <> ";"

191−

192−{- |

193−>>> :{

194−let

195− createSmallIntRange :: Definition (Public '[]) (Public '["int2range" ::: 'Typedef ('PGrange 'PGint2)])

196− createSmallIntRange = createTypeRange #int2range int2

197−in printSQL createSmallIntRange

198−:}

199−CREATE TYPE "int2range" AS RANGE (subtype = int2);

200−-}

201−createTypeRange

202− :: (Has sch schemas schema, KnownSymbol range)

203− => QualifiedAlias sch range

204− -> (forall null. TypeExpression schemas (null ty))

205− -> Definition schemas (Alter sch (Create range ('Typedef ('PGrange ty)) schema) schemas)

206−createTypeRange range ty = UnsafeDefinition $

207− "CREATE" <+> "TYPE" <+> renderSQL range <+> "AS" <+> "RANGE" <+>

208− parenthesized ("subtype" <+> "=" <+> renderTypeExpression ty) <> ";"

209−

210−-- | Drop a type.

211−--

212−-- >>> data Schwarma = Beef | Lamb | Chicken deriving GHC.Generic

213−-- >>> instance SOP.Generic Schwarma

214−-- >>> instance SOP.HasDatatypeInfo Schwarma

215−-- >>> printSQL (dropType #schwarma :: Definition '["public" ::: '["schwarma" ::: 'Typedef (PG (Enumerated Schwarma))]] (Public '[]))

216−-- DROP TYPE "schwarma";

217−dropType

218− :: (Has sch schemas schema, KnownSymbol td)

219− => QualifiedAlias sch td

220− -- ^ name of the user defined type

221− -> Definition schemas (Alter sch (DropSchemum td 'Typedef schema) schemas)

222−dropType tydef = UnsafeDefinition $ "DROP" <+> "TYPE" <+> renderSQL tydef <> ";"

223−

224−dropTypeIfExists

225− :: (Has sch schemas schema, KnownSymbol td)

226− => QualifiedAlias sch td

227− -- ^ name of the user defined type

228− -> Definition schemas (Alter sch (DropSchemumIfExists td 'Typedef schema) schemas)

229−dropTypeIfExists tydef = UnsafeDefinition $ "DROP" <+> "TYPE" <+> renderSQL tydef <> ";"

squeal-postgresql/src/Squeal/PostgreSQL/Definition/View.hsdeleted−104

@@ -1,104 +0,0 @@

1−{-|

2−Module: Squeal.PostgreSQL.Definition.View

3−Description: Create and drop view definitions

4−Copyright: (c) Eitan Chatav, 2017

5−Maintainer: eitan@morphism.tech

6−Stability: experimental

7−

8−Create and drop view definitions.

9−-}

10−

11−{-# LANGUAGE

12− AllowAmbiguousTypes

13− , ConstraintKinds

14− , DeriveAnyClass

15− , DeriveGeneric

16− , DerivingStrategies

17− , FlexibleContexts

18− , FlexibleInstances

19− , GADTs

20− , LambdaCase

21− , MultiParamTypeClasses

22− , OverloadedLabels

23− , OverloadedStrings

24− , RankNTypes

25− , ScopedTypeVariables

26− , TypeApplications

27− , TypeInType

28− , TypeOperators

29− , UndecidableSuperClasses

30−#-}

31−

32−module Squeal.PostgreSQL.Definition.View

33− ( createView

34− , createOrReplaceView

35− , dropView

36− , dropViewIfExists

37− ) where

38−

39−import GHC.TypeLits

40−

41−import Squeal.PostgreSQL.Alias

42−import Squeal.PostgreSQL.Definition

43−import Squeal.PostgreSQL.Query

44−import Squeal.PostgreSQL.Render

45−import Squeal.PostgreSQL.Schema

46−

47−-- $setup

48−-- >>> import Squeal.PostgreSQL

49−

50−{- | Create a view.

51−>>> type ABC = '["a" ::: 'NoDef :=> 'Null 'PGint4, "b" ::: 'NoDef :=> 'Null 'PGint4, "c" ::: 'NoDef :=> 'Null 'PGint4]

52−>>> type BC = '["b" ::: 'Null 'PGint4, "c" ::: 'Null 'PGint4]

53−>>> :{

54−let

55− definition :: Definition

56− '[ "public" ::: '["abc" ::: 'Table ('[] :=> ABC)]]

57− '[ "public" ::: '["abc" ::: 'Table ('[] :=> ABC), "bc" ::: 'View BC]]

58− definition =

59− createView #bc (select_ (#b :* #c) (from (table #abc)))

60−in printSQL definition

61−:}

62−CREATE VIEW "bc" AS SELECT "b" AS "b", "c" AS "c" FROM "abc" AS "abc";

63−-}

64−createView

65− :: (Has sch schemas schema, KnownSymbol vw)

66− => QualifiedAlias sch vw -- ^ the name of the view to add

67− -> Query '[] '[] schemas '[] view -- ^ query

68− -> Definition schemas (Alter sch (Create vw ('View view) schema) schemas)

69−createView alias query = UnsafeDefinition $

70− "CREATE" <+> "VIEW" <+> renderSQL alias <+> "AS"

71− <+> renderQuery query <> ";"

72−

73−createOrReplaceView

74− :: (Has sch schemas schema, KnownSymbol vw)

75− => QualifiedAlias sch vw -- ^ the name of the view to add

76− -> Query '[] '[] schemas '[] view -- ^ query

77− -> Definition schemas (Alter sch (CreateOrReplace vw ('View view) schema) schemas)

78−createOrReplaceView alias query = UnsafeDefinition $

79− "CREATE OR REPLACE VIEW" <+> renderSQL alias <+> "AS"

80− <+> renderQuery query <> ";"

81−

82−-- | Drop a view.

83−--

84−-- >>> :{

85−-- let

86−-- definition :: Definition

87−-- '[ "public" ::: '["abc" ::: 'Table ('[] :=> '["a" ::: 'NoDef :=> 'Null 'PGint4, "b" ::: 'NoDef :=> 'Null 'PGint4, "c" ::: 'NoDef :=> 'Null 'PGint4])

88−-- , "bc" ::: 'View ('["b" ::: 'Null 'PGint4, "c" ::: 'Null 'PGint4])]]

89−-- '[ "public" ::: '["abc" ::: 'Table ('[] :=> '["a" ::: 'NoDef :=> 'Null 'PGint4, "b" ::: 'NoDef :=> 'Null 'PGint4, "c" ::: 'NoDef :=> 'Null 'PGint4])]]

90−-- definition = dropView #bc

91−-- in printSQL definition

92−-- :}

93−-- DROP VIEW "bc";

94−dropView

95− :: (Has sch schemas schema, KnownSymbol vw)

96− => QualifiedAlias sch vw -- ^ view to remove

97− -> Definition schemas (Alter sch (DropSchemum vw 'View schema) schemas)

98−dropView vw = UnsafeDefinition $ "DROP VIEW" <+> renderSQL vw <> ";"

99−

100−dropViewIfExists

101− :: (Has sch schemas schema, KnownSymbol vw)

102− => QualifiedAlias sch vw -- ^ view to remove

103− -> Definition schemas (Alter sch (DropIfExists vw schema) schemas)

104−dropViewIfExists vw = UnsafeDefinition $ "DROP VIEW IF EXISTS" <+> renderSQL vw <> ";"

squeal-postgresql/src/Squeal/PostgreSQL/Expression.hs+14−80

@@ -34,24 +34,16 @@ module Squeal.PostgreSQL.Expression

34 ( -- * Expression

35 Expression (..)

36 , Expr

37− , type (-->)

37+ , (:-->)

38− , FunctionDB

39 , unsafeFunction

38 , unsafeFunction

40− , function

39+ , unsafeUnaryOpL

41− , unsafeLeftOp

40+ , unsafeUnaryOpR

42− , leftOp

43− , unsafeRightOp

44− , rightOp

45 , Operator

41 , Operator

46− , OperatorDB

47 , unsafeBinaryOp

42 , unsafeBinaryOp

48− , binaryOp

49 , FunctionVar

43 , FunctionVar

50 , unsafeFunctionVar

44 , unsafeFunctionVar

51− , type (--->)

45+ , FunctionN

52− , FunctionNDB

53 , unsafeFunctionN

46 , unsafeFunctionN

54− , functionN

55 , PGSubset (..)

47 , PGSubset (..)

56 , PGIntersect (..)

48 , PGIntersect (..)

57 -- * Re-export

49 -- * Re-export

@@ -145,54 +137,31 @@ type Operator x1 x2 y

145 -> Expression outer commons grp schemas params from y

137 -> Expression outer commons grp schemas params from y

146 -- ^ output

138 -- ^ output

147

139

148−type OperatorDB schemas x1 x2 y

149− = forall outer commons grp params from

150− . Expression outer commons grp schemas params from x1

151− -- ^ left input

152− -> Expression outer commons grp schemas params from x2

153− -- ^ right input

154− -> Expression outer commons grp schemas params from y

155− -- ^ output

156−

157-- | A @RankNType@ for functions with a single argument.

140-- | A @RankNType@ for functions with a single argument.

158-- These could be either function calls or unary operators.

141-- These could be either function calls or unary operators.

159-- This is a subtype of the usual Haskell function type `Prelude.->`,

142-- This is a subtype of the usual Haskell function type `Prelude.->`,

160-- indeed a subcategory as it is closed under the usual

143-- indeed a subcategory as it is closed under the usual

161-- `Prelude..` and `Prelude.id`.

144-- `Prelude..` and `Prelude.id`.

162−type (-->) x y

145+type (:-->) x y

163 = forall outer commons grp schemas params from

146 = forall outer commons grp schemas params from

164 . Expression outer commons grp schemas params from x

147 . Expression outer commons grp schemas params from x

165 -- ^ input

148 -- ^ input

166 -> Expression outer commons grp schemas params from y

149 -> Expression outer commons grp schemas params from y

167 -- ^ output

150 -- ^ output

168

151

169−type FunctionDB schemas x y

170− = forall outer commons grp params from

171− . Expression outer commons grp schemas params from x

172− -- ^ input

173− -> Expression outer commons grp schemas params from y

174− -- ^ output

175−

176{- | A @RankNType@ for functions with a fixed-length list of heterogeneous arguments.

152{- | A @RankNType@ for functions with a fixed-length list of heterogeneous arguments.

177Use the `*:` operator to end your argument lists, like so.

153Use the `*:` operator to end your argument lists, like so.

178

154

179>>> printSQL (unsafeFunctionN "fun" (true :* false :* localTime *: true))

155>>> printSQL (unsafeFunctionN "fun" (true :* false :* localTime *: true))

180fun(TRUE, FALSE, LOCALTIME, TRUE)

156fun(TRUE, FALSE, LOCALTIME, TRUE)

181-}

157-}

182−type (--->) xs y

158+type FunctionN xs y

183 = forall outer commons grp schemas params from

159 = forall outer commons grp schemas params from

184 . NP (Expression outer commons grp schemas params from) xs

160 . NP (Expression outer commons grp schemas params from) xs

185 -- ^ inputs

161 -- ^ inputs

186 -> Expression outer commons grp schemas params from y

162 -> Expression outer commons grp schemas params from y

187 -- ^ output

163 -- ^ output

188

164

189−type FunctionNDB schemas xs y

190− = forall outer commons grp params from

191− . NP (Expression outer commons grp schemas params from) xs

192− -- ^ inputs

193− -> Expression outer commons grp schemas params from y

194− -- ^ output

195−

196{- | A @RankNType@ for functions with a variable-length list of

165{- | A @RankNType@ for functions with a variable-length list of

197homogeneous arguments and at least 1 more argument.

166homogeneous arguments and at least 1 more argument.

198-}

167-}

@@ -318,63 +287,28 @@ unsafeBinaryOp :: ByteString -> Operator ty0 ty1 ty2

318unsafeBinaryOp op x y = UnsafeExpression $ parenthesized $

287unsafeBinaryOp op x y = UnsafeExpression $ parenthesized $

319 renderSQL x <+> op <+> renderSQL y

288 renderSQL x <+> op <+> renderSQL y

320

289

321−binaryOp

322− :: forall op sch schemas schema x y z.

323− ( Has sch schemas schema

324− , Has op schema ('Operator ('BinaryOp x y z)) )

325− => OperatorDB schemas x y z

326−binaryOp = unsafeBinaryOp $ renderSymbol @op

327−

328−-- | >>> printSQL $ unsafeLeftOp "NOT" true

290+-- | >>> printSQL $ unsafeUnaryOpL "NOT" true

329-- (NOT TRUE)

291-- (NOT TRUE)

330−unsafeLeftOp :: ByteString -> x --> y

292+unsafeUnaryOpL :: ByteString -> x :--> y

331−unsafeLeftOp op x = UnsafeExpression $ parenthesized $ op <+> renderSQL x

293+unsafeUnaryOpL op x = UnsafeExpression $ parenthesized $ op <+> renderSQL x

332−

333−leftOp

334− :: forall op sch schemas schema x y.

335− ( Has sch schemas schema

336− , Has op schema ('Operator ('LeftOp x y)) )

337− => FunctionDB schemas x y

338−leftOp = unsafeLeftOp $ renderSymbol @op

339

294

340−-- | >>> printSQL $ true & unsafeRightOp "IS NOT TRUE"

295+-- | >>> printSQL $ true & unsafeUnaryOpR "IS NOT TRUE"

341-- (TRUE IS NOT TRUE)

296-- (TRUE IS NOT TRUE)

342−unsafeRightOp :: ByteString -> x --> y

297+unsafeUnaryOpR :: ByteString -> x :--> y

343−unsafeRightOp op x = UnsafeExpression $ parenthesized $ renderSQL x <+> op

298+unsafeUnaryOpR op x = UnsafeExpression $ parenthesized $ renderSQL x <+> op

344−

345−rightOp

346− :: forall op sch schemas schema x y.

347− ( Has sch schemas schema

348− , Has op schema ('Operator ('RightOp x y)) )

349− => FunctionDB schemas x y

350−rightOp = unsafeRightOp $ renderSymbol @op

351

299

352-- | >>> printSQL $ unsafeFunction "f" true

300-- | >>> printSQL $ unsafeFunction "f" true

353-- f(TRUE)

301-- f(TRUE)

354−unsafeFunction :: ByteString -> x --> y

302+unsafeFunction :: ByteString -> x :--> y

355unsafeFunction fun x = UnsafeExpression $

303unsafeFunction fun x = UnsafeExpression $

356 fun <> parenthesized (renderSQL x)

304 fun <> parenthesized (renderSQL x)

357

305

358−function

359− :: (Has sch schemas schema, Has fun schema ('Function ('[x] :=> 'Returns y)))

360− => QualifiedAlias sch fun

361− -> FunctionDB schemas x y

362−function = unsafeFunction . renderSQL

363−

364-- | >>> printSQL $ unsafeFunctionN "f" (currentTime :* localTimestamp :* false *: literal 'a')

306-- | >>> printSQL $ unsafeFunctionN "f" (currentTime :* localTimestamp :* false *: literal 'a')

365-- f(CURRENT_TIME, LOCALTIMESTAMP, FALSE, E'a')

307-- f(CURRENT_TIME, LOCALTIMESTAMP, FALSE, E'a')

366−unsafeFunctionN :: SListI xs => ByteString -> xs ---> y

308+unsafeFunctionN :: SListI xs => ByteString -> FunctionN xs y

367unsafeFunctionN fun xs = UnsafeExpression $

309unsafeFunctionN fun xs = UnsafeExpression $

368 fun <> parenthesized (renderCommaSeparated renderSQL xs)

310 fun <> parenthesized (renderCommaSeparated renderSQL xs)

369

311

370−functionN

371− :: ( Has sch schemas schema

372− , Has fun schema ('Function (xs :=> 'Returns y))

373− , SListI xs )

374− => QualifiedAlias sch fun

375− -> FunctionNDB schemas xs y

376−functionN = unsafeFunctionN . renderSQL

377−

378instance ty `In` PGNum

312instance ty `In` PGNum

379 => Num (Expression outer commons grp schemas params from (null ty)) where

313 => Num (Expression outer commons grp schemas params from (null ty)) where

380 (+) = unsafeBinaryOp "+"

314 (+) = unsafeBinaryOp "+"

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Collection.hs+5−5

@@ -42,7 +42,7 @@ import qualified Generics.SOP as SOP

43import Squeal.PostgreSQL.Alias

44import Squeal.PostgreSQL.Expression

45−import Squeal.PostgreSQL.Expression.Set

45+import Squeal.PostgreSQL.Expression.SetOf

46import Squeal.PostgreSQL.List

47import Squeal.PostgreSQL.Render

48import Squeal.PostgreSQL.Schema

@@ -111,20 +111,20 @@ array2 xss = UnsafeExpression $ "ARRAY" <>

111

112-- | >>> printSQL $ cardinality (array [null_, false, true])

113-- cardinality(ARRAY[NULL, FALSE, TRUE])

114−cardinality :: null ('PGvararray ty) --> null 'PGint8

114+cardinality :: null ('PGvararray ty) :--> null 'PGint8

115cardinality = unsafeFunction "cardinality"

116

117-- | >>> printSQL $ array [null_, false, true] & index 2

118-- (ARRAY[NULL, FALSE, TRUE])[2]

119index

120 :: Word64 -- ^ index

121− -> null ('PGvararray ty) --> NullifyType ty

121+ -> null ('PGvararray ty) :--> NullifyType ty

122index n expr = UnsafeExpression $

123 parenthesized (renderSQL expr) <> "[" <> fromString (show n) <> "]"

124

125-- | Expand an array to a set of rows

126−unnest :: SetFunction "unnest" (null ('PGvararray ty)) '["unnest" ::: ty]

126+unnest :: SetOfFunction "unnest" (null ('PGvararray ty)) '["unnest" ::: ty]

127−unnest = unsafeSetFunction

127+unnest = unsafeSetOfFunction

128

129-- | A row constructor is an expression that builds a row value

130-- (also called a composite value) using values for its member fields.

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Comparison.hs+12−12

@@ -162,45 +162,45 @@ isNotDistinctFrom = unsafeBinaryOp "IS NOT DISTINCT FROM"

162>>> printSQL $ true & isTrue

163(TRUE IS TRUE)

164-}

165−isTrue :: null0 'PGbool --> null1 'PGbool

165+isTrue :: null0 'PGbool :--> null1 'PGbool

166−isTrue = unsafeRightOp "IS TRUE"

166+isTrue = unsafeUnaryOpR "IS TRUE"

167

168{- | is false or unknown

169

170>>> printSQL $ true & isNotTrue

171(TRUE IS NOT TRUE)

172-}

173−isNotTrue :: null0 'PGbool --> null1 'PGbool

173+isNotTrue :: null0 'PGbool :--> null1 'PGbool

174−isNotTrue = unsafeRightOp "IS NOT TRUE"

174+isNotTrue = unsafeUnaryOpR "IS NOT TRUE"

175

176{- | is false

177

178>>> printSQL $ true & isFalse

179(TRUE IS FALSE)

180-}

181−isFalse :: null0 'PGbool --> null1 'PGbool

181+isFalse :: null0 'PGbool :--> null1 'PGbool

182−isFalse = unsafeRightOp "IS FALSE"

182+isFalse = unsafeUnaryOpR "IS FALSE"

183

184{- | is true or unknown

185

186>>> printSQL $ true & isNotFalse

187(TRUE IS NOT FALSE)

188-}

189−isNotFalse :: null0 'PGbool --> null1 'PGbool

189+isNotFalse :: null0 'PGbool :--> null1 'PGbool

190−isNotFalse = unsafeRightOp "IS NOT FALSE"

190+isNotFalse = unsafeUnaryOpR "IS NOT FALSE"

191

192{- | is unknown

193

194>>> printSQL $ true & isUnknown

195(TRUE IS UNKNOWN)

196-}

197−isUnknown :: null0 'PGbool --> null1 'PGbool

197+isUnknown :: null0 'PGbool :--> null1 'PGbool

198−isUnknown = unsafeRightOp "IS UNKNOWN"

198+isUnknown = unsafeUnaryOpR "IS UNKNOWN"

199

200{- | is true or false

201

202>>> printSQL $ true & isNotUnknown

203(TRUE IS NOT UNKNOWN)

204-}

205−isNotUnknown :: null0 'PGbool --> null1 'PGbool

205+isNotUnknown :: null0 'PGbool :--> null1 'PGbool

206−isNotUnknown = unsafeRightOp "IS NOT UNKNOWN"

206+isNotUnknown = unsafeUnaryOpR "IS NOT UNKNOWN"

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Json.hs+47−40

@@ -81,7 +81,7 @@ import GHC.TypeLits

82import Squeal.PostgreSQL.Alias

83import Squeal.PostgreSQL.Expression

84−import Squeal.PostgreSQL.Expression.Set

84+import Squeal.PostgreSQL.Expression.SetOf

85import Squeal.PostgreSQL.Expression.Type

86import Squeal.PostgreSQL.List

87import Squeal.PostgreSQL.Query

@@ -188,7 +188,7 @@ Table 9.45: JSON creation functions

188-- otherwise, a scalar value is produced. For any scalar type other than a

189-- number, a Boolean, or a null value, the text representation will be used, in

190-- such a fashion that it is a valid json value.

191−toJson :: null ty --> null 'PGjson

191+toJson :: null ty :--> null 'PGjson

192toJson = unsafeFunction "to_json"

193

194-- | Returns the value as jsonb. Arrays and composites are converted

@@ -197,26 +197,26 @@ toJson = unsafeFunction "to_json"

197-- otherwise, a scalar value is produced. For any scalar type other than a

198-- number, a Boolean, or a null value, the text representation will be used, in

199-- such a fashion that it is a valid jsonb value.

200−toJsonb :: null ty --> null 'PGjsonb

200+toJsonb :: null ty :--> null 'PGjsonb

201toJsonb = unsafeFunction "to_jsonb"

202

203-- | Returns the array as a JSON array. A PostgreSQL multidimensional array

204-- becomes a JSON array of arrays.

205−arrayToJson :: null ('PGvararray ty) --> null 'PGjson

205+arrayToJson :: null ('PGvararray ty) :--> null 'PGjson

206arrayToJson = unsafeFunction "array_to_json"

207

208-- | Returns the row as a JSON object.

209−rowToJson :: null ('PGcomposite ty) --> null 'PGjson

209+rowToJson :: null ('PGcomposite ty) :--> null 'PGjson

210rowToJson = unsafeFunction "row_to_json"

211

212-- | Builds a possibly-heterogeneously-typed JSON array out of a variadic

213-- argument list.

214−jsonBuildArray :: SOP.SListI tuple => tuple ---> null 'PGjson

214+jsonBuildArray :: SOP.SListI tuple => FunctionN tuple (null 'PGjson)

215jsonBuildArray = unsafeFunctionN "json_build_array"

216

217-- | Builds a possibly-heterogeneously-typed (binary) JSON array out of a

218-- variadic argument list.

219−jsonbBuildArray :: SOP.SListI tuple => tuple ---> null 'PGjsonb

219+jsonbBuildArray :: SOP.SListI tuple => FunctionN tuple (null 'PGjsonb)

220jsonbBuildArray = unsafeFunctionN "jsonb_build_array"

221

222-- | Builds a possibly-heterogeneously-typed JSON object out of a variadic

@@ -224,10 +224,10 @@ jsonbBuildArray = unsafeFunctionN "jsonb_build_array"

224-- and values.

225class SOP.SListI tys => JsonBuildObject tys where

226

227− jsonBuildObject :: tys ---> null 'PGjson

227+ jsonBuildObject :: FunctionN tys (null 'PGjson)

228 jsonBuildObject = unsafeFunctionN "json_build_object"

229

230− jsonbBuildObject :: tys ---> null 'PGjsonb

230+ jsonbBuildObject :: FunctionN tys (null 'PGjsonb)

231 jsonbBuildObject = unsafeFunctionN "jsonb_build_object"

232

233instance JsonBuildObject '[]

@@ -240,7 +240,7 @@ instance (JsonBuildObject tys, key `In` PGJsonKey)

240-- which are taken as a key/value pair.

241jsonObject

242 :: null ('PGfixarray '[n,2] ('NotNull 'PGtext))

243− --> null 'PGjson

243+ :--> null 'PGjson

244jsonObject = unsafeFunction "json_object"

245

246-- | Builds a binary JSON object out of a text array.

@@ -249,24 +249,24 @@ jsonObject = unsafeFunction "json_object"

249-- which are taken as a key/value pair.

250jsonbObject

251 :: null ('PGfixarray '[n,2] ('NotNull 'PGtext))

252− --> null 'PGjsonb

252+ :--> null 'PGjsonb

253jsonbObject = unsafeFunction "jsonb_object"

254

255-- | This is an alternate form of 'jsonObject' that takes two arrays; one for

256-- keys and one for values, that are zipped pairwise to create a JSON object.

257−jsonZipObject ::

257+jsonZipObject :: FunctionN

258 '[ null ('PGvararray ('NotNull 'PGtext))

259 , null ('PGvararray ('NotNull 'PGtext)) ]

260− ---> null 'PGjson

260+ ( null 'PGjson )

261jsonZipObject = unsafeFunctionN "json_object"

262

263-- | This is an alternate form of 'jsonbObject' that takes two arrays; one for

264-- keys and one for values, that are zipped pairwise to create a binary JSON

265-- object.

266−jsonbZipObject ::

266+jsonbZipObject :: FunctionN

267 '[ null ('PGvararray ('NotNull 'PGtext))

268 , null ('PGvararray ('NotNull 'PGtext)) ]

269− ---> null 'PGjsonb

269+ ( null 'PGjsonb )

270jsonbZipObject = unsafeFunctionN "jsonb_object"

271

272{-----------------------------------------

@@ -274,31 +274,31 @@ Table 9.46: JSON processing functions

274-----------------------------------------}

275

276-- | Returns the number of elements in the outermost JSON array.

277−jsonArrayLength :: null 'PGjson --> null 'PGint4

277+jsonArrayLength :: null 'PGjson :--> null 'PGint4

278jsonArrayLength = unsafeFunction "json_array_length"

279

280-- | Returns the number of elements in the outermost binary JSON array.

281−jsonbArrayLength :: null 'PGjsonb --> null 'PGint4

281+jsonbArrayLength :: null 'PGjsonb :--> null 'PGint4

282jsonbArrayLength = unsafeFunction "jsonb_array_length"

283

284-- | Returns the type of the outermost JSON value as a text string. Possible

285-- types are object, array, string, number, boolean, and null.

286−jsonTypeof :: null 'PGjson --> null 'PGtext

286+jsonTypeof :: null 'PGjson :--> null 'PGtext

287jsonTypeof = unsafeFunction "json_typeof"

288

289-- | Returns the type of the outermost binary JSON value as a text string.

290-- Possible types are object, array, string, number, boolean, and null.

291−jsonbTypeof :: null 'PGjsonb --> null 'PGtext

291+jsonbTypeof :: null 'PGjsonb :--> null 'PGtext

292jsonbTypeof = unsafeFunction "jsonb_typeof"

293

294-- | Returns its argument with all object fields that have null values omitted.

295-- Other null values are untouched.

296−jsonStripNulls :: null 'PGjson --> null 'PGjson

296+jsonStripNulls :: null 'PGjson :--> null 'PGjson

297jsonStripNulls = unsafeFunction "json_strip_nulls"

298

299-- | Returns its argument with all object fields that have null values omitted.

300-- Other null values are untouched.

301−jsonbStripNulls :: null 'PGjsonb --> null 'PGjsonb

301+jsonbStripNulls :: null 'PGjsonb :--> null 'PGjsonb

302jsonbStripNulls = unsafeFunction "jsonb_strip_nulls"

303

304-- | @ jsonbSet target path new_value create_missing @

@@ -309,9 +309,12 @@ jsonbStripNulls = unsafeFunction "jsonb_strip_nulls"

309-- item designated by path does not exist. As with the path orientated

310-- operators, negative integers that appear in path count from the end of JSON

311-- arrays.

312−jsonbSet ::

312+jsonbSet

313+ :: FunctionN

314+ '[ null 'PGjsonb

313− '[ null 'PGjsonb, null ('PGvararray ('NotNull 'PGtext))

315+ , null ('PGvararray ('NotNull 'PGtext))

316+ , null 'PGjsonb

314− , null 'PGjsonb, null 'PGbool ] ---> null 'PGjsonb

317+ , null 'PGbool ] (null 'PGjsonb)

315jsonbSet = unsafeFunctionN "jsonbSet"

318jsonbSet = unsafeFunctionN "jsonbSet"

316

319

317-- | @ jsonbInsert target path new_value insert_after @

320-- | @ jsonbInsert target path new_value insert_after @

@@ -323,23 +326,27 @@ jsonbSet = unsafeFunctionN "jsonbSet"

323-- path is in JSONB object, @new_value@ will be inserted only if target does not

326-- path is in JSONB object, @new_value@ will be inserted only if target does not

324-- exist. As with the path orientated operators, negative integers that appear

327-- exist. As with the path orientated operators, negative integers that appear

325-- in path count from the end of JSON arrays.

328-- in path count from the end of JSON arrays.

326−jsonbInsert ::

329+jsonbInsert

330+ :: FunctionN

331+ '[ null 'PGjsonb

327− '[ null 'PGjsonb, null ('PGvararray ('NotNull 'PGtext))

332+ , null ('PGvararray ('NotNull 'PGtext))

333+ , null 'PGjsonb

328− , null 'PGjsonb, null 'PGbool ] ---> null 'PGjsonb

334+ , null 'PGbool ] (null 'PGjsonb)

329jsonbInsert = unsafeFunctionN "jsonb_insert"

335jsonbInsert = unsafeFunctionN "jsonb_insert"

330

336

331-- | Returns its argument as indented JSON text.

337-- | Returns its argument as indented JSON text.

332−jsonbPretty :: null 'PGjsonb --> null 'PGtext

338+jsonbPretty :: null 'PGjsonb :--> null 'PGtext

333jsonbPretty = unsafeFunction "jsonb_pretty"

339jsonbPretty = unsafeFunction "jsonb_pretty"

334

340

341+

335{- | Expands the outermost JSON object into a set of key/value pairs.

342{- | Expands the outermost JSON object into a set of key/value pairs.

336

343

337>>> printSQL (select Star (from (jsonEach (literal (Json (object ["a" .= "foo", "b" .= "bar"]))))))

344>>> printSQL (select Star (from (jsonEach (literal (Json (object ["a" .= "foo", "b" .= "bar"]))))))

338SELECT * FROM json_each(('{"a":"foo","b":"bar"}' :: json))

345SELECT * FROM json_each(('{"a":"foo","b":"bar"}' :: json))

339-}

346-}

340−jsonEach :: SetFunction "json_each" (null 'PGjson)

347+jsonEach :: SetOfFunction "json_each" (null 'PGjson)

341 '["key" ::: 'NotNull 'PGtext, "value" ::: 'NotNull 'PGjson]

348 '["key" ::: 'NotNull 'PGtext, "value" ::: 'NotNull 'PGjson]

342−jsonEach = unsafeSetFunction

349+jsonEach = unsafeSetOfFunction

343

350

344{- | Expands the outermost binary JSON object into a set of key/value pairs.

351{- | Expands the outermost binary JSON object into a set of key/value pairs.

345

352

@@ -347,9 +354,9 @@ jsonEach = unsafeSetFunction

347SELECT * FROM jsonb_each(('{"a":"foo","b":"bar"}' :: jsonb))

354SELECT * FROM jsonb_each(('{"a":"foo","b":"bar"}' :: jsonb))

348-}

355-}

349jsonbEach

356jsonbEach

350− :: SetFunction "jsonb_each" (nullity 'PGjsonb)

357+ :: SetOfFunction "jsonb_each" (nullity 'PGjsonb)

351 '["key" ::: 'NotNull 'PGtext, "value" ::: 'NotNull 'PGjson]

358 '["key" ::: 'NotNull 'PGtext, "value" ::: 'NotNull 'PGjson]

352−jsonbEach = unsafeSetFunction

359+jsonbEach = unsafeSetOfFunction

353

360

354{- | Expands the outermost JSON object into a set of key/value pairs.

361{- | Expands the outermost JSON object into a set of key/value pairs.

355

362

@@ -357,9 +364,9 @@ jsonbEach = unsafeSetFunction

357SELECT * FROM json_each_text(('{"a":"foo","b":"bar"}' :: json))

364SELECT * FROM json_each_text(('{"a":"foo","b":"bar"}' :: json))

358-}

365-}

359jsonEachText

366jsonEachText

360− :: SetFunction "json_each_text" (null 'PGjson)

367+ :: SetOfFunction "json_each_text" (null 'PGjson)

361 '["key" ::: 'NotNull 'PGtext, "value" ::: 'NotNull 'PGtext]

368 '["key" ::: 'NotNull 'PGtext, "value" ::: 'NotNull 'PGtext]

362−jsonEachText = unsafeSetFunction

369+jsonEachText = unsafeSetOfFunction

363

370

364{- | Expands the outermost binary JSON object into a set of key/value pairs.

371{- | Expands the outermost binary JSON object into a set of key/value pairs.

365

372

@@ -367,9 +374,9 @@ jsonEachText = unsafeSetFunction

367SELECT * FROM jsonb_each_text(('{"a":"foo","b":"bar"}' :: jsonb))

374SELECT * FROM jsonb_each_text(('{"a":"foo","b":"bar"}' :: jsonb))

368-}

375-}

369jsonbEachText

376jsonbEachText

370− :: SetFunction "jsonb_each_text" (null 'PGjsonb)

377+ :: SetOfFunction "jsonb_each_text" (null 'PGjsonb)

371 '["key" ::: 'NotNull 'PGtext, "value" ::: 'NotNull 'PGtext]

378 '["key" ::: 'NotNull 'PGtext, "value" ::: 'NotNull 'PGtext]

372−jsonbEachText = unsafeSetFunction

379+jsonbEachText = unsafeSetOfFunction

373

380

374{- | Returns set of keys in the outermost JSON object.

381{- | Returns set of keys in the outermost JSON object.

375

382

@@ -377,9 +384,9 @@ jsonbEachText = unsafeSetFunction

377json_object_keys(('{"a":"foo","b":"bar"}' :: json))

384json_object_keys(('{"a":"foo","b":"bar"}' :: json))

378-}

385-}

379jsonObjectKeys

386jsonObjectKeys

380− :: SetFunction "json_object_keys" (nullity 'PGjson)

387+ :: SetOfFunction "json_object_keys" (nullity 'PGjson)

381 '["json_object_keys" ::: 'NotNull 'PGtext]

388 '["json_object_keys" ::: 'NotNull 'PGtext]

382−jsonObjectKeys = unsafeSetFunction

389+jsonObjectKeys = unsafeSetOfFunction

383

390

384{- | Returns set of keys in the outermost JSON object.

391{- | Returns set of keys in the outermost JSON object.

385

392

@@ -387,9 +394,9 @@ jsonObjectKeys = unsafeSetFunction

387jsonb_object_keys(('{"a":"foo","b":"bar"}' :: jsonb))

394jsonb_object_keys(('{"a":"foo","b":"bar"}' :: jsonb))

388-}

395-}

389jsonbObjectKeys

396jsonbObjectKeys

390− :: SetFunction "jsonb_object_keys" (null 'PGjsonb)

397+ :: SetOfFunction "jsonb_object_keys" (null 'PGjsonb)

391 '["jsonb_object_keys" ::: 'NotNull 'PGtext]

398 '["jsonb_object_keys" ::: 'NotNull 'PGtext]

392−jsonbObjectKeys = unsafeSetFunction

399+jsonbObjectKeys = unsafeSetOfFunction

393

400

394-- | Build rows from Json types.

401-- | Build rows from Json types.

395type JsonPopulateFunction fun json

402type JsonPopulateFunction fun json

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Logic.hs+2−2

@@ -47,8 +47,8 @@ false = UnsafeExpression "FALSE"

48-- | >>> printSQL $ not_ true

49-- (NOT TRUE)

50−not_ :: null 'PGbool --> null 'PGbool

50+not_ :: null 'PGbool :--> null 'PGbool

51−not_ = unsafeLeftOp "NOT"

51+not_ = unsafeUnaryOpL "NOT"

53-- | >>> printSQL $ true .&& false

54-- (TRUE AND FALSE)

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Math.hs+6−4

@@ -37,7 +37,9 @@ import Squeal.PostgreSQL.Schema

37-- in printSQL expression

38-- :}

39-- atan2(pi(), 2)

40+atan2_

41+ :: float `In` PGFloating

40−atan2_ :: float `In` PGFloating => '[ null float, null float] ---> null float

42+ => FunctionN '[ null float, null float] (null float)

41atan2_ = unsafeFunctionN "atan2"

43atan2_ = unsafeFunctionN "atan2"

@@ -76,7 +78,7 @@ rem_ = unsafeBinaryOp "%"

76-- in printSQL expression

78-- in printSQL expression

77-- :}

79-- :}

78-- trunc(pi())

80-- trunc(pi())

79−trunc :: frac `In` PGFloating => null frac --> null frac

81+trunc :: frac `In` PGFloating => null frac :--> null frac

80trunc = unsafeFunction "trunc"

82trunc = unsafeFunction "trunc"

82-- | >>> :{

84-- | >>> :{

@@ -86,7 +88,7 @@ trunc = unsafeFunction "trunc"

86-- in printSQL expression

88-- in printSQL expression

87-- :}

89-- :}

88-- round(pi())

90-- round(pi())

89−round_ :: frac `In` PGFloating => null frac --> null frac

91+round_ :: frac `In` PGFloating => null frac :--> null frac

90round_ = unsafeFunction "round"

92round_ = unsafeFunction "round"

92-- | >>> :{

94-- | >>> :{

@@ -96,5 +98,5 @@ round_ = unsafeFunction "round"

96-- in printSQL expression

98-- in printSQL expression

97-- :}

99-- :}

98-- ceiling(pi())

100-- ceiling(pi())

99−ceiling_ :: frac `In` PGFloating => null frac --> null frac

101+ceiling_ :: frac `In` PGFloating => null frac :--> null frac

100ceiling_ = unsafeFunction "ceiling"

102ceiling_ = unsafeFunction "ceiling"

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Null.hs+4−4

@@ -44,7 +44,7 @@ null_ = UnsafeExpression "NULL"

44--

45-- >>> printSQL $ notNull true

46-- TRUE

47−notNull :: 'NotNull ty --> 'Null ty

47+notNull :: 'NotNull ty :--> 'Null ty

48notNull = UnsafeExpression . renderSQL

50-- | return the leftmost value which is not NULL

@@ -69,12 +69,12 @@ fromNull notNullx nullx = coalesce [nullx] notNullx

70-- | >>> printSQL $ null_ & isNull

71-- NULL IS NULL

72−isNull :: 'Null ty --> null 'PGbool

72+isNull :: 'Null ty :--> null 'PGbool

73isNull x = UnsafeExpression $ renderSQL x <+> "IS NULL"

75-- | >>> printSQL $ null_ & isNotNull

76-- NULL IS NOT NULL

77−isNotNull :: 'Null ty --> null 'PGbool

77+isNotNull :: 'Null ty :--> null 'PGbool

78isNotNull x = UnsafeExpression $ renderSQL x <+> "IS NOT NULL"

80-- | analagous to `maybe` using @IS NULL@

@@ -100,5 +100,5 @@ matchNull y f x = ifThenElse (isNull x) y

100>>> printSQL expr

101NULLIF(FALSE, ($1 :: bool))

102-}

103−nullIf :: '[ 'NotNull ty, 'NotNull ty] ---> 'Null ty

103+nullIf :: FunctionN '[ 'NotNull ty, 'NotNull ty] ('Null ty)

104nullIf = unsafeFunctionN "NULLIF"

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Range.hs+9−8

@@ -205,26 +205,27 @@ whole = NonEmpty Infinite Infinite

205(@-) :: Operator (null ('PGrange ty)) (null ('PGrange ty)) (null ('PGrange ty))

206(@-) = unsafeBinaryOp "-"

207

208−lowerBound :: null ('PGrange ty) --> 'Null ty

208+lowerBound :: null ('PGrange ty) :--> 'Null ty

209lowerBound = unsafeFunction "lower"

210

211−upperBound :: null ('PGrange ty) --> 'Null ty

211+upperBound :: null ('PGrange ty) :--> 'Null ty

212upperBound = unsafeFunction "upper"

213

214−isEmpty :: null ('PGrange ty) --> 'Null 'PGbool

214+isEmpty :: null ('PGrange ty) :--> 'Null 'PGbool

215isEmpty = unsafeFunction "isempty"

216

217−lowerInc :: null ('PGrange ty) --> 'Null 'PGbool

217+lowerInc :: null ('PGrange ty) :--> 'Null 'PGbool

218lowerInc = unsafeFunction "lower_inc"

219

220−lowerInf :: null ('PGrange ty) --> 'Null 'PGbool

220+lowerInf :: null ('PGrange ty) :--> 'Null 'PGbool

221lowerInf = unsafeFunction "lower_inf"

222

223−upperInc :: null ('PGrange ty) --> 'Null 'PGbool

223+upperInc :: null ('PGrange ty) :--> 'Null 'PGbool

224upperInc = unsafeFunction "upper_inc"

225

226−upperInf :: null ('PGrange ty) --> 'Null 'PGbool

226+upperInf :: null ('PGrange ty) :--> 'Null 'PGbool

227upperInf = unsafeFunction "upper_inf"

228

229+rangeMerge :: FunctionN

229−rangeMerge :: '[null ('PGrange ty), null ('PGrange ty)] ---> null ('PGrange ty)

230+ '[ null ('PGrange ty), null ('PGrange ty)] (null ('PGrange ty))

230rangeMerge = unsafeFunctionN "range_merge"

231rangeMerge = unsafeFunctionN "range_merge"

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Set.hs → squeal-postgresql/src/Squeal/PostgreSQL/Expression/SetOf.hsrenamed+24−57

@@ -1,5 +1,5 @@

1{-|

2−Module: Squeal.PostgreSQL.Expression.Set

2+Module: Squeal.PostgreSQL.Expression.SetOf

3Description: Set returning functions

4Copyright: (c) Eitan Chatav, 2019

5Maintainer: eitan@morphism.tech

@@ -20,18 +20,14 @@ Set returning functions

20 , TypeOperators

21#-}

23−module Squeal.PostgreSQL.Expression.Set

23+module Squeal.PostgreSQL.Expression.SetOf

24 ( generateSeries

25 , generateSeriesStep

26 , generateSeriesTimestamp

27− , SetFunction

27+ , SetOfFunction

28− , unsafeSetFunction

28+ , unsafeSetOfFunction

29− , SetFunctionDB

29+ , SetOfFunctionN

30− , setFunction

30+ , unsafeSetOfFunctionN

31− , SetFunctionN

32− , unsafeSetFunctionN

33− , SetFunctionNDB

34− , setFunctionN

35 ) where

31 ) where

37import GHC.TypeLits

33import GHC.TypeLits

@@ -48,75 +44,46 @@ import Squeal.PostgreSQL.Schema

48{- |

44{- |

49A @RankNType@ for set returning functions with 1 argument.

45A @RankNType@ for set returning functions with 1 argument.

50-}

46-}

51−type SetFunction fun ty row

47+type SetOfFunction fun ty setof

52 = forall outer commons schemas params

48 = forall outer commons schemas params

53 . Expression outer commons 'Ungrouped schemas params '[] ty

49 . Expression outer commons 'Ungrouped schemas params '[] ty

54 -- ^ input

50 -- ^ input

55− -> FromClause outer commons schemas params '[fun ::: row]

51+ -> FromClause outer commons schemas params '[fun ::: setof]

56− -- ^ output

57−

58−type SetFunctionDB fun schemas ty row

59− = forall outer commons params

60− . Expression outer commons 'Ungrouped schemas params '[] ty

61− -- ^ input

62− -> FromClause outer commons schemas params '[fun ::: row]

63 -- ^ output

52 -- ^ output

65-- | Escape hatch for a set returning function with 1 argument.

54-- | Escape hatch for a set returning function with 1 argument.

66−unsafeSetFunction

55+unsafeSetOfFunction

67− :: forall fun ty row. KnownSymbol fun

56+ :: forall fun ty setof. KnownSymbol fun

68− => SetFunction fun ty row -- ^ set returning function

57+ => SetOfFunction fun ty setof -- ^ set returning function

69−unsafeSetFunction x = UnsafeFromClause $

58+unsafeSetOfFunction x = UnsafeFromClause $

70 renderSymbol @fun <> parenthesized (renderSQL x)

59 renderSymbol @fun <> parenthesized (renderSQL x)

72−setFunction

73− :: ( Has sch schemas schema

74− , Has fun schema ('Function ('[ty] :=> 'ReturnsTable row)) )

75− => QualifiedAlias sch fun

76− -> SetFunctionDB fun schemas ty row

77−setFunction _ = unsafeSetFunction

78−

79{- |

61{- |

80A @RankNType@ for set returning functions with multiple argument.

62A @RankNType@ for set returning functions with multiple argument.

81-}

63-}

82−type SetFunctionN fun tys row

64+type SetOfFunctionN fun tys setof

83 = forall outer commons schemas params

65 = forall outer commons schemas params

84 . NP (Expression outer commons 'Ungrouped schemas params '[]) tys

66 . NP (Expression outer commons 'Ungrouped schemas params '[]) tys

85 -- ^ inputs

67 -- ^ inputs

86− -> FromClause outer commons schemas params '[fun ::: row]

68+ -> FromClause outer commons schemas params '[fun ::: setof]

87 -- ^ output

69 -- ^ output

89-- | Escape hatch for a set returning function with multiple argument.

71-- | Escape hatch for a set returning function with multiple argument.

90−unsafeSetFunctionN

72+unsafeSetOfFunctionN

91− :: forall fun tys row. (SOP.SListI tys, KnownSymbol fun)

73+ :: forall fun tys setof. (SOP.SListI tys, KnownSymbol fun)

92− => SetFunctionN fun tys row -- ^ set returning function

74+ => SetOfFunctionN fun tys setof -- ^ set returning function

93−unsafeSetFunctionN xs = UnsafeFromClause $

75+unsafeSetOfFunctionN xs = UnsafeFromClause $

94 renderSymbol @fun <> parenthesized (renderCommaSeparated renderSQL xs)

76 renderSymbol @fun <> parenthesized (renderCommaSeparated renderSQL xs)

96−type SetFunctionNDB fun schemas tys row

97− = forall outer commons params

98− . NP (Expression outer commons 'Ungrouped schemas params '[]) tys

99− -- ^ inputs

100− -> FromClause outer commons schemas params '[fun ::: row]

101− -- ^ output

102−

103−setFunctionN

104− :: ( Has sch schemas schema

105− , Has fun schema ('Function (tys :=> 'ReturnsTable row))

106− , SOP.SListI tys )

107− => QualifiedAlias sch fun

108− -> SetFunctionNDB fun schemas tys row

109−setFunctionN _ = unsafeSetFunctionN

110−

111{- | @generateSeries (start *: stop)@

78{- | @generateSeries (start *: stop)@

112

113Generate a series of values, from @start@ to @stop@ with a step size of one

80Generate a series of values, from @start@ to @stop@ with a step size of one

114-}

81-}

115generateSeries

82generateSeries

116 :: ty `In` '[ 'PGint4, 'PGint8, 'PGnumeric]

83 :: ty `In` '[ 'PGint4, 'PGint8, 'PGnumeric]

117− => SetFunctionN "generate_series" '[ null ty, null ty]

84+ => SetOfFunctionN "generate_series" '[ null ty, null ty]

118 '["generate_series" ::: null ty] -- ^ set returning function

85 '["generate_series" ::: null ty] -- ^ set returning function

119−generateSeries = unsafeSetFunctionN

86+generateSeries = unsafeSetOfFunctionN

120

121{- | @generateSeries (start :* stop *: step)@

88{- | @generateSeries (start :* stop *: step)@

122

@@ -124,9 +91,9 @@ Generate a series of values, from @start@ to @stop@ with a step size of @step@

124-}

91-}

125generateSeriesStep

92generateSeriesStep

126 :: ty `In` '[ 'PGint4, 'PGint8, 'PGnumeric]

93 :: ty `In` '[ 'PGint4, 'PGint8, 'PGnumeric]

127− => SetFunctionN "generate_series" '[null ty, null ty, null ty]

94+ => SetOfFunctionN "generate_series" '[null ty, null ty, null ty]

128 '["generate_series" ::: null ty] -- ^ set returning function

95 '["generate_series" ::: null ty] -- ^ set returning function

129−generateSeriesStep = unsafeSetFunctionN

96+generateSeriesStep = unsafeSetOfFunctionN

130

131{- | @generateSeries (start :* stop *: step)@

98{- | @generateSeries (start :* stop *: step)@

132

@@ -134,6 +101,6 @@ Generate a series of values, from @start@ to @stop@ with a step size of @step@

134-}

101-}

135generateSeriesTimestamp

102generateSeriesTimestamp

136 :: ty `In` '[ 'PGtimestamp, 'PGtimestamptz]

103 :: ty `In` '[ 'PGtimestamp, 'PGtimestamptz]

137− => SetFunctionN "generate_series" '[null ty, null ty, null 'PGinterval]

104+ => SetOfFunctionN "generate_series" '[null ty, null ty, null 'PGinterval]

138 '["generate_series" ::: null ty] -- ^ set returning function

105 '["generate_series" ::: null ty] -- ^ set returning function

139−generateSeriesTimestamp = unsafeSetFunctionN

106+generateSeriesTimestamp = unsafeSetOfFunctionN

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Text.hs+3−3

@@ -30,17 +30,17 @@ import Squeal.PostgreSQL.Schema

31-- | >>> printSQL $ lower "ARRRGGG"

32-- lower(E'ARRRGGG')

33−lower :: null 'PGtext --> null 'PGtext

33+lower :: null 'PGtext :--> null 'PGtext

34lower = unsafeFunction "lower"

36-- | >>> printSQL $ upper "eeee"

37-- upper(E'eeee')

38−upper :: null 'PGtext --> null 'PGtext

38+upper :: null 'PGtext :--> null 'PGtext

39upper = unsafeFunction "upper"

41-- | >>> printSQL $ charLength "four"

42-- char_length(E'four')

43−charLength :: null 'PGtext --> null 'PGint4

43+charLength :: null 'PGtext :--> null 'PGint4

44charLength = unsafeFunction "char_length"

46-- | The `like` expression returns true if the @string@ matches

squeal-postgresql/src/Squeal/PostgreSQL/Expression/TextSearch.hs+21−20

@@ -55,8 +55,8 @@ import Squeal.PostgreSQL.Schema

55(.|) = unsafeBinaryOp "||"

57-- | negate a `Squeal.PostgreSQL.Expression.Type.tsquery`

58−(.!) :: null 'PGtsquery --> null 'PGtsquery

58+(.!) :: null 'PGtsquery :--> null 'PGtsquery

59−(.!) = unsafeLeftOp "!!"

59+(.!) = unsafeUnaryOpL "!!"

61-- | `Squeal.PostgreSQL.Expression.Type.tsquery` followed by

62-- `Squeal.PostgreSQL.Expression.Type.tsquery`

@@ -66,50 +66,51 @@ import Squeal.PostgreSQL.Schema

66-- | convert array of lexemes to `Squeal.PostgreSQL.Expression.Type.tsvector`

67arrayToTSvector

68 :: null ('PGvararray ('NotNull 'PGtext))

69− --> null 'PGtsvector

69+ :--> null 'PGtsvector

70arrayToTSvector = unsafeFunction "array_to_tsvector"

72-- | number of lexemes in `Squeal.PostgreSQL.Expression.Type.tsvector`

73−tsvectorLength :: null 'PGtsvector --> null 'PGint4

73+tsvectorLength :: null 'PGtsvector :--> null 'PGint4

74tsvectorLength = unsafeFunction "length"

76-- | number of lexemes plus operators in `Squeal.PostgreSQL.Expression.Type.tsquery`

77−numnode :: null 'PGtsquery --> null 'PGint4

77+numnode :: null 'PGtsquery :--> null 'PGint4

78numnode = unsafeFunction "numnode"

80-- | produce `Squeal.PostgreSQL.Expression.Type.tsquery` ignoring punctuation

81−plainToTSquery :: null 'PGtext --> null 'PGtsquery

81+plainToTSquery :: null 'PGtext :--> null 'PGtsquery

82plainToTSquery = unsafeFunction "plainto_tsquery"

84-- | produce `Squeal.PostgreSQL.Expression.Type.tsquery` that searches for a phrase,

85-- ignoring punctuation

86−phraseToTSquery :: null 'PGtext --> null 'PGtsquery

86+phraseToTSquery :: null 'PGtext :--> null 'PGtsquery

87phraseToTSquery = unsafeFunction "phraseto_tsquery"

89-- | produce `Squeal.PostgreSQL.Expression.Type.tsquery` from a web search style query

90−websearchToTSquery :: null 'PGtext --> null 'PGtsquery

90+websearchToTSquery :: null 'PGtext :--> null 'PGtsquery

91websearchToTSquery = unsafeFunction "websearch_to_tsquery"

93-- | get indexable part of a `Squeal.PostgreSQL.Expression.Type.tsquery`

94−queryTree :: null 'PGtsquery --> null 'PGtext

94+queryTree :: null 'PGtsquery :--> null 'PGtext

95queryTree = unsafeFunction "query_tree"

97-- | normalize words and convert to `Squeal.PostgreSQL.Expression.Type.tsquery`

98−toTSquery :: null 'PGtext --> null 'PGtsquery

98+toTSquery :: null 'PGtext :--> null 'PGtsquery

99toTSquery = unsafeFunction "to_tsquery"

100

101-- | reduce document text to `Squeal.PostgreSQL.Expression.Type.tsvector`

102toTSvector

103 :: ty `In` '[ 'PGtext, 'PGjson, 'PGjsonb]

104− => null ty --> null 'PGtsvector

104+ => null ty :--> null 'PGtsvector

105toTSvector = unsafeFunction "to_tsvector"

106

107-- | assign weight to each element of `Squeal.PostgreSQL.Expression.Type.tsvector`

108+setWeight

108−setWeight :: '[null 'PGtsvector, null ('PGchar 1)] ---> null 'PGtsvector

109+ :: FunctionN '[null 'PGtsvector, null ('PGchar 1)] (null 'PGtsvector)

109setWeight = unsafeFunctionN "set_weight"

110setWeight = unsafeFunctionN "set_weight"

110

111

111-- | remove positions and weights from `Squeal.PostgreSQL.Expression.Type.tsvector`

112-- | remove positions and weights from `Squeal.PostgreSQL.Expression.Type.tsvector`

112−strip :: null 'PGtsvector --> null 'PGtsvector

113+strip :: null 'PGtsvector :--> null 'PGtsvector

113strip = unsafeFunction "strip"

114strip = unsafeFunction "strip"

114

115

115-- | @jsonToTSvector (document *: filter)@

116-- | @jsonToTSvector (document *: filter)@

@@ -122,7 +123,7 @@ strip = unsafeFunction "strip"

122-- "boolean" (to include all Boolean values in the string format "true"/"false"),

123-- "boolean" (to include all Boolean values in the string format "true"/"false"),

123-- "key" (to include all keys) or "all" (to include all above).

124-- "key" (to include all keys) or "all" (to include all above).

124-- These values can be combined together to include, e.g. all string and numeric values.

125-- These values can be combined together to include, e.g. all string and numeric values.

125−jsonToTSvector :: '[null 'PGjson, null 'PGjson] ---> null 'PGtsvector

126+jsonToTSvector :: FunctionN '[null 'PGjson, null 'PGjson] (null 'PGtsvector)

126jsonToTSvector = unsafeFunctionN "json_to_tsvector"

127jsonToTSvector = unsafeFunctionN "json_to_tsvector"

127

128

128-- | @jsonbToTSvector (document *: filter)@

129-- | @jsonbToTSvector (document *: filter)@

@@ -135,23 +136,23 @@ jsonToTSvector = unsafeFunctionN "json_to_tsvector"

135-- "boolean" (to include all Boolean values in the string format "true"/"false"),

136-- "boolean" (to include all Boolean values in the string format "true"/"false"),

136-- "key" (to include all keys) or "all" (to include all above).

137-- "key" (to include all keys) or "all" (to include all above).

137-- These values can be combined together to include, e.g. all string and numeric values.

138-- These values can be combined together to include, e.g. all string and numeric values.

138−jsonbToTSvector :: '[null 'PGjsonb, null 'PGjsonb] ---> null 'PGtsvector

139+jsonbToTSvector :: FunctionN '[null 'PGjsonb, null 'PGjsonb] (null 'PGtsvector)

139jsonbToTSvector = unsafeFunctionN "jsonb_to_tsvector"

140jsonbToTSvector = unsafeFunctionN "jsonb_to_tsvector"

140

141

141-- | remove given lexeme from `Squeal.PostgreSQL.Expression.Type.tsvector`

142-- | remove given lexeme from `Squeal.PostgreSQL.Expression.Type.tsvector`

142−tsDelete ::

143+tsDelete :: FunctionN

143 '[null 'PGtsvector, null ('PGvararray ('NotNull 'PGtext))]

144 '[null 'PGtsvector, null ('PGvararray ('NotNull 'PGtext))]

144− ---> null 'PGtsvector

145+ (null 'PGtsvector)

145tsDelete = unsafeFunctionN "ts_delete"

146tsDelete = unsafeFunctionN "ts_delete"

146

147

147-- | select only elements with given weights from `Squeal.PostgreSQL.Expression.Type.tsvector`

148-- | select only elements with given weights from `Squeal.PostgreSQL.Expression.Type.tsvector`

148−tsFilter ::

149+tsFilter :: FunctionN

149 '[null 'PGtsvector, null ('PGvararray ('NotNull ('PGchar 1)))]

150 '[null 'PGtsvector, null ('PGvararray ('NotNull ('PGchar 1)))]

150− ---> null 'PGtsvector

151+ (null 'PGtsvector)

151tsFilter = unsafeFunctionN "ts_filter"

152tsFilter = unsafeFunctionN "ts_filter"

152

153

153-- | display a `Squeal.PostgreSQL.Expression.Type.tsquery` match

154-- | display a `Squeal.PostgreSQL.Expression.Type.tsquery` match

154tsHeadline

155tsHeadline

155 :: document `In` '[ 'PGtext, 'PGjson, 'PGjsonb]

156 :: document `In` '[ 'PGtext, 'PGjson, 'PGjsonb]

156− => '[null document, null 'PGtsquery] ---> null 'PGtext

157+ => FunctionN '[null document, null 'PGtsquery] (null 'PGtext)

157tsHeadline = unsafeFunctionN "ts_headline"

158tsHeadline = unsafeFunctionN "ts_headline"

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Time.hs+12−7

@@ -17,7 +17,6 @@ Date/Time functions and operators

17 , OverloadedStrings

18 , PolyKinds

19 , RankNTypes

20− , TypeOperators

21#-}

20#-}

23module Squeal.PostgreSQL.Expression.Time

22module Squeal.PostgreSQL.Expression.Time

@@ -86,7 +85,9 @@ Create date from year, month and day fields

86>>> printSQL (makeDate (1984 :* 7 *: 3))

85>>> printSQL (makeDate (1984 :* 7 *: 3))

87make_date(1984, 7, 3)

86make_date(1984, 7, 3)

88-}

87-}

88+makeDate :: FunctionN

89−makeDate :: '[ null 'PGint4, null 'PGint4, null 'PGint4 ] ---> null 'PGdate

89+ '[ null 'PGint4, null 'PGint4, null 'PGint4 ]

90+ ( null 'PGdate )

90makeDate = unsafeFunctionN "make_date"

91makeDate = unsafeFunctionN "make_date"

92{-|

93{-|

@@ -95,7 +96,9 @@ Create time from hour, minute and seconds fields

95>>> printSQL (makeTime (8 :* 15 *: 23.5))

96>>> printSQL (makeTime (8 :* 15 *: 23.5))

96make_time(8, 15, 23.5)

97make_time(8, 15, 23.5)

97-}

98-}

99+makeTime :: FunctionN

98−makeTime :: '[ null 'PGint4, null 'PGint4, null 'PGfloat8 ] ---> null 'PGtime

100+ '[ null 'PGint4, null 'PGint4, null 'PGfloat8 ]

101+ ( null 'PGtime )

99makeTime = unsafeFunctionN "make_time"

102makeTime = unsafeFunctionN "make_time"

100

103

101{-|

104{-|

@@ -104,9 +107,10 @@ Create timestamp from year, month, day, hour, minute and seconds fields

104>>> printSQL (makeTimestamp (2013 :* 7 :* 15 :* 8 :* 15 *: 23.5))

107>>> printSQL (makeTimestamp (2013 :* 7 :* 15 :* 8 :* 15 *: 23.5))

105make_timestamp(2013, 7, 15, 8, 15, 23.5)

108make_timestamp(2013, 7, 15, 8, 15, 23.5)

106-}

109-}

107−makeTimestamp ::

110+makeTimestamp :: FunctionN

108 '[ null 'PGint4, null 'PGint4, null 'PGint4

111 '[ null 'PGint4, null 'PGint4, null 'PGint4

109− , null 'PGint4, null 'PGint4, null 'PGfloat8 ] ---> null 'PGtimestamp

112+ , null 'PGint4, null 'PGint4, null 'PGfloat8 ]

113+ ( null 'PGtimestamp )

110makeTimestamp = unsafeFunctionN "make_timestamp"

114makeTimestamp = unsafeFunctionN "make_timestamp"

111

115

112{-|

116{-|

@@ -117,9 +121,10 @@ the current time zone is used

117>>> printSQL (makeTimestamptz (2013 :* 7 :* 15 :* 8 :* 15 *: 23.5))

121>>> printSQL (makeTimestamptz (2013 :* 7 :* 15 :* 8 :* 15 *: 23.5))

118make_timestamptz(2013, 7, 15, 8, 15, 23.5)

122make_timestamptz(2013, 7, 15, 8, 15, 23.5)

119-}

123-}

120−makeTimestamptz ::

124+makeTimestamptz :: FunctionN

121 '[ null 'PGint4, null 'PGint4, null 'PGint4

125 '[ null 'PGint4, null 'PGint4, null 'PGint4

122− , null 'PGint4, null 'PGint4, null 'PGfloat8 ] ---> null 'PGtimestamptz

126+ , null 'PGint4, null 'PGint4, null 'PGfloat8 ]

127+ ( null 'PGtimestamptz )

123makeTimestamptz = unsafeFunctionN "make_timestamptz"

128makeTimestamptz = unsafeFunctionN "make_timestamptz"

124

129

125{-|

130{-|

squeal-postgresql/src/Squeal/PostgreSQL/Expression/Type.hs+3−114

@@ -23,16 +23,14 @@ Type expressions.

23 , ScopedTypeVariables

24 , TypeApplications

25 , TypeOperators

26− , UndecidableInstances

27#-}

26#-}

29module Squeal.PostgreSQL.Expression.Type

28module Squeal.PostgreSQL.Expression.Type

30− ( -- * type casting

29+ ( TypeExpression (..)

31− cast

30+ , cast

32 , astype

31 , astype

33 , inferredtype

32 , inferredtype

34− -- * type expressions

33+ , PGTyped (..)

35− , TypeExpression (..)

36 , typedef

34 , typedef

37 , typetable

35 , typetable

38 , typeview

36 , typeview

@@ -72,29 +70,12 @@ module Squeal.PostgreSQL.Expression.Type

72 , fixarray

70 , fixarray

73 , tsvector

71 , tsvector

74 , tsquery

72 , tsquery

75− , oid

76 , int4range

73 , int4range

77 , int8range

74 , int8range

78 , numrange

75 , numrange

79 , tsrange

76 , tsrange

80 , tstzrange

77 , tstzrange

81 , daterange

78 , daterange

82− -- * column type definitions

83− , ColumnTypeExpression (..)

84− , nullable

85− , notNullable

86− , default_

87− , serial2

88− , smallserial

89− , serial4

90− , serial

91− , serial8

92− , bigserial

93− , hask

94− -- * type inference

95− , PGTyped (..)

96− , PGNullityTyped (..)

97− , FieldTyped (..)

98 ) where

79 ) where

100import Control.DeepSeq

81import Control.DeepSeq

@@ -108,7 +89,6 @@ import qualified Generics.SOP as SOP

108

109import Squeal.PostgreSQL.Alias

90import Squeal.PostgreSQL.Alias

110import Squeal.PostgreSQL.Expression

91import Squeal.PostgreSQL.Expression

111−import Squeal.PostgreSQL.PG

112import Squeal.PostgreSQL.Render

92import Squeal.PostgreSQL.Render

113import Squeal.PostgreSQL.Schema

93import Squeal.PostgreSQL.Schema

114

@@ -150,7 +130,6 @@ astype = cast

150inferredtype

130inferredtype

151 :: PGTyped schemas ty

131 :: PGTyped schemas ty

152 => Expression outer common grp schemas params from ty

132 => Expression outer common grp schemas params from ty

153− -- ^ value

154 -> Expression outer common grp schemas params from ty

133 -> Expression outer common grp schemas params from ty

155inferredtype = astype pgtype

134inferredtype = astype pgtype

156

135

@@ -170,7 +149,6 @@ instance RenderSQL (TypeExpression schemas ty) where

170typedef

149typedef

171 :: (Has sch schemas schema, Has td schema ('Typedef ty))

150 :: (Has sch schemas schema, Has td schema ('Typedef ty))

172 => QualifiedAlias sch td

151 => QualifiedAlias sch td

173− -- ^ type alias

174 -> TypeExpression schemas (null ty)

152 -> TypeExpression schemas (null ty)

175typedef = UnsafeTypeExpression . renderSQL

153typedef = UnsafeTypeExpression . renderSQL

176

154

@@ -179,7 +157,6 @@ typedef = UnsafeTypeExpression . renderSQL

179typetable

157typetable

180 :: (Has sch schemas schema, Has tab schema ('Table table))

158 :: (Has sch schemas schema, Has tab schema ('Table table))

181 => QualifiedAlias sch tab

159 => QualifiedAlias sch tab

182− -- ^ table alias

183 -> TypeExpression schemas (null ('PGcomposite (TableToRow table)))

160 -> TypeExpression schemas (null ('PGcomposite (TableToRow table)))

184typetable = UnsafeTypeExpression . renderSQL

161typetable = UnsafeTypeExpression . renderSQL

185

162

@@ -188,7 +165,6 @@ typetable = UnsafeTypeExpression . renderSQL

188typeview

165typeview

189 :: (Has sch schemas schema, Has vw schema ('View view))

166 :: (Has sch schemas schema, Has vw schema ('View view))

190 => QualifiedAlias sch vw

167 => QualifiedAlias sch vw

191− -- ^ view alias

192 -> TypeExpression schemas (null ('PGcomposite view))

168 -> TypeExpression schemas (null ('PGcomposite view))

193typeview = UnsafeTypeExpression . renderSQL

169typeview = UnsafeTypeExpression . renderSQL

194

170

@@ -304,10 +280,6 @@ tsvector = UnsafeTypeExpression "tsvector"

304-- | text search document

280-- | text search document

305tsquery :: TypeExpression schemas (null 'PGtsquery)

281tsquery :: TypeExpression schemas (null 'PGtsquery)

306tsquery = UnsafeTypeExpression "tsquery"

282tsquery = UnsafeTypeExpression "tsquery"

307−-- | Object identifiers (OIDs) are used internally by PostgreSQL

308−-- as primary keys for various system tables.

309−oid :: TypeExpression schemas (null 'PGoid)

310−oid = UnsafeTypeExpression "oid"

311-- | Range of integer

283-- | Range of integer

312int4range :: TypeExpression schemas (null ('PGrange 'PGint4))

284int4range :: TypeExpression schemas (null ('PGrange 'PGint4))

313int4range = UnsafeTypeExpression "int4range"

285int4range = UnsafeTypeExpression "int4range"

@@ -361,86 +333,3 @@ instance (SOP.All KnownNat dims, PGTyped schemas ty)

361 pgtype = fixarray @dims (pgtype @schemas @ty)

333 pgtype = fixarray @dims (pgtype @schemas @ty)

362instance PGTyped schemas (null 'PGtsvector) where pgtype = tsvector

334instance PGTyped schemas (null 'PGtsvector) where pgtype = tsvector

363instance PGTyped schemas (null 'PGtsquery) where pgtype = tsquery

335instance PGTyped schemas (null 'PGtsquery) where pgtype = tsquery

364−instance PGTyped schemas (null 'PGoid) where pgtype = oid

365−instance PGTyped schemas (null ('PGrange 'PGint4)) where pgtype = int4range

366−instance PGTyped schemas (null ('PGrange 'PGint8)) where pgtype = int8range

367−instance PGTyped schemas (null ('PGrange 'PGnumeric)) where pgtype = numrange

368−instance PGTyped schemas (null ('PGrange 'PGtimestamp)) where pgtype = tsrange

369−instance PGTyped schemas (null ('PGrange 'PGtimestamptz)) where pgtype = tstzrange

370−instance PGTyped schemas (null ('PGrange 'PGdate)) where pgtype = daterange

371−

372−-- | Lift `PGTyped` to a field

373−class FieldTyped schemas ty where

374− fieldtype :: Aliased (TypeExpression schemas) ty

375−instance (KnownSymbol alias, PGTyped schemas ty)

376− => FieldTyped schemas (alias ::: ty) where

377− fieldtype = pgtype `As` Alias

378−

379−-- | `ColumnTypeExpression`s are used in `createTable` commands.

380−newtype ColumnTypeExpression (schemas :: SchemasType) (ty :: ColumnType)

381− = UnsafeColumnTypeExpression { renderColumnTypeExpression :: ByteString }

382− deriving (GHC.Generic,Show,Eq,Ord,NFData)

383−instance RenderSQL (ColumnTypeExpression schemas ty) where

384− renderSQL = renderColumnTypeExpression

385−

386−-- | used in `createTable` commands as a column constraint to note that

387−-- @NULL@ may be present in a column

388−nullable

389− :: TypeExpression schemas (nullity ty)

390− -> ColumnTypeExpression schemas ('NoDef :=> 'Null ty)

391−nullable ty = UnsafeColumnTypeExpression $ renderSQL ty <+> "NULL"

392−

393−-- | used in `createTable` commands as a column constraint to ensure

394−-- @NULL@ is not present in a column

395−notNullable

396− :: TypeExpression schemas (nullity ty)

397− -> ColumnTypeExpression schemas ('NoDef :=> 'NotNull ty)

398−notNullable ty = UnsafeColumnTypeExpression $ renderSQL ty <+> "NOT NULL"

399−

400−-- | used in `createTable` commands as a column constraint to give a default

401−default_

402− :: Expression '[] '[] 'Ungrouped schemas '[] '[] ty

403− -> ColumnTypeExpression schemas ('NoDef :=> ty)

404− -> ColumnTypeExpression schemas ('Def :=> ty)

405−default_ x ty = UnsafeColumnTypeExpression $

406− renderSQL ty <+> "DEFAULT" <+> renderExpression x

407−

408−-- | not a true type, but merely a notational convenience for creating

409−-- unique identifier columns with type `PGint2`

410−serial2, smallserial

411− :: ColumnTypeExpression schemas ('Def :=> 'NotNull 'PGint2)

412−serial2 = UnsafeColumnTypeExpression "serial2"

413−smallserial = UnsafeColumnTypeExpression "smallserial"

414−-- | not a true type, but merely a notational convenience for creating

415−-- unique identifier columns with type `PGint4`

416−serial4, serial

417− :: ColumnTypeExpression schemas ('Def :=> 'NotNull 'PGint4)

418−serial4 = UnsafeColumnTypeExpression "serial4"

419−serial = UnsafeColumnTypeExpression "serial"

420−-- | not a true type, but merely a notational convenience for creating

421−-- unique identifier columns with type `PGint8`

422−serial8, bigserial

423− :: ColumnTypeExpression schemas ('Def :=> 'NotNull 'PGint8)

424−serial8 = UnsafeColumnTypeExpression "serial8"

425−bigserial = UnsafeColumnTypeExpression "bigserial"

426−

427−-- | Like @PGTyped@ but also accounts for nullity.

428−class PGNullityTyped schemas (nullty :: NullityType) where

429− pgNullityType :: ColumnTypeExpression schemas ('NoDef :=> nullty)

430−

431−instance PGTyped schemas ('Null ty) => PGNullityTyped schemas ('Null ty) where

432− pgNullityType = nullable (pgtype @_ @('Null ty))

433−

434−instance PGTyped schemas ('NotNull ty) => PGNullityTyped schemas ('NotNull ty) where

435− pgNullityType = notNullable (pgtype @_ @('NotNull ty))

436−

437−-- | Allow you to specify pg column types in relation to haskell types.

438−-- >>> printSQL $ hask @(Maybe String)

439−-- text NULL

440−--

441−-- >>> printSQL $ hask @Double

442−-- float8 NOT NULL

443−hask

444− :: forall hask schemas. PGNullityTyped schemas (NullPG hask)

445− => ColumnTypeExpression schemas ('NoDef :=> NullPG hask)

446−hask = pgNullityType

squeal-postgresql/src/Squeal/PostgreSQL/List.hs+46−17

@@ -33,16 +33,16 @@ module Squeal.PostgreSQL.List

33 , Join

34 , disjoin

35 , Additional (..)

36− , Path (..)

36+ , AlignedList (..)

37− , CFunctor (..)

37+ , single

38− , CFoldable (..)

38+ , extractList

39− , CFree (..)

39+ , mapAligned

40 , Elem

41 , In

42 , Length

43 ) where

45−import Control.Category.Free

45+import Control.Category

46import Data.Function ((&))

47import Data.Kind

48import Data.Type.Bool

@@ -50,6 +50,8 @@ import GHC.TypeLits

51import Generics.SOP as SOP

53+import Squeal.PostgreSQL.Render

54+

53-- | `Join` is simply promoted `++` and is used in @JOIN@s in

55-- | `Join` is simply promoted `++` and is used in @JOIN@s in

54-- `Squeal.PostgreSQL.Query.FromClause`s.

56-- `Squeal.PostgreSQL.Query.FromClause`s.

55type family Join xs ys where

57type family Join xs ys where

@@ -76,6 +78,42 @@ instance Additional (NP expr) where

76 Nil -> ys

78 Nil -> ys

77 x :* xs -> x :* (xs & also ys)

79 x :* xs -> x :* (xs & also ys)

81+-- | An `AlignedList` is a type-aligned list or free category.

82+data AlignedList p x0 x1 where

83+ Done :: AlignedList p x x

84+ (:>>) :: p x0 x1 -> AlignedList p x1 x2 -> AlignedList p x0 x2

85+infixr 7 :>>

86+instance Category (AlignedList p) where

87+ id = Done

88+ (.) list = \case

89+ Done -> list

90+ step :>> steps -> step :>> (steps >>> list)

91+instance (forall t0 t1. RenderSQL (p t0 t1))

92+ => RenderSQL (AlignedList p x0 x1) where

93+ renderSQL = \case

94+ Done -> ""

95+ step :>> Done -> renderSQL step

96+ step :>> steps -> renderSQL step <> ", " <> renderSQL steps

97+

98+-- | `extractList` turns an `AlignedList` into a standard list.

99+extractList :: (forall a0 a1. p a0 a1 -> b) -> AlignedList p x0 x1 -> [b]

100+extractList f = \case

101+ Done -> []

102+ step :>> steps -> (f step):extractList f steps

103+

104+-- | `mapAligned` applies a function to each element of an `AlignedList`.

105+mapAligned

106+ :: (forall z0 z1. p z0 z1 -> q z0 z1)

107+ -> AlignedList p x0 x1

108+ -> AlignedList q x0 x1

109+mapAligned f = \case

110+ Done -> Done

111+ x :>> xs -> f x :>> mapAligned f xs

112+

113+-- | A `single` step.

114+single :: p x0 x1 -> AlignedList p x0 x1

115+single step = step :>> Done

116+

79-- | A useful operator for ending an `NP` list of length at least 2 without `Nil`.

117-- | A useful operator for ending an `NP` list of length at least 2 without `Nil`.

80(*:) :: f x -> f y -> NP f '[x,y]

118(*:) :: f x -> f y -> NP f '[x,y]

81x *: y = x :* y :* Nil

119x *: y = x :* y :* Nil

@@ -84,18 +122,13 @@ infixl 9 *:

84-- | @Elem@ is a promoted `Data.List.elem`.

122-- | @Elem@ is a promoted `Data.List.elem`.

85type family Elem x xs where

123type family Elem x xs where

86 Elem x '[] = 'False

124 Elem x '[] = 'False

87− Elem x (x ': _) = 'True

125+ Elem x (x ': xs) = 'True

88− Elem x (_ ': x ': _) = 'True

89− Elem x (_ ': _ ': x ': _) = 'True

90− Elem x (_ ': _ ': _ ': x ': _) = 'True

91− Elem x (_ ': _ ': _ ': _ ': x ': _) = 'True

92− Elem x (_ ': _ ': _ ': _ ': _ ': x ': _) = 'True

93 Elem x (_ ': xs) = Elem x xs

126 Elem x (_ ': xs) = Elem x xs

127

95-- | @In x xs@ is a constraint that proves that @x@ is in @xs@.

128-- | @In x xs@ is a constraint that proves that @x@ is in @xs@.

96type family In x xs :: Constraint where

129type family In x xs :: Constraint where

97 In x xs = If (Elem x xs) (() :: Constraint)

130 In x xs = If (Elem x xs) (() :: Constraint)

98− (TypeError ('ShowType x ':<>: 'Text " is not in " ':<>: 'ShowType xs))

131+ (TypeError ('ShowType x ':<>: 'Text "is not in " ':<>: 'ShowType xs))

132

100{- | Calculate the `Length` of a type level list

133{- | Calculate the `Length` of a type level list

101

134

@@ -104,9 +137,5 @@ Length '[Char,String,Bool,Double] :: Nat

104= 4

137= 4

105-}

138-}

106type family Length (xs :: [k]) :: Nat where

139type family Length (xs :: [k]) :: Nat where

107− Length (_ ': _ ': _ ': _ ': _ : xs) = 5 + Length xs

108− Length (_ ': _ ': _ ': _ : xs) = 4 + Length xs

109− Length (_ ': _ ': _ : xs) = 3 + Length xs

110− Length (_ ': _ : xs) = 2 + Length xs

111− Length (_ : xs) = 1 + Length xs

140+ Length (x : xs) = 1 + Length xs

112 Length '[] = 0

141 Length '[] = 0

squeal-postgresql/src/Squeal/PostgreSQL/Manipulation.hs+1−1

@@ -99,7 +99,7 @@ instance RenderSQL (Manipulation commons schemas params columns) where

99instance With Manipulation where

100 with Done manip = manip

101 with ctes manip = UnsafeManipulation $

102− "WITH" <+> commaSeparated (ctoList renderSQL ctes) <+> renderSQL manip

102+ "WITH" <+> renderSQL ctes <+> renderSQL manip

103

104{- |

105The top level `Manipulation_` type is parameterized by a @schemas@ `SchemasType`,

squeal-postgresql/src/Squeal/PostgreSQL/Migration.hs+12−14

@@ -66,7 +66,7 @@ let

66 }

67:}

69−Now that we have a couple migrations we can chain them together into a `Path`.

69+Now that we have a couple migrations we can chain them together into an `AlignedList`.

71>>> let migrations = makeUsers :>> makeEmails :>> Done

@@ -167,8 +167,6 @@ import qualified GHC.Generics as GHC

167import Squeal.PostgreSQL.Alias

168import Squeal.PostgreSQL.Binary

169import Squeal.PostgreSQL.Definition

170−import Squeal.PostgreSQL.Definition.Table

171−import Squeal.PostgreSQL.Definition.Table.Constraint

172import Squeal.PostgreSQL.Expression.Comparison

170import Squeal.PostgreSQL.Expression.Comparison

173import Squeal.PostgreSQL.Expression.Parameter

171import Squeal.PostgreSQL.Expression.Parameter

174import Squeal.PostgreSQL.Expression.Time

172import Squeal.PostgreSQL.Expression.Time

@@ -192,34 +190,34 @@ data Migration p schemas0 schemas1 = Migration

192

190

193{- |

191{- |

194A `Migratory` @p@ is a `Category` for which one can execute or rewind

192A `Migratory` @p@ is a `Category` for which one can execute or rewind

195−a `Path` of `Migration`s over @p@. This includes the category of pure

193+an `AlignedList` of `Migration`s over @p@. This includes the category of pure

196SQL `Definition`s and the category of impure `Terminally` `PQ` `IO` actions.

194SQL `Definition`s and the category of impure `Terminally` `PQ` `IO` actions.

197-}

195-}

198class Category p => Migratory p where

196class Category p => Migratory p where

199

197

200 {- |

198 {- |

201− Run a `Path` of `Migration`s.

199+ Run an `AlignedList` of `Migration`s.

202 Create the `MigrationsTable` as @public.schema_migrations@ if it does not already exist.

200 Create the `MigrationsTable` as @public.schema_migrations@ if it does not already exist.

203 In one transaction, for each each `Migration` query to see if the `Migration` has been executed;

201 In one transaction, for each each `Migration` query to see if the `Migration` has been executed;

204 if not, `up` the `Migration` and insert its `name` in the `MigrationsTable`.

202 if not, `up` the `Migration` and insert its `name` in the `MigrationsTable`.

205 -}

203 -}

206 migrateUp

204 migrateUp

207− :: Path (Migration p) schemas0 schemas1

205+ :: AlignedList (Migration p) schemas0 schemas1

208 -> PQ schemas0 schemas1 IO ()

206 -> PQ schemas0 schemas1 IO ()

209

207

210 {- |

208 {- |

211− Rewind a `Path` of `Migration`s.

209+ Rewind an `AlignedList` of `Migration`s.

212 Create the `MigrationsTable` as @public.schema_migrations@ if it does not already exist.

210 Create the `MigrationsTable` as @public.schema_migrations@ if it does not already exist.

213 In one transaction, for each each `Migration` query to see if the `Migration` has been executed;

211 In one transaction, for each each `Migration` query to see if the `Migration` has been executed;

214 if so, `down` the `Migration` and delete its `name` in the `MigrationsTable`.

212 if so, `down` the `Migration` and delete its `name` in the `MigrationsTable`.

215 -}

213 -}

216 migrateDown

214 migrateDown

217− :: Path (Migration p) schemas0 schemas1

215+ :: AlignedList (Migration p) schemas0 schemas1

218 -> PQ schemas1 schemas0 IO ()

216 -> PQ schemas1 schemas0 IO ()

219

217

220instance Migratory Definition where

218instance Migratory Definition where

221− migrateUp = migrateUp . cmap pureMigration

219+ migrateUp = migrateUp . mapAligned pureMigration

222− migrateDown = migrateDown . cmap pureMigration

220+ migrateDown = migrateDown . mapAligned pureMigration

223

221

224{- | `Terminally` turns an indexed monad transformer and the monad it transforms

222{- | `Terminally` turns an indexed monad transformer and the monad it transforms

225into a category by restricting the return type to @()@ and permuting the type variables.

223into a category by restricting the return type to @()@ and permuting the type variables.

@@ -268,7 +266,7 @@ instance Migratory (Terminally PQ IO) where

268 where

266 where

269

267

270 upMigrations

268 upMigrations

271− :: Path (Migration (Terminally PQ IO)) schemas0 schemas1

269+ :: AlignedList (Migration (Terminally PQ IO)) schemas0 schemas1

272 -> PQ MigrationsSchemas MigrationsSchemas IO ()

270 -> PQ MigrationsSchemas MigrationsSchemas IO ()

273 upMigrations = \case

271 upMigrations = \case

274 Done -> return ()

272 Done -> return ()

@@ -297,7 +295,7 @@ instance Migratory (Terminally PQ IO) where

297 where

295 where

298

296

299 downMigrations

297 downMigrations

300− :: Path (Migration (Terminally PQ IO)) schemas0 schemas1

298+ :: AlignedList (Migration (Terminally PQ IO)) schemas0 schemas1

301 -> PQ MigrationsSchemas MigrationsSchemas IO ()

299 -> PQ MigrationsSchemas MigrationsSchemas IO ()

302 downMigrations = \case

300 downMigrations = \case

303 Done -> return ()

301 Done -> return ()

@@ -384,7 +382,7 @@ defaultMain

384 :: Migratory p

382 :: Migratory p

385 => ByteString

383 => ByteString

386 -- ^ connection string

384 -- ^ connection string

387− -> Path (Migration p) db0 db1

385+ -> AlignedList (Migration p) db0 db1

388 -- ^ migrations

386 -- ^ migrations

389 -> IO ()

387 -> IO ()

390defaultMain connectTo migrations = do

388defaultMain connectTo migrations = do

@@ -405,7 +403,7 @@ defaultMain connectTo migrations = do

405 migrateStatus :: PQ schema schema IO ()

403 migrateStatus :: PQ schema schema IO ()

406 migrateStatus = unsafePQ $ do

404 migrateStatus = unsafePQ $ do

407 runNames <- getRunMigrationNames

405 runNames <- getRunMigrationNames

408− let names = ctoList name migrations

406+ let names = extractList name migrations

409 unrunNames = names \\ runNames

407 unrunNames = names \\ runNames

410 liftIO $ displayRunned runNames >> displayUnrunned unrunNames

408 liftIO $ displayRunned runNames >> displayUnrunned unrunNames

411

409

squeal-postgresql/src/Squeal/PostgreSQL/PG.hs+15−38

@@ -10,12 +10,10 @@ Stability: experimental

10-}

11{-# LANGUAGE

12 AllowAmbiguousTypes

13− , DeriveAnyClass

14 , DeriveFoldable

13 , DeriveFoldable

15 , DeriveFunctor

14 , DeriveFunctor

16 , DeriveGeneric

15 , DeriveGeneric

17 , DeriveTraversable

16 , DeriveTraversable

18− , DerivingStrategies

19 , DefaultSignatures

17 , DefaultSignatures

20 , FlexibleContexts

18 , FlexibleContexts

21 , FlexibleInstances

19 , FlexibleInstances

@@ -47,7 +45,6 @@ module Squeal.PostgreSQL.PG

47 , Enumerated (..)

45 , Enumerated (..)

48 , VarArray (..)

46 , VarArray (..)

49 , FixArray (..)

47 , FixArray (..)

50− , LibPQ.Oid (..)

51 -- * Type families

48 -- * Type families

52 , LabelsPG

49 , LabelsPG

53 , DimPG

50 , DimPG

@@ -66,6 +63,7 @@ import Data.Int (Int16, Int32, Int64)

66import Data.Scientific (Scientific)

63import Data.Scientific (Scientific)

67import Data.Time (Day, DiffTime, LocalTime, TimeOfDay, TimeZone, UTCTime)

64import Data.Time (Day, DiffTime, LocalTime, TimeOfDay, TimeZone, UTCTime)

68import Data.Vector (Vector)

65import Data.Vector (Vector)

66+import Data.Word (Word16, Word32, Word64)

69import Data.UUID.Types (UUID)

67import Data.UUID.Types (UUID)

70import GHC.TypeLits

68import GHC.TypeLits

71import Network.IP.Addr (NetAddr, IP)

69import Network.IP.Addr (NetAddr, IP)

@@ -74,7 +72,6 @@ import qualified Data.ByteString.Lazy as Lazy (ByteString)

74import qualified Data.ByteString as Strict (ByteString)

72import qualified Data.ByteString as Strict (ByteString)

75import qualified Data.Text.Lazy as Lazy (Text)

73import qualified Data.Text.Lazy as Lazy (Text)

76import qualified Data.Text as Strict (Text)

74import qualified Data.Text as Strict (Text)

77−import qualified Database.PostgreSQL.LibPQ as LibPQ

78import qualified GHC.Generics as GHC

75import qualified GHC.Generics as GHC

79import qualified Generics.SOP as SOP

76import qualified Generics.SOP as SOP

80import qualified Generics.SOP.Record as SOP

77import qualified Generics.SOP.Record as SOP

@@ -108,7 +105,11 @@ type instance PG Int32 = 'PGint4

108-- | `PGint8`

105-- | `PGint8`

109type instance PG Int64 = 'PGint8

106type instance PG Int64 = 'PGint8

110-- | `PGint2`

107-- | `PGint2`

111−type instance PG LibPQ.Oid = 'PGoid

108+type instance PG Word16 = 'PGint2

109+-- | `PGint4`

110+type instance PG Word32 = 'PGint4

111+-- | `PGint8`

112+type instance PG Word64 = 'PGint8

112-- | `PGnumeric`

113-- | `PGnumeric`

113type instance PG Scientific = 'PGnumeric

114type instance PG Scientific = 'PGnumeric

114-- | `PGfloat4`

115-- | `PGfloat4`

@@ -178,16 +179,8 @@ type family RowPG (hask :: Type) :: RowType where

178

179

179-- | `RowOf` applies `NullPG` to the fields of a list.

180-- | `RowOf` applies `NullPG` to the fields of a list.

180type family RowOf (record :: [(Symbol, Type)]) :: RowType where

181type family RowOf (record :: [(Symbol, Type)]) :: RowType where

181− RowOf (col ::: ty ': col1 ::: ty1 ': col2 ::: ty2 ': col3 ::: ty3 ': col4 ::: ty4 ': record) =

182− col ::: NullPG ty ': col1 ::: NullPG ty1 ': col2 ::: NullPG ty2 ': col3 ::: NullPG ty3 ': col4 ::: NullPG ty4 ': RowOf record

183− RowOf (col ::: ty ': col1 ::: ty1 ': col2 ::: ty2 ': col3 ::: ty3 ': record) =

184− col ::: NullPG ty ': col1 ::: NullPG ty1 ': col2 ::: NullPG ty2 ': col3 ::: NullPG ty3 ': RowOf record

185− RowOf (col ::: ty ': col1 ::: ty1 ': col2 ::: ty2 ': record) =

186− col ::: NullPG ty ': col1 ::: NullPG ty1 ': col2 ::: NullPG ty2 ': RowOf record

187− RowOf (col ::: ty ': col1 ::: ty1 ': record) =

188− col ::: NullPG ty ': col1::: NullPG ty1 ': RowOf record

189− RowOf (col ::: ty ': record) = col ::: NullPG ty ': RowOf record

190 RowOf '[] = '[]

182 RowOf '[] = '[]

183+ RowOf (col ::: ty ': record) = col ::: NullPG ty ': RowOf record

191

184

192{- | `NullPG` turns a Haskell type into a `NullityType`.

185{- | `NullPG` turns a Haskell type into a `NullityType`.

193

186

@@ -214,17 +207,8 @@ type family TuplePG (hask :: Type) :: [NullityType] where

214

207

215-- | `TupleOf` turns a list of Haskell `Type`s into a list of `NullityType`s.

208-- | `TupleOf` turns a list of Haskell `Type`s into a list of `NullityType`s.

216type family TupleOf (tuple :: [Type]) :: [NullityType] where

209type family TupleOf (tuple :: [Type]) :: [NullityType] where

217− TupleOf (hask ': hask1 ': hask2 ': hask3 ': hask4 ': hask5 ': tuple) =

218− NullPG hask ': NullPG hask1 ': NullPG hask2 ': NullPG hask3 ': NullPG hask4 ': NullPG hask5 ': TupleOf tuple

219− TupleOf (hask ': hask1 ': hask2 ': hask3 ': hask4 ': tuple) =

220− NullPG hask ': NullPG hask1 ': NullPG hask2 ': NullPG hask3 ': NullPG hask4 ': TupleOf tuple

221− TupleOf (hask ': hask1 ': hask2 ': hask3 ': tuple) =

222− NullPG hask ': NullPG hask1 ': NullPG hask2 ': NullPG hask3 ': TupleOf tuple

223− TupleOf (hask ': hask1 ': hask2 ': tuple) =

224− NullPG hask ': NullPG hask1 ': NullPG hask2 ': TupleOf tuple

225− TupleOf (hask ': hask1 ': tuple) = NullPG hask ': NullPG hask1 ': TupleOf tuple

226− TupleOf (hask ': tuple) = NullPG hask ': TupleOf tuple

227 TupleOf '[] = '[]

210 TupleOf '[] = '[]

211+ TupleOf (hask ': tuple) = NullPG hask ': TupleOf tuple

228

212

229-- | `TupleCodeOf` takes the `SOP.Code` of a haskell `Type`

213-- | `TupleCodeOf` takes the `SOP.Code` of a haskell `Type`

230-- and if it's a simple product returns it, otherwise giving a `TypeError`.

214-- and if it's a simple product returns it, otherwise giving a `TypeError`.

@@ -319,8 +303,7 @@ withConnection "host=localhost port=5432 dbname=exampledb" $ do

319True

303True

320-}

304-}

321newtype Money = Money { cents :: Int64 }

305newtype Money = Money { cents :: Int64 }

322− deriving stock (Eq, Ord, Show, Read, GHC.Generic)

306+ deriving (Eq, Ord, Show, Read, GHC.Generic)

323− deriving anyclass (SOP.HasDatatypeInfo, SOP.Generic)

324-- | `PGmoney`

307-- | `PGmoney`

325type instance PG Money = 'PGmoney

308type instance PG Money = 'PGmoney

326

309

@@ -328,8 +311,7 @@ type instance PG Money = 'PGmoney

328type it's applied to should be stored as a `PGjson`.

311type it's applied to should be stored as a `PGjson`.

329-}

312-}

330newtype Json hask = Json {getJson :: hask}

313newtype Json hask = Json {getJson :: hask}

331− deriving stock (Eq, Ord, Show, Read, GHC.Generic)

314+ deriving (Eq, Ord, Show, Read, GHC.Generic)

332− deriving anyclass (SOP.HasDatatypeInfo, SOP.Generic)

333-- | `PGjson`

315-- | `PGjson`

334type instance PG (Json hask) = 'PGjson

316type instance PG (Json hask) = 'PGjson

335

317

@@ -337,8 +319,7 @@ type instance PG (Json hask) = 'PGjson

337type it's applied to should be stored as a `PGjsonb`.

319type it's applied to should be stored as a `PGjsonb`.

338-}

320-}

339newtype Jsonb hask = Jsonb {getJsonb :: hask}

321newtype Jsonb hask = Jsonb {getJsonb :: hask}

340− deriving stock (Eq, Ord, Show, Read, GHC.Generic)

322+ deriving (Eq, Ord, Show, Read, GHC.Generic)

341− deriving anyclass (SOP.HasDatatypeInfo, SOP.Generic)

342-- | `PGjsonb`

323-- | `PGjsonb`

343type instance PG (Jsonb hask) = 'PGjsonb

324type instance PG (Jsonb hask) = 'PGjsonb

344

325

@@ -346,8 +327,7 @@ type instance PG (Jsonb hask) = 'PGjsonb

346type it's applied to should be stored as a `PGcomposite`.

327type it's applied to should be stored as a `PGcomposite`.

347-}

328-}

348newtype Composite record = Composite {getComposite :: record}

329newtype Composite record = Composite {getComposite :: record}

349− deriving stock (Eq, Ord, Show, Read, GHC.Generic)

330+ deriving (Eq, Ord, Show, Read, GHC.Generic)

350− deriving anyclass (SOP.HasDatatypeInfo, SOP.Generic)

351-- | `PGcomposite` @(@`RowPG` @hask)@

331-- | `PGcomposite` @(@`RowPG` @hask)@

352type instance PG (Composite hask) = 'PGcomposite (RowPG hask)

332type instance PG (Composite hask) = 'PGcomposite (RowPG hask)

353

333

@@ -355,8 +335,7 @@ type instance PG (Composite hask) = 'PGcomposite (RowPG hask)

355type it's applied to should be stored as a `PGenum`.

335type it's applied to should be stored as a `PGenum`.

356-}

336-}

357newtype Enumerated enum = Enumerated {getEnumerated :: enum}

337newtype Enumerated enum = Enumerated {getEnumerated :: enum}

358− deriving stock (Eq, Ord, Show, Read, GHC.Generic)

338+ deriving (Eq, Ord, Show, Read, GHC.Generic)

359− deriving anyclass (SOP.HasDatatypeInfo, SOP.Generic)

360-- | `PGenum` @(@`LabelsPG` @hask)@

339-- | `PGenum` @(@`LabelsPG` @hask)@

361type instance PG (Enumerated hask) = 'PGenum (LabelsPG hask)

340type instance PG (Enumerated hask) = 'PGenum (LabelsPG hask)

362

341

@@ -368,8 +347,7 @@ PG (VarArray (Vector Double)) :: PGType

368= 'PGvararray ('NotNull 'PGfloat8)

347= 'PGvararray ('NotNull 'PGfloat8)

369-}

348-}

370newtype VarArray arr = VarArray {getVarArray :: arr}

349newtype VarArray arr = VarArray {getVarArray :: arr}

371− deriving stock (Eq, Ord, Show, Read, GHC.Generic)

350+ deriving (Eq, Ord, Show, Read, GHC.Generic)

372− deriving anyclass (SOP.HasDatatypeInfo, SOP.Generic)

373-- | `PGvararray` @(@`NullPG` @hask)@

351-- | `PGvararray` @(@`NullPG` @hask)@

374type instance PG (VarArray (Vector hask)) = 'PGvararray (NullPG hask)

352type instance PG (VarArray (Vector hask)) = 'PGvararray (NullPG hask)

375type instance PG (VarArray [hask]) = 'PGvararray (NullPG hask)

353type instance PG (VarArray [hask]) = 'PGvararray (NullPG hask)

@@ -382,7 +360,6 @@ PG (FixArray ((Double, Double), (Double, Double))) :: PGType

382= 'PGfixarray '[2, 2] ('NotNull 'PGfloat8)

360= 'PGfixarray '[2, 2] ('NotNull 'PGfloat8)

383-}

361-}

384newtype FixArray arr = FixArray {getFixArray :: arr}

362newtype FixArray arr = FixArray {getFixArray :: arr}

385− deriving stock (Eq, Ord, Show, Read, GHC.Generic)

363+ deriving (Eq, Ord, Show, Read, GHC.Generic)

386− deriving anyclass (SOP.HasDatatypeInfo, SOP.Generic)

387-- | `PGfixarray` @(@`DimPG` @hask) (@`FixPG` @hask)@

364-- | `PGfixarray` @(@`DimPG` @hask) (@`FixPG` @hask)@

388type instance PG (FixArray hask) = 'PGfixarray (DimPG hask) (FixPG hask)

365type instance PG (FixArray hask) = 'PGfixarray (DimPG hask) (FixPG hask)

squeal-postgresql/src/Squeal/PostgreSQL/PQ.hs+17−41

@@ -78,7 +78,6 @@ import UnliftIO (MonadUnliftIO (..), bracket, catch, handle, try)

78import Data.ByteString (ByteString)

79import Data.Foldable

80import Data.Function ((&))

81−import Data.Functor ((<&>))

82import Data.Kind

81import Data.Kind

83import Data.Text (pack, Text)

82import Data.Text (pack, Text)

84import Data.Traversable

83import Data.Traversable

@@ -87,7 +86,6 @@ import PostgreSQL.Binary.Encoding (encodingBytes)

88import qualified Control.Monad.Fail as Fail

87import qualified Control.Monad.Fail as Fail

89import qualified Database.PostgreSQL.LibPQ as LibPQ

88import qualified Database.PostgreSQL.LibPQ as LibPQ

90−import qualified PostgreSQL.Binary.Encoding as Encoding

92import Squeal.PostgreSQL.Binary

90import Squeal.PostgreSQL.Binary

93import Squeal.PostgreSQL.Definition

91import Squeal.PostgreSQL.Definition

@@ -317,13 +315,13 @@ a default instance.

317-}

315-}

318class Monad pq => MonadPQ schemas pq | pq -> schemas where

316class Monad pq => MonadPQ schemas pq | pq -> schemas where

319 manipulateParams

317 manipulateParams

320− :: (ToParams x params, All OidOfParam params)

318+ :: ToParams x params

321 => Manipulation '[] schemas params ys

319 => Manipulation '[] schemas params ys

322 -- ^ `insertInto`, `update` or `deleteFrom`

320 -- ^ `insertInto`, `update` or `deleteFrom`

323 -> x -> pq (K LibPQ.Result ys)

321 -> x -> pq (K LibPQ.Result ys)

324 default manipulateParams

322 default manipulateParams

325 :: (MonadTrans t, MonadPQ schemas pq1, pq ~ t pq1)

323 :: (MonadTrans t, MonadPQ schemas pq1, pq ~ t pq1)

326− => (ToParams x params, All OidOfParam params)

324+ => ToParams x params

327 => Manipulation '[] schemas params ys

325 => Manipulation '[] schemas params ys

328 -- ^ `insertInto`, `update` or `deleteFrom`

326 -- ^ `insertInto`, `update` or `deleteFrom`

329 -> x -> pq (K LibPQ.Result ys)

327 -> x -> pq (K LibPQ.Result ys)

@@ -331,7 +329,7 @@ class Monad pq => MonadPQ schemas pq | pq -> schemas where

331 manipulateParams manipulation params

329 manipulateParams manipulation params

332

330

333 manipulateParams_

331 manipulateParams_

334− :: (ToParams x params, All OidOfParam params)

332+ :: ToParams x params

335 => Manipulation '[] schemas params '[]

333 => Manipulation '[] schemas params '[]

336 -- ^ `insertInto`, `update` or `deleteFrom`

334 -- ^ `insertInto`, `update` or `deleteFrom`

337 -> x -> pq ()

335 -> x -> pq ()

@@ -344,7 +342,7 @@ class Monad pq => MonadPQ schemas pq | pq -> schemas where

344 manipulate_ = void . manipulate

342 manipulate_ = void . manipulate

345

343

346 runQueryParams

344 runQueryParams

347− :: (ToParams x params, All OidOfParam params)

345+ :: ToParams x params

348 => Query '[] '[] schemas params ys

346 => Query '[] '[] schemas params ys

349 -- ^ `select` and friends

347 -- ^ `select` and friends

350 -> x -> pq (K LibPQ.Result ys)

348 -> x -> pq (K LibPQ.Result ys)

@@ -357,19 +355,19 @@ class Monad pq => MonadPQ schemas pq | pq -> schemas where

357 runQuery q = runQueryParams q ()

355 runQuery q = runQueryParams q ()

358

356

359 traversePrepared

357 traversePrepared

360− :: (ToParams x params, Traversable list, All OidOfParam params)

358+ :: (ToParams x params, Traversable list)

361 => Manipulation '[] schemas params ys

359 => Manipulation '[] schemas params ys

362 -- ^ `insertInto`, `update`, or `deleteFrom`, and friends

360 -- ^ `insertInto`, `update`, or `deleteFrom`, and friends

363 -> list x -> pq (list (K LibPQ.Result ys))

361 -> list x -> pq (list (K LibPQ.Result ys))

364 default traversePrepared

362 default traversePrepared

365 :: (MonadTrans t, MonadPQ schemas pq1, pq ~ t pq1)

363 :: (MonadTrans t, MonadPQ schemas pq1, pq ~ t pq1)

366− => (ToParams x params, Traversable list, All OidOfParam params)

364+ => (ToParams x params, Traversable list)

367 => Manipulation '[] schemas params ys -> list x -> pq (list (K LibPQ.Result ys))

365 => Manipulation '[] schemas params ys -> list x -> pq (list (K LibPQ.Result ys))

368 traversePrepared manipulation params = lift $

366 traversePrepared manipulation params = lift $

369 traversePrepared manipulation params

367 traversePrepared manipulation params

370

368

371 forPrepared

369 forPrepared

372− :: (ToParams x params, Traversable list, All OidOfParam params)

370+ :: (ToParams x params, Traversable list)

373 => list x

371 => list x

374 -> Manipulation '[] schemas params ys

372 -> Manipulation '[] schemas params ys

375 -- ^ `insertInto`, `update` or `deleteFrom`

373 -- ^ `insertInto`, `update` or `deleteFrom`

@@ -377,13 +375,13 @@ class Monad pq => MonadPQ schemas pq | pq -> schemas where

377 forPrepared = flip traversePrepared

375 forPrepared = flip traversePrepared

378

376

379 traversePrepared_

377 traversePrepared_

380− :: (ToParams x params, Foldable list, All OidOfParam params)

378+ :: (ToParams x params, Foldable list)

381 => Manipulation '[] schemas params '[]

379 => Manipulation '[] schemas params '[]

382 -- ^ `insertInto`, `update` or `deleteFrom`

380 -- ^ `insertInto`, `update` or `deleteFrom`

383 -> list x -> pq ()

381 -> list x -> pq ()

384 default traversePrepared_

382 default traversePrepared_

385 :: (MonadTrans t, MonadPQ schemas pq1, pq ~ t pq1)

383 :: (MonadTrans t, MonadPQ schemas pq1, pq ~ t pq1)

386− => (ToParams x params, Foldable list, All OidOfParam params)

384+ => (ToParams x params, Foldable list)

387 => Manipulation '[] schemas params '[]

385 => Manipulation '[] schemas params '[]

388 -- ^ `insertInto`, `update` or `deleteFrom`

386 -- ^ `insertInto`, `update` or `deleteFrom`

389 -> list x -> pq ()

387 -> list x -> pq ()

@@ -391,7 +389,7 @@ class Monad pq => MonadPQ schemas pq | pq -> schemas where

391 traversePrepared_ manipulation params

389 traversePrepared_ manipulation params

392

390

393 forPrepared_

391 forPrepared_

394− :: (ToParams x params, Foldable list, All OidOfParam params)

392+ :: (ToParams x params, Foldable list)

395 => list x

393 => list x

396 -> Manipulation '[] schemas params '[]

394 -> Manipulation '[] schemas params '[]

397 -- ^ `insertInto`, `update` or `deleteFrom`

395 -- ^ `insertInto`, `update` or `deleteFrom`

@@ -411,17 +409,9 @@ instance (MonadIO io, schemas0 ~ schemas, schemas1 ~ schemas)

411 (UnsafeManipulation q :: Manipulation '[] schemas ps ys) (params :: x) =

409 (UnsafeManipulation q :: Manipulation '[] schemas ps ys) (params :: x) =

412 PQ $ \ (K conn) -> do

410 PQ $ \ (K conn) -> do

413 let

411 let

414− paramSet

412+ toParam' encoding =

415− :: forall param. OidOfParam param

416− => K (Maybe Encoding.Encoding) param

417− -> K (Maybe (LibPQ.Oid, ByteString, LibPQ.Format)) param

418− paramSet (K maybeEncoding) = K $

419− maybeEncoding <&> \encoding ->

420− (oidOfParam @param, encodingBytes encoding, LibPQ.Binary)

413+ (LibPQ.invalidOid, encodingBytes encoding, LibPQ.Binary)

421− params'

422− = hcollapse

423− . hcmap (Proxy @OidOfParam) paramSet

424− $ toParams @x @ps params

414+ params' = fmap (fmap toParam') (hcollapse (toParams @x @ps params))

425 q' = q <> ";"

415 q' = q <> ";"

426 resultMaybe <- liftIO $ LibPQ.execParams conn q' params' LibPQ.Binary

416 resultMaybe <- liftIO $ LibPQ.execParams conn q' params' LibPQ.Binary

427 case resultMaybe of

417 case resultMaybe of

@@ -434,15 +424,8 @@ instance (MonadIO io, schemas0 ~ schemas, schemas1 ~ schemas)

434 traversePrepared

424 traversePrepared

435 (UnsafeManipulation q :: Manipulation '[] schemas xs ys) (list :: list x) =

425 (UnsafeManipulation q :: Manipulation '[] schemas xs ys) (list :: list x) =

436 PQ $ \ (K conn) -> liftIO $ do

426 PQ $ \ (K conn) -> liftIO $ do

437− let

438− temp = "temporary_statement"

427+ let temp = "temporary_statement"

439− paramOid :: forall p. OidOfParam p => K LibPQ.Oid p

440− paramOid = K (oidOfParam @p)

441− paramOids :: NP (K LibPQ.Oid) xs

442− paramOids = hcpure (Proxy @OidOfParam) paramOid

443− paramOids' :: [LibPQ.Oid]

444− paramOids' = hcollapse paramOids

445− prepResultMaybe <- LibPQ.prepare conn temp q (Just paramOids')

428+ prepResultMaybe <- LibPQ.prepare conn temp q Nothing

446 case prepResultMaybe of

429 case prepResultMaybe of

447 Nothing -> throw $ ResultException

430 Nothing -> throw $ ResultException

448 "traversePrepared: LibPQ.prepare returned no results"

431 "traversePrepared: LibPQ.prepare returned no results"

@@ -468,15 +451,8 @@ instance (MonadIO io, schemas0 ~ schemas, schemas1 ~ schemas)

468 traversePrepared_

451 traversePrepared_

469 (UnsafeManipulation q :: Manipulation '[] schemas xs '[]) (list :: list x) =

452 (UnsafeManipulation q :: Manipulation '[] schemas xs '[]) (list :: list x) =

470 PQ $ \ (K conn) -> liftIO $ do

453 PQ $ \ (K conn) -> liftIO $ do

471− let

472− temp = "temporary_statement"

454+ let temp = "temporary_statement"

473− paramOid :: forall p. OidOfParam p => K LibPQ.Oid p

474− paramOid = K (oidOfParam @p)

475− paramOids :: NP (K LibPQ.Oid) xs

476− paramOids = hcpure (Proxy @OidOfParam) paramOid

477− paramOids' :: [LibPQ.Oid]

478− paramOids' = hcollapse paramOids

479− prepResultMaybe <- LibPQ.prepare conn temp q (Just paramOids')

455+ prepResultMaybe <- LibPQ.prepare conn temp q Nothing

480 case prepResultMaybe of

456 case prepResultMaybe of

481 Nothing -> throw $ ResultException

457 Nothing -> throw $ ResultException

482 "traversePrepared_: LibPQ.prepare returned no results"

458 "traversePrepared_: LibPQ.prepare returned no results"

squeal-postgresql/src/Squeal/PostgreSQL/Query.hs+22−74

@@ -39,8 +39,6 @@ module Squeal.PostgreSQL.Query

39 , select_

40 , selectDistinct

41 , selectDistinct_

42− , selectDistinctOn

43− , selectDistinctOn_

44 , Selection (..)

42 , Selection (..)

45 -- ** Values

43 -- ** Values

46 , values

44 , values

@@ -554,9 +552,9 @@ select_ = select . List

554-- be subject to the elimination of duplicate rows using `selectDistinct`.

552-- be subject to the elimination of duplicate rows using `selectDistinct`.

555selectDistinct

553selectDistinct

556 :: (SListI columns, columns ~ (col ': cols))

554 :: (SListI columns, columns ~ (col ': cols))

557− => Selection outer commons grp schemas params from columns

555+ => Selection outer commons 'Ungrouped schemas params from columns

558 -- ^ selection

556 -- ^ selection

559− -> TableExpression outer commons grp schemas params from

557+ -> TableExpression outer commons 'Ungrouped schemas params from

560 -- ^ intermediate virtual table

558 -- ^ intermediate virtual table

561 -> Query outer commons schemas params columns

559 -> Query outer commons schemas params columns

562selectDistinct selection tabexpr = UnsafeQuery $

560selectDistinct selection tabexpr = UnsafeQuery $

@@ -568,62 +566,13 @@ selectDistinct selection tabexpr = UnsafeQuery $

568-- of a general `Selection`.

566-- of a general `Selection`.

569selectDistinct_

567selectDistinct_

570 :: (SListI columns, columns ~ (col ': cols))

568 :: (SListI columns, columns ~ (col ': cols))

571− => NP (Aliased (Expression outer commons grp schemas params from)) columns

569+ => NP (Aliased (Expression outer commons 'Ungrouped schemas params from)) columns

572 -- ^ select list

570 -- ^ select list

573− -> TableExpression outer commons grp schemas params from

571+ -> TableExpression outer commons 'Ungrouped schemas params from

574 -- ^ intermediate virtual table

572 -- ^ intermediate virtual table

575 -> Query outer commons schemas params columns

573 -> Query outer commons schemas params columns

576selectDistinct_ = selectDistinct . List

574selectDistinct_ = selectDistinct . List

577

575

578−{-|

579−`selectDistinctOn` keeps only the first row of each set of rows where

580−the given expressions evaluate to equal. The DISTINCT ON expressions are

581−interpreted using the same rules as for ORDER BY. ORDER BY is used to

582−ensure that the desired row appears first.

583−

584−The DISTINCT ON expression(s) must match the leftmost ORDER BY expression(s).

585−The ORDER BY clause will normally contain additional expression(s) that

586−determine the desired precedence of rows within each DISTINCT ON group.

587−

588−In order to guarantee they match and reduce redundancy, this function

589−will prepend the The DISTINCT ON expressions to the ORDER BY clause.

590−-}

591−selectDistinctOn

592− :: (SListI columns, columns ~ (col ': cols))

593− => [SortExpression outer commons grp schemas params from]

594− -- ^ DISTINCT ON expression(s) and prepended to ORDER BY clause

595− -> Selection outer commons grp schemas params from columns

596− -- ^ selection

597− -> TableExpression outer commons grp schemas params from

598− -- ^ intermediate virtual table

599− -> Query outer commons schemas params columns

600−selectDistinctOn distincts selection tab = UnsafeQuery $

601− "SELECT DISTINCT ON"

602− <+> parenthesized (commaSeparated (renderDistinctOn <$> distincts))

603− <+> renderSQL selection

604− <+> renderSQL (tab {orderByClause = distincts <> orderByClause tab})

605− where

606− renderDistinctOn = \case

607− Asc expression -> renderSQL expression

608− Desc expression -> renderSQL expression

609− AscNullsFirst expression -> renderSQL expression

610− DescNullsFirst expression -> renderSQL expression

611− AscNullsLast expression -> renderSQL expression

612− DescNullsLast expression -> renderSQL expression

613−

614−-- | Like `selectDistinctOn` but takes an `NP` list of `Expression`s instead

615−-- of a general `Selection`.

616−selectDistinctOn_

617− :: (SListI columns, columns ~ (col ': cols))

618− => [SortExpression outer commons grp schemas params from]

619− -- ^ distinct on and return the first row in ordering

620− -> NP (Aliased (Expression outer commons grp schemas params from)) columns

621− -- ^ selection

622− -> TableExpression outer commons grp schemas params from

623− -- ^ intermediate virtual table

624− -> Query outer commons schemas params columns

625−selectDistinctOn_ distincts = selectDistinctOn distincts . List

626−

627-- | `values` computes a row value or set of row values

576-- | `values` computes a row value or set of row values

628-- specified by value expressions. It is most commonly used

577-- specified by value expressions. It is most commonly used

629-- to generate a “constant table” within a larger command,

578-- to generate a “constant table” within a larger command,

@@ -757,7 +706,7 @@ instance RenderSQL (TableExpression outer commons grp schemas params from) where

757from

706from

758 :: FromClause outer commons schemas params from -- ^ table reference

707 :: FromClause outer commons schemas params from -- ^ table reference

759 -> TableExpression outer commons 'Ungrouped schemas params from

708 -> TableExpression outer commons 'Ungrouped schemas params from

760−from tab = TableExpression tab [] noGroups NoHaving [] [] []

709+from tab = TableExpression tab [] NoGroups NoHaving [] [] []

761

710

762-- | A `where_` is an endomorphism of `TableExpression`s which adds a

711-- | A `where_` is an endomorphism of `TableExpression`s which adds a

763-- search condition to the `whereClause`.

712-- search condition to the `whereClause`.

@@ -778,7 +727,7 @@ groupBy

778groupBy bys rels = TableExpression

727groupBy bys rels = TableExpression

779 { fromClause = fromClause rels

728 { fromClause = fromClause rels

780 , whereClause = whereClause rels

729 , whereClause = whereClause rels

781− , groupByClause = group bys

730+ , groupByClause = Group bys

782 , havingClause = Having []

731 , havingClause = Having []

783 , orderByClause = []

732 , orderByClause = []

784 , limitClause = limitClause rels

733 , limitClause = limitClause rels

@@ -992,20 +941,19 @@ instance (Has rel rels cols, Has col cols ty, bys ~ '[ '(rel, col)])

992-- done on @NoGroups@ while all output `Expression`s must be aggregated

941-- done on @NoGroups@ while all output `Expression`s must be aggregated

993-- in @Group Nil@. In general, all output `Expression`s in the

942-- in @Group Nil@. In general, all output `Expression`s in the

994-- complement of @bys@ must be aggregated in @Group bys@.

943-- complement of @bys@ must be aggregated in @Group bys@.

995−newtype GroupByClause grp from = UnsafeGroupByClause

944+data GroupByClause grp from where

996− { renderGroupByClause :: ByteString }

945+ NoGroups :: GroupByClause 'Ungrouped from

997− deriving (GHC.Generic,Show,Eq,Ord,NFData)

946+ Group

947+ :: SListI bys

948+ => NP (By from) bys

949+ -> GroupByClause ('Grouped bys) from

950+

951+-- | Renders a `GroupByClause`.

998instance RenderSQL (GroupByClause grp from) where

952instance RenderSQL (GroupByClause grp from) where

999− renderSQL = renderGroupByClause

953+ renderSQL = \case

1000−noGroups :: GroupByClause 'Ungrouped from

954+ NoGroups -> ""

1001−noGroups = UnsafeGroupByClause ""

1002−group

1003− :: SListI bys

1004− => NP (By from) bys

1005− -> GroupByClause ('Grouped bys) from

1006−group bys = UnsafeGroupByClause $ case bys of

1007− Nil -> ""

955+ Group Nil -> ""

1008− bys' -> " GROUP BY" <+> renderCommaSeparated renderSQL bys'

956+ Group bys -> " GROUP BY" <+> renderCommaSeparated renderSQL bys

1009

957

1010-- | A `HavingClause` is used to eliminate groups that are not of interest.

958-- | A `HavingClause` is used to eliminate groups that are not of interest.

1011-- An `Ungrouped` `TableExpression` may only use `NoHaving` while a `Grouped`

959-- An `Ungrouped` `TableExpression` may only use `NoHaving` while a `Grouped`

@@ -1049,8 +997,8 @@ instance

1049 , commons1 ~ (cte ::: common ': commons)

997 , commons1 ~ (cte ::: common ': commons)

1050 ) => Aliasable cte

998 ) => Aliasable cte

1051 (statement commons schemas params common)

999 (statement commons schemas params common)

1052− (Path (CommonTableExpression statement schemas params) commons commons1) where

1000+ (AlignedList (CommonTableExpression statement schemas params) commons commons1) where

1053− statement `as` cte = csingleton (statement `as` cte)

1001+ statement `as` cte = single (statement `as` cte)

1054

1002

1055instance (forall c s p r. RenderSQL (statement c s p r)) => RenderSQL

1003instance (forall c s p r. RenderSQL (statement c s p r)) => RenderSQL

1056 (CommonTableExpression statement schemas params commons0 commons1) where

1004 (CommonTableExpression statement schemas params commons0 commons1) where

@@ -1062,7 +1010,7 @@ instance (forall c s p r. RenderSQL (statement c s p r)) => RenderSQL

1062-- defining temporary tables that exist just for one query.

1010-- defining temporary tables that exist just for one query.

1063class With statement where

1011class With statement where

1064 with

1012 with

1065− :: Path (CommonTableExpression statement schemas params) commons0 commons1

1013+ :: AlignedList (CommonTableExpression statement schemas params) commons0 commons1

1066 -- ^ common table expressions

1014 -- ^ common table expressions

1067 -> statement commons1 schemas params row

1015 -> statement commons1 schemas params row

1068 -- ^ larger query

1016 -- ^ larger query

@@ -1070,7 +1018,7 @@ class With statement where

1070instance With (Query outer) where

1018instance With (Query outer) where

1071 with Done query = query

1019 with Done query = query

1072 with ctes query = UnsafeQuery $

1020 with ctes query = UnsafeQuery $

1073− "WITH" <+> commaSeparated (ctoList renderSQL ctes) <+> renderSQL query

1021+ "WITH" <+> renderSQL ctes <+> renderSQL query

1074

1022

1075{- |

1023{- |

1076>>> import Data.Monoid (Sum (..))

1024>>> import Data.Monoid (Sum (..))

squeal-postgresql/src/Squeal/PostgreSQL/Schema.hs+10−154

@@ -44,10 +44,6 @@ module Squeal.PostgreSQL.Schema

44 , ColumnsType

45 , TableType

46 , SchemumType (..)

47− , IndexType (..)

48− , FunctionType

49− , OperatorType (..)

50− , ReturnsType (..)

51 , SchemaType

47 , SchemaType

52 , SchemasType

48 , SchemasType

53 , Public

49 , Public

@@ -62,16 +58,9 @@ module Squeal.PostgreSQL.Schema

62 , PGlabel (..)

58 , PGlabel (..)

63 -- * Data Definitions

59 -- * Data Definitions

64 , Create

60 , Create

65− , CreateIfNotExists

66− , CreateOrReplace

67 , Drop

61 , Drop

68− , DropSchemum

69− , DropIfExists

70− , DropSchemumIfExists

71 , Alter

62 , Alter

72− , AlterIfExists

73 , Rename

63 , Rename

74− , RenameIfExists

75 , ConstraintInvolves

64 , ConstraintInvolves

76 , DropIfConstraintsInvolve

65 , DropIfConstraintsInvolve

77 , IsNotElem

66 , IsNotElem

@@ -144,7 +133,6 @@ data PGType

144 | PGcomposite RowType -- ^ a composite type represents the structure of a row or record; it is essentially just a list of field names and their data types.

133 | PGcomposite RowType -- ^ a composite type represents the structure of a row or record; it is essentially just a list of field names and their data types.

145 | PGtsvector -- ^ A tsvector value is a sorted list of distinct lexemes, which are words that have been normalized to merge different variants of the same word.

134 | PGtsvector -- ^ A tsvector value is a sorted list of distinct lexemes, which are words that have been normalized to merge different variants of the same word.

146 | PGtsquery -- ^ A tsquery value stores lexemes that are to be searched for.

135 | PGtsquery -- ^ A tsquery value stores lexemes that are to be searched for.

147− | PGoid -- Object identifiers (OIDs) are used internally by PostgreSQL as primary keys for various system tables.

148 | PGrange PGType -- ^ Range types are data types representing a range of values of some element type (called the range's subtype).

136 | PGrange PGType -- ^ Range types are data types representing a range of values of some element type (called the range's subtype).

149 | UnsafePGType Symbol -- ^ an escape hatch for unsupported PostgreSQL types

137 | UnsafePGType Symbol -- ^ an escape hatch for unsupported PostgreSQL types

150

138

@@ -260,19 +248,9 @@ type FromType = [(Symbol,RowType)]

260

248

261-- | `ColumnsToRow` removes column constraints.

249-- | `ColumnsToRow` removes column constraints.

262type family ColumnsToRow (columns :: ColumnsType) :: RowType where

250type family ColumnsToRow (columns :: ColumnsType) :: RowType where

263− ColumnsToRow (column ::: _ :=> ty ': column1 ::: _ :=> ty1 ': column2 ::: _ :=> ty2 ': column3 ::: _ :=> ty3 ': column4 ::: _ :=> ty4 ': column5 ::: _ :=> ty5 ': columns) =

264− column ::: ty ': column1 ::: ty1 ': column2 ::: ty2 ': column3 ::: ty3 ': column4 ::: ty4 ': column5 ::: ty5 ': ColumnsToRow columns

265− ColumnsToRow (column ::: _ :=> ty ': column1 ::: _ :=> ty1 ': column2 ::: _ :=> ty2 ': column3 ::: _ :=> ty3 ': column4 ::: _ :=> ty4 ': columns) =

266− column ::: ty ': column1 ::: ty1 ': column2 ::: ty2 ': column3 ::: ty3 ': column4 ::: ty4 ': ColumnsToRow columns

267− ColumnsToRow (column ::: _ :=> ty ': column1 ::: _ :=> ty1 ': column2 ::: _ :=> ty2 ': column3 ::: _ :=> ty3 ': columns) =

268− column ::: ty ': column1 ::: ty1 ': column2 ::: ty2 ': column3 ::: ty3 ': ColumnsToRow columns

269− ColumnsToRow (column ::: _ :=> ty ': column1 ::: _ :=> ty1 ': column2 ::: _ :=> ty2 ': columns) =

270− column ::: ty ': column1 ::: ty1 ': column2 ::: ty2 ': ColumnsToRow columns

271− ColumnsToRow (column ::: _ :=> ty ': column1 ::: _ :=> ty1 ': columns) =

272− column ::: ty ': column1 ::: ty1 ': ColumnsToRow columns

273− ColumnsToRow (column ::: _ :=> ty ': columns) =

274− column ::: ty ': ColumnsToRow columns

275 ColumnsToRow '[] = '[]

251 ColumnsToRow '[] = '[]

252+ ColumnsToRow (column ::: constraint :=> ty ': columns) =

253+ column ::: ty ': ColumnsToRow columns

276

254

277-- | `TableToColumns` removes table constraints.

255-- | `TableToColumns` removes table constraints.

278type family TableToColumns (table :: TableType) :: ColumnsType where

256type family TableToColumns (table :: TableType) :: ColumnsType where

@@ -305,24 +283,14 @@ instance ty0 ~ ty1 => SamePGType

305

283

306-- | `AllNotNull` is a constraint that proves a `ColumnsType` has no @NULL@s.

284-- | `AllNotNull` is a constraint that proves a `ColumnsType` has no @NULL@s.

307type family AllNotNull (columns :: ColumnsType) :: Constraint where

285type family AllNotNull (columns :: ColumnsType) :: Constraint where

308− AllNotNull (_ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': columns) = AllNotNull columns

309− AllNotNull (_ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': columns) = AllNotNull columns

310− AllNotNull (_ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': columns) = AllNotNull columns

311− AllNotNull (_ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': columns) = AllNotNull columns

312− AllNotNull (_ ::: _ :=> 'NotNull _ ': _ ::: _ :=> 'NotNull _ ': columns) = AllNotNull columns

313− AllNotNull (_ ::: _ :=> 'NotNull _ ': columns) = AllNotNull columns

314 AllNotNull '[] = ()

286 AllNotNull '[] = ()

287+ AllNotNull (column ::: def :=> 'NotNull ty ': columns) = AllNotNull columns

315

288

316-- | `NotAllNull` is a constraint that proves a `ColumnsType` has some

289-- | `NotAllNull` is a constraint that proves a `ColumnsType` has some

317-- @NOT NULL@.

290-- @NOT NULL@.

318type family NotAllNull (columns :: ColumnsType) :: Constraint where

291type family NotAllNull (columns :: ColumnsType) :: Constraint where

319− NotAllNull (_ ::: _ :=> _ _ ': _ ::: _ :=> _ _ ': _ ::: _ :=> _ _ ': _ ::: _ :=> _ _ ': _ ::: _ :=> _ _ ': _ ::: _ :=> 'NotNull _ ': _) = ()

292+ NotAllNull (column ::: def :=> 'NotNull ty ': columns) = ()

320− NotAllNull (_ ::: _ :=> _ _ ': _ ::: _ :=> _ _ ': _ ::: _ :=> _ _ ': _ ::: _ :=> _ _ ': _ ::: _ :=> 'NotNull _ ': _) = ()

321− NotAllNull (_ ::: _ :=> _ _ ': _ ::: _ :=> _ _ ': _ ::: _ :=> _ _ ': _ ::: _ :=> 'NotNull _ ': _) = ()

322− NotAllNull (_ ::: _ :=> _ _ ': _ ::: _ :=> _ _ ': _ ::: _ :=> 'NotNull _ ': _) = ()

323− NotAllNull (_ ::: _ :=> _ _ ': _ ::: _ :=> 'NotNull _ ': _) = ()

324− NotAllNull (_ ::: _ :=> 'NotNull _ ': _) = ()

325− NotAllNull (_ ::: _ :=> 'Null _ ': columns) = NotAllNull columns

293+ NotAllNull (column ::: def :=> 'Null ty ': columns) = NotAllNull columns

326

294

327-- | `NullifyType` is an idempotent that nullifies a `NullityType`.

295-- | `NullifyType` is an idempotent that nullifies a `NullityType`.

328type family NullifyType (ty :: NullityType) :: NullityType where

296type family NullifyType (ty :: NullityType) :: NullityType where

@@ -331,37 +299,17 @@ type family NullifyType (ty :: NullityType) :: NullityType where

331

299

332-- | `NullifyRow` is an idempotent that nullifies a `RowType`.

300-- | `NullifyRow` is an idempotent that nullifies a `RowType`.

333type family NullifyRow (columns :: RowType) :: RowType where

301type family NullifyRow (columns :: RowType) :: RowType where

334− NullifyRow (column ::: ty ': column1 ::: ty1 ': column2 ::: ty2 ': column3 ::: ty3 ': column4 ::: ty4 ': column5 ::: ty5 ': columns) =

302+ NullifyRow '[] = '[]

335− column ::: NullifyType ty ': column1 ::: NullifyType ty1 ': column2 ::: NullifyType ty2 ': column3 ::: NullifyType ty3 ': column4 ::: NullifyType ty4 ': column5 ::: NullifyType ty5 ': NullifyRow columns

336− NullifyRow (column ::: ty ': column1 ::: ty1 ': column2 ::: ty2 ': column3 ::: ty3 ': column4 ::: ty4 ': columns) =

337− column ::: NullifyType ty ': column1 ::: NullifyType ty1 ': column2 ::: NullifyType ty2 ': column3 ::: NullifyType ty3 ': column4 ::: NullifyType ty4 ': NullifyRow columns

338− NullifyRow (column ::: ty ': column1 ::: ty1 ': column2 ::: ty2 ': column3 ::: ty3 ': columns) =

339− column ::: NullifyType ty ': column1 ::: NullifyType ty1 ': column2 ::: NullifyType ty2 ': column3 ::: NullifyType ty3 ': NullifyRow columns

340− NullifyRow (column ::: ty ': column1 ::: ty1 ': column2 ::: ty2 ': columns) =

341− column ::: NullifyType ty ': column1 ::: NullifyType ty1 ': column2 ::: NullifyType ty2 ': NullifyRow columns

342− NullifyRow (column ::: ty ': column1 ::: ty1 ': columns) =

343− column ::: NullifyType ty ': column1 ::: NullifyType ty1 ': NullifyRow columns

344 NullifyRow (column ::: ty ': columns) =

303 NullifyRow (column ::: ty ': columns) =

345 column ::: NullifyType ty ': NullifyRow columns

304 column ::: NullifyType ty ': NullifyRow columns

346− NullifyRow '[] = '[]

347

305

348-- | `NullifyFrom` is an idempotent that nullifies a `FromType`

306-- | `NullifyFrom` is an idempotent that nullifies a `FromType`

349-- used to nullify the left or right hand side of an outer join

307-- used to nullify the left or right hand side of an outer join

350-- in a `Squeal.PostgreSQL.Query.FromClause`.

308-- in a `Squeal.PostgreSQL.Query.FromClause`.

351type family NullifyFrom (tables :: FromType) :: FromType where

309type family NullifyFrom (tables :: FromType) :: FromType where

352− NullifyFrom (table ::: columns ': table1 ::: columns1 ': table2 ::: columns2 ': table3 ::: columns3 ': table4 ::: columns4 ': table5 ::: columns5 ': tables) =

310+ NullifyFrom '[] = '[]

353− table ::: NullifyRow columns ': table1 ::: NullifyRow columns1 ': table2 ::: NullifyRow columns2 ': table3 ::: NullifyRow columns3 ': table4 ::: NullifyRow columns5 ': table5 ::: NullifyRow columns4 ': NullifyFrom tables

354− NullifyFrom (table ::: columns ': table1 ::: columns1 ': table2 ::: columns2 ': table3 ::: columns3 ': table4 ::: columns4 ': tables) =

355− table ::: NullifyRow columns ': table1 ::: NullifyRow columns1 ': table2 ::: NullifyRow columns2 ': table3 ::: NullifyRow columns3 ': table4 ::: NullifyRow columns4 ': NullifyFrom tables

356− NullifyFrom (table ::: columns ': table1 ::: columns1 ': table2 ::: columns2 ': table3 ::: columns3 ': tables) =

357− table ::: NullifyRow columns ': table1 ::: NullifyRow columns1 ': table2 ::: NullifyRow columns2 ': table3 ::: NullifyRow columns3 ': NullifyFrom tables

358− NullifyFrom (table ::: columns ': table1 ::: columns1 ': table2 ::: columns2 ': tables) =

359− table ::: NullifyRow columns ': table1 ::: NullifyRow columns1 ': table2 ::: NullifyRow columns2 ': NullifyFrom tables

360− NullifyFrom (table ::: columns ': table1 ::: columns1 ': tables) =

361− table ::: NullifyRow columns ': table1 ::: NullifyRow columns1 ': NullifyFrom tables

362 NullifyFrom (table ::: columns ': tables) =

311 NullifyFrom (table ::: columns ': tables) =

363 table ::: NullifyRow columns ': NullifyFrom tables

312 table ::: NullifyRow columns ': NullifyFrom tables

364− NullifyFrom '[] = '[]

365

313

366-- | @Create alias x xs@ adds @alias ::: x@ to the end of @xs@ and is used in

314-- | @Create alias x xs@ adds @alias ::: x@ to the end of @xs@ and is used in

367-- `Squeal.PostgreSQL.Definition.createTable` statements and in @ALTER TABLE@

315-- `Squeal.PostgreSQL.Definition.createTable` statements and in @ALTER TABLE@

@@ -371,101 +319,30 @@ type family Create alias x xs where

371 Create alias x (alias ::: y ': xs) = TypeError

319 Create alias x (alias ::: y ': xs) = TypeError

372 ('Text "Create: alias "

320 ('Text "Create: alias "

373 ':<>: 'ShowType alias

321 ':<>: 'ShowType alias

374− ':<>: 'Text "already exists")

322+ ':<>: 'Text "already in use")

375 Create alias y (x ': xs) = x ': Create alias y xs

323 Create alias y (x ': xs) = x ': Create alias y xs

376

324

377−type family CreateIfNotExists alias x xs where

378− CreateIfNotExists alias x '[] = '[alias ::: x]

379− CreateIfNotExists alias x (alias ::: y ': xs) = alias ::: y ': xs

380− CreateIfNotExists alias y (x ': xs) = x ': CreateIfNotExists alias y xs

381−

382−type family CreateOrReplace alias x xs where

383− CreateOrReplace alias x '[] = '[alias ::: x]

384− CreateOrReplace alias x (alias ::: x ': xs) = alias ::: x ': xs

385− CreateOrReplace alias x (alias ::: y ': xs) = TypeError

386− ('Text "CreateOrReplace: expected type "

387− ':<>: 'ShowType x

388− ':<>: 'Text " but alias "

389− ':<>: 'ShowType alias

390− ':<>: 'Text " has type "

391− ':<>: 'ShowType y)

392− CreateOrReplace alias y (x ': xs) = x ': CreateOrReplace alias y xs

393−

394-- | @Drop alias xs@ removes the type associated with @alias@ in @xs@

325-- | @Drop alias xs@ removes the type associated with @alias@ in @xs@

395-- and is used in `Squeal.PostgreSQL.Definition.dropTable` statements

326-- and is used in `Squeal.PostgreSQL.Definition.dropTable` statements

396-- and in @ALTER TABLE@ `Squeal.PostgreSQL.Definition.dropColumn` statements.

327-- and in @ALTER TABLE@ `Squeal.PostgreSQL.Definition.dropColumn` statements.

397type family Drop alias xs where

328type family Drop alias xs where

398− Drop alias '[] = TypeError

399− ('Text "Drop: alias "

400− ':<>: 'ShowType alias

401− ':<>: 'Text " does not exist" )

402− Drop alias (alias ::: x ': xs) = xs

329+ Drop alias ((alias ::: x) ': xs) = xs

403 Drop alias (x ': xs) = x ': Drop alias xs

330 Drop alias (x ': xs) = x ': Drop alias xs

404

331

405−type family DropSchemum alias sch xs where

406− DropSchemum alias sch '[] = TypeError

407− ('Text "DropSchemum: alias "

408− ':<>: 'ShowType alias

409− ':<>: 'Text " does not exist" )

410− DropSchemum alias sch (alias ::: sch x ': xs) = xs

411− DropSchemum alias sch0 (alias ::: sch1 x ': xs) = TypeError

412− ('Text "DropSchemum: expected schemum "

413− ':<>: 'ShowType sch0

414− ':<>: 'Text " but alias "

415− ':<>: 'ShowType alias

416− ':<>: 'Text " has schemum "

417− ':<>: 'ShowType sch1)

418− DropSchemum alias sch (x ': xs) = x ': DropSchemum alias sch xs

419−

420−type family DropIfExists alias xs where

421− DropIfExists alias '[] = '[]

422− DropIfExists alias (alias ::: x ': xs) = xs

423− DropIfExists alias (x ': xs) = x ': DropIfExists alias xs

424−

425−type family DropSchemumIfExists alias sch xs where

426− DropSchemumIfExists alias sch '[] = '[]

427− DropSchemumIfExists alias sch (alias ::: sch x ': xs) = xs

428− DropSchemumIfExists alias sch0 (alias ::: sch1 x ': xs) = TypeError

429− ('Text "DropSchemumIfExists: expected schemum "

430− ':<>: 'ShowType sch1

431− ':<>: 'Text " but alias "

432− ':<>: 'ShowType alias

433− ':<>: 'Text " has schemum "

434− ':<>: 'ShowType sch0)

435− DropSchemumIfExists alias sch (x ': xs) = x ': DropSchemumIfExists alias sch xs

436−

437-- | @Alter alias x xs@ replaces the type associated with an @alias@ in @xs@

332-- | @Alter alias x xs@ replaces the type associated with an @alias@ in @xs@

438-- with the type @x@ and is used in `Squeal.PostgreSQL.Definition.alterTable`

333-- with the type @x@ and is used in `Squeal.PostgreSQL.Definition.alterTable`

439-- and `Squeal.PostgreSQL.Definition.alterColumn`.

334-- and `Squeal.PostgreSQL.Definition.alterColumn`.

440type family Alter alias x xs where

335type family Alter alias x xs where

441− Alter alias x '[] = TypeError

442− ('Text "Alter: alias "

443− ':<>: 'ShowType alias

444− ':<>: 'Text " does not exist" )

445 Alter alias x1 (alias ::: x0 ': xs) = alias ::: x1 ': xs

336 Alter alias x1 (alias ::: x0 ': xs) = alias ::: x1 ': xs

446 Alter alias x1 (x0 ': xs) = x0 ': Alter alias x1 xs

337 Alter alias x1 (x0 ': xs) = x0 ': Alter alias x1 xs

447

338

448−type family AlterIfExists alias x xs where

449− AlterIfExists alias x '[] = '[]

450− AlterIfExists alias x1 (alias ::: x0 ': xs) = alias ::: x1 ': xs

451− AlterIfExists alias x1 (x0 ': xs) = x0 ': AlterIfExists alias x1 xs

452−

453-- | @Rename alias0 alias1 xs@ replaces the alias @alias0@ by @alias1@ in @xs@

339-- | @Rename alias0 alias1 xs@ replaces the alias @alias0@ by @alias1@ in @xs@

454-- and is used in `Squeal.PostgreSQL.Definition.alterTableRename` and

340-- and is used in `Squeal.PostgreSQL.Definition.alterTableRename` and

455-- `Squeal.PostgreSQL.Definition.renameColumn`.

341-- `Squeal.PostgreSQL.Definition.renameColumn`.

456type family Rename alias0 alias1 xs where

342type family Rename alias0 alias1 xs where

457− Rename alias0 alias1 '[] = TypeError

458− ('Text "Rename: alias "

459− ':<>: 'ShowType alias0

460− ':<>: 'Text " does not exist" )

461 Rename alias0 alias1 ((alias0 ::: x0) ': xs) = (alias1 ::: x0) ': xs

343 Rename alias0 alias1 ((alias0 ::: x0) ': xs) = (alias1 ::: x0) ': xs

462 Rename alias0 alias1 (x ': xs) = x ': Rename alias0 alias1 xs

344 Rename alias0 alias1 (x ': xs) = x ': Rename alias0 alias1 xs

463

345

464−type family RenameIfExists alias0 alias1 xs where

465− RenameIfExists alias x '[] = '[]

466− RenameIfExists alias0 alias1 ((alias0 ::: x0) ': xs) = (alias1 ::: x0) ': xs

467− RenameIfExists alias0 alias1 (x ': xs) = x ': RenameIfExists alias0 alias1 xs

468−

469-- | Check if a `TableConstraint` involves a column

346-- | Check if a `TableConstraint` involves a column

470type family ConstraintInvolves column constraint where

347type family ConstraintInvolves column constraint where

471 ConstraintInvolves column ('Check columns) = column `Elem` columns

348 ConstraintInvolves column ('Check columns) = column `Elem` columns

@@ -488,30 +365,9 @@ data SchemumType

488 = Table TableType

365 = Table TableType

489 | View RowType

366 | View RowType

490 | Typedef PGType

367 | Typedef PGType

491− | Index IndexType

368+ | Index

492− | Function FunctionType

493− | Operator OperatorType

494 | UnsafeSchemum Symbol

369 | UnsafeSchemum Symbol

495

370

496−type FunctionType = ([NullityType], ReturnsType)

497−

498−data IndexType

499− = Btree

500− | Hash

501− | Gist

502− | Spgist

503− | Gin

504− | Brin

505−

506−data ReturnsType

507− = Returns NullityType

508− | ReturnsTable RowType

509−

510−data OperatorType

511− = BinaryOp NullityType NullityType NullityType

512− | LeftOp NullityType NullityType

513− | RightOp NullityType NullityType

514−

515{- | The schema of a database consists of a list of aliased,

371{- | The schema of a database consists of a list of aliased,

516user-defined `SchemumType`s.

372user-defined `SchemumType`s.

517

373

squeal-postgresql/test/Doc.hs+13−1

@@ -3,4 +3,16 @@ module Main (main) where

3import Test.DocTest

5main :: IO ()

6−main = doctest [ "-isrc", "src" ]

6+main = doctest

7+ [ "-isrc"

8+ , "src/Squeal/PostgreSQL.hs"

9+ , "src/Squeal/PostgreSQL/Binary.hs"

10+ , "src/Squeal/PostgreSQL/Definition.hs"

11+ , "src/Squeal/PostgreSQL/Manipulation.hs"

12+ , "src/Squeal/PostgreSQL/Query.hs"

13+ , "src/Squeal/PostgreSQL/Expression.hs"

14+ , "src/Squeal/PostgreSQL/PQ.hs"

15+ , "src/Squeal/PostgreSQL/Migration.hs"

16+ , "src/Squeal/PostgreSQL/Transaction.hs"

17+ , "src/Squeal/PostgreSQL/Pool.hs"

18+ ]

squeal-postgresql/test/Property.hs+2−2

@@ -92,14 +92,14 @@ roundtrips = Group "roundtrips"

92 -- genTimeWithZone = (,) <$> genTimeOfDay <*> genTimeZone

94roundtrip

95− :: (OidOf ty, ToParam x ty, FromValue ty x, Show x, Eq x)

95+ :: (ToParam x ty, FromValue ty x, Show x, Eq x)

96 => TypeExpression schemas ('NotNull ty)

97 -> Gen x

98 -> (PropertyName, Property)

99roundtrip = roundtripOn id

100

101roundtripOn

102− :: (OidOf ty, ToParam x ty, FromValue ty x, Show x, Eq x)

102+ :: (ToParam x ty, FromValue ty x, Show x, Eq x)

103 => (x -> x)

104 -> TypeExpression schemas ('NotNull ty)

105 -> Gen x

squeal-postgresql/test/Spec.hs−11

@@ -123,14 +123,3 @@ spec = before_ setupDB . after_ dropDB $ do

123 getRows =<< runQuery query

124 (fromOnly <$> rangesOut :: [Range Int32]) `shouldBe`

125 [ atLeast 3, 3 <=..< 5, Empty, whole ]

126−

127− describe "Parameters" $ do

128−

129− it "should run queries that don't reference all their parameters" $ do

130−

131− out <- withConnection connectionString $ do

132− let

133− query :: Query_ (Public '[]) (Char,Int32) (Only Int32)

134− query = values_ (param @2 `as` #fromOnly)

135− firstRow =<< runQueryParams query ('a', 3 :: Int32)

136− (fromOnly <$> out :: Maybe Int32) `shouldBe` Just 3

stack.yaml−2

@@ -4,5 +4,3 @@ packages:

5extra-deps:

6- unliftio-pool-0.2.1.0

7−- github: morphismtech/free-categories

8− commit: c0e555fbefb5c21619e532264c4dfeac556d0630