beam-core 0.10.4.0 → 0.10.5.0
raw patch · 3 files changed
+27/−18 lines, 3 filesdep ~timePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: time
API changes (from Hackage documentation)
- Database.Beam.Query: allFromView_ :: forall be (db :: (Type -> Type) -> Type) table s. (Database be db, Beamable table, BeamSqlBackend be) => DatabaseEntity be db (ViewEntity table) -> Q be db s (table (QExpr be s))
+ Database.Beam.Query: allFromView_ :: forall table be (db :: (Type -> Type) -> Type) s. (Beamable table, BeamSqlBackend be) => DatabaseEntity be db (ViewEntity table) -> Q be db s (table (QExpr be s))
- Database.Beam.Query: all_ :: forall be (db :: (Type -> Type) -> Type) table s. (Database be db, BeamSqlBackend be) => DatabaseEntity be db (TableEntity table) -> Q be db s (table (QExpr be s))
+ Database.Beam.Query: all_ :: forall be (db :: (Type -> Type) -> Type) table s. BeamSqlBackend be => DatabaseEntity be db (TableEntity table) -> Q be db s (table (QExpr be s))
- Database.Beam.Query: join_ :: forall be (db :: (Type -> Type) -> Type) table s. (Database be db, Table table, BeamSqlBackend be) => DatabaseEntity be db (TableEntity table) -> (table (QExpr be s) -> QExpr be s Bool) -> Q be db s (table (QExpr be s))
+ Database.Beam.Query: join_ :: forall table be (db :: (Type -> Type) -> Type) s. (Table table, BeamSqlBackend be) => DatabaseEntity be db (TableEntity table) -> (table (QExpr be s) -> QExpr be s Bool) -> Q be db s (table (QExpr be s))
- Database.Beam.Query: join_' :: forall be (db :: (Type -> Type) -> Type) table s. (Database be db, Table table, BeamSqlBackend be) => DatabaseEntity be db (TableEntity table) -> (table (QExpr be s) -> QExpr be s SqlBool) -> Q be db s (table (QExpr be s))
+ Database.Beam.Query: join_' :: forall table be (db :: (Type -> Type) -> Type) s. (Table table, BeamSqlBackend be) => DatabaseEntity be db (TableEntity table) -> (table (QExpr be s) -> QExpr be s SqlBool) -> Q be db s (table (QExpr be s))
- Database.Beam.Query: relatedBy_ :: forall be (db :: (Type -> Type) -> Type) rel s. (Database be db, Table rel, BeamSqlBackend be) => DatabaseEntity be db (TableEntity rel) -> (rel (QExpr be s) -> QExpr be s Bool) -> Q be db s (rel (QExpr be s))
+ Database.Beam.Query: relatedBy_ :: forall be (db :: (Type -> Type) -> Type) rel s. (Table rel, BeamSqlBackend be) => DatabaseEntity be db (TableEntity rel) -> (rel (QExpr be s) -> QExpr be s Bool) -> Q be db s (rel (QExpr be s))
- Database.Beam.Query: relatedBy_' :: forall be (db :: (Type -> Type) -> Type) rel s. (Database be db, Table rel, BeamSqlBackend be) => DatabaseEntity be db (TableEntity rel) -> (rel (QExpr be s) -> QExpr be s SqlBool) -> Q be db s (rel (QExpr be s))
+ Database.Beam.Query: relatedBy_' :: forall be (db :: (Type -> Type) -> Type) rel s. (Table rel, BeamSqlBackend be) => DatabaseEntity be db (TableEntity rel) -> (rel (QExpr be s) -> QExpr be s SqlBool) -> Q be db s (rel (QExpr be s))
- Database.Beam.Query: related_ :: forall be (db :: (Type -> Type) -> Type) rel s. (Database be db, Table rel, BeamSqlBackend be, HasTableEquality be (PrimaryKey rel)) => DatabaseEntity be db (TableEntity rel) -> PrimaryKey rel (QExpr be s) -> Q be db s (rel (QExpr be s))
+ Database.Beam.Query: related_ :: forall be (db :: (Type -> Type) -> Type) rel s. (Table rel, BeamSqlBackend be, HasTableEquality be (PrimaryKey rel)) => DatabaseEntity be db (TableEntity rel) -> PrimaryKey rel (QExpr be s) -> Q be db s (rel (QExpr be s))
Files
- ChangeLog.md +13/−0
- Database/Beam/Query/Combinators.hs +11/−12
- beam-core.cabal +3/−6
ChangeLog.md view
@@ -1,3 +1,16 @@+# 0.10.5.0++## Updated dependencies++* Updated the upper bound on `time` to include `time-1.14`++## Query combinator API change++* The `Database be db` context has been removed from the query combinators `all_`,+ `allFromView_`, `join_`, `join'`, `related_`, `relatedBy_` and `relatedBy_'`.++ This constraint was not used by any of these functions.+ # 0.10.4.0 ## Added features
Database/Beam/Query/Combinators.hs view
@@ -88,19 +88,18 @@ import GHC.TypeLits (TypeError, ErrorMessage(Text)) -- | Introduce all entries of a table into the 'Q' monad-all_ :: ( Database be db, BeamSqlBackend be )- => DatabaseEntity be db (TableEntity table)- -> Q be db s (table (QExpr be s))+all_ :: BeamSqlBackend be+ => DatabaseEntity be db (TableEntity table)+ -> Q be db s (table (QExpr be s)) all_ (DatabaseEntity dt@(DatabaseTable {})) = Q $ liftF (QAll (\_ -> fromTable (tableNamed (tableName (dbTableSchema dt) (dbTableCurrentName dt))) . Just . (,Nothing)) (tableFieldsToExpressions (dbTableSettings dt)) (\_ -> Nothing) snd) -- | Introduce all entries of a view into the 'Q' monad-allFromView_ :: ( Database be db, Beamable table- , BeamSqlBackend be )- => DatabaseEntity be db (ViewEntity table)- -> Q be db s (table (QExpr be s))+allFromView_ :: ( Beamable table, BeamSqlBackend be )+ => DatabaseEntity be db (ViewEntity table)+ -> Q be db s (table (QExpr be s)) allFromView_ (DatabaseEntity vw) = Q $ liftF (QAll (\_ -> fromTable (tableNamed (tableName (dbViewSchema vw) (dbViewCurrentName vw))) . Just . (,Nothing)) (tableFieldsToExpressions (dbViewSettings vw))@@ -124,7 +123,7 @@ -- 'Bool'. For a version that takes 'SqlBool' (a possibly @UNKNOWN@ -- boolean, that maps more closely to the SQL standard), see -- 'join_''.-join_ :: ( Database be db, Table table, BeamSqlBackend be )+join_ :: ( Table table, BeamSqlBackend be ) => DatabaseEntity be db (TableEntity table) -> (table (QExpr be s) -> QExpr be s Bool) -> Q be db s (table (QExpr be s))@@ -132,7 +131,7 @@ -- | Like 'join_', but accepting an @ON@ condition that returns -- 'SqlBool'-join_' :: ( Database be db, Table table, BeamSqlBackend be )+join_' :: ( Table table, BeamSqlBackend be ) => DatabaseEntity be db (TableEntity table) -> (table (QExpr be s) -> QExpr be s SqlBool) -> Q be db s (table (QExpr be s))@@ -282,7 +281,7 @@ -- | Introduce all entries of the given table which are referenced by the given 'PrimaryKey' related_ :: forall be db rel s- . ( Database be db, Table rel, BeamSqlBackend be+ . ( Table rel, BeamSqlBackend be , HasTableEquality be (PrimaryKey rel) ) => DatabaseEntity be db (TableEntity rel)@@ -293,7 +292,7 @@ -- | Introduce all entries of the given table for which the expression (which can depend on the queried table returns true) relatedBy_ :: forall be db rel s- . ( Database be db, Table rel, BeamSqlBackend be )+ . ( Table rel, BeamSqlBackend be ) => DatabaseEntity be db (TableEntity rel) -> (rel (QExpr be s) -> QExpr be s Bool) -> Q be db s (rel (QExpr be s))@@ -301,7 +300,7 @@ -- | Introduce all entries of the given table for which the expression (which can depend on the queried table returns true) relatedBy_' :: forall be db rel s- . ( Database be db, Table rel, BeamSqlBackend be )+ . ( Table rel, BeamSqlBackend be ) => DatabaseEntity be db (TableEntity rel) -> (rel (QExpr be s) -> QExpr be s SqlBool) -> Q be db s (rel (QExpr be s))
beam-core.cabal view
@@ -1,8 +1,5 @@--- Initial beam.cabal generated by cabal init. For further documentation,--- see http://haskell.org/cabal/users-guide/- name: beam-core-version: 0.10.4.0+version: 0.10.5.0 synopsis: Type-safe, feature-complete SQL query and manipulation interface for Haskell description: Beam is a Haskell library for type-safe querying and manipulation of SQL databases. Beam is modular and supports various backends. In order to use beam, you will need to use@@ -65,11 +62,11 @@ text >=1.2.2.0 && <2.2, bytestring >=0.10 && <0.13, mtl >=2.2.1 && <2.4,- microlens >=0.4 && <0.5,+ microlens >=0.4 && <0.6, ghc-prim >=0.5 && <0.14, free >=4.12 && <5.3, dlist >=0.7.1.2 && <1.1,- time >=1.6 && <1.13,+ time >=1.6 && <1.15, hashable >=1.2.4.0 && <1.6, network-uri >=2.6 && <2.7, containers >=0.5 && <0.9,