khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-12-14 22:32:07 +03:00
Code Issues Projects Releases Wiki Activity

Fix types of exists and listQuery operators.

Browse Source
This commit is contained in:
Kei Hibino 2013-09-03 20:25:44 +09:00
parent a84a7f2b6b
commit b8d517c103
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
relational-join/src/Database/Relational/Query/Projectable.hs
View File

@ -237,7 +237,7 @@ not = unsafeUniOp SQLs.not
-- | Logical operator corresponding SQL /EXISTS/ .
exists :: (SqlProjectable p, ProjectableShowSql p)
=> ListProjection (Projection Exists) (Maybe Bool) -> p (Maybe Bool)
=> ListProjection (Projection Exists) r -> p (Maybe Bool)
exists = unsafeProjectSql . paren . SQLs.defineUniOp SQL.EXISTS
. unsafeShowSqlListProjection unsafeShowSql

6
relational-join/src/Database/Relational/Query/Relation.hs
View File

@ -116,15 +116,15 @@ queryMaybe' pr = do
queryMaybe :: MonadQualify Qualify m => Relation () r -> m (Projection Flat (Maybe r))
queryMaybe = fmap snd . queryMaybe'
queryList0 :: Relation p r -> ListProjection (Projection Flat) r
queryList0 :: Relation p r -> ListProjection (Projection c) r
queryList0 = unsafeListProjectionFromSubQuery . evalQualifyPrime . subQueryQualifyFromRelation
-- | List subQuery, for /IN/ and /EXIST/ with place-holder parameter 'p'.
queryList' :: Relation p r -> (PlaceHolders p, ListProjection (Projection Flat) r)
queryList' :: Relation p r -> (PlaceHolders p, ListProjection (Projection c) r)
queryList' = placeHoldersFromRelation &&& queryList0
-- | List subQuery, for /IN/ and /EXIST/.
queryList :: Relation () r -> ListProjection (Projection Flat) r
queryList :: Relation () r -> ListProjection (Projection c) r
queryList = queryList0
-- | Finalize 'QuerySimple' monad and generate 'Relation'.