packages feed

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 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,