khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2025-01-08 14:26:33 +03:00
Code Issues Projects Releases Wiki Activity

Add show-num operators.

Browse Source
This commit is contained in:
Kei Hibino 2014-05-23 16:49:18 +09:00
parent 3be273fe2e
commit a8fce54c12
1 changed files with 18 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
relational-query/src/Database/Relational/Query/Projectable.hs
View File

@ -49,8 +49,8 @@ module Database.Relational.Query.Projectable (
isNull, isNotNull, not', exists,
(.||.), (?||?),
(.+.), (.-.), (./.), (.*.), negate', fromIntegral',
(?+?), (?-?), (?/?), (?*?), negateMaybe, fromIntegralMaybe,
(.+.), (.-.), (./.), (.*.), negate', fromIntegral', showNum,
(?+?), (?-?), (?/?), (?*?), negateMaybe, fromIntegralMaybe, showNumMaybe,
-- * Terms for Window function types
rank, dense_rank, row_number, percent_rank, cume_dist,
@ -306,10 +306,19 @@ negate' :: (SqlProjectable p, ProjectableShowSql p, Num a)
=> p a -> p a
negate' = unsafeFlatUniOp $ SQL.word "-"
unsafeCastProjectable :: (SqlProjectable p, ProjectableShowSql p)
=> p a -> p b
unsafeCastProjectable = unsafeProjectSql . unsafeShowSql
-- | Number fromIntegral uni-operator.
fromIntegral' :: (SqlProjectable p, ProjectableShowSql p, Integral a, Num b)
=> p a -> p b
fromIntegral' = unsafeProjectSql . unsafeShowSql
fromIntegral' = unsafeCastProjectable
-- | Unsafely show number into string-like type in projections.
showNum :: (SqlProjectable p, ProjectableShowSql p, Num a, IsString b)
=> p a -> p b
showNum = unsafeCastProjectable
-- | Number operator corresponding SQL /+/ .
(?+?) :: (SqlProjectable p, ProjectableShowSql p, Num a)
@ -339,7 +348,12 @@ negateMaybe = unsafeFlatUniOp $ SQL.word "-"
-- | Number fromIntegral uni-operator.
fromIntegralMaybe :: (SqlProjectable p, ProjectableShowSql p, Integral a, Num b)
=> p (Maybe a) -> p (Maybe b)
fromIntegralMaybe = unsafeProjectSql . unsafeShowSql
fromIntegralMaybe = unsafeCastProjectable
-- | Unsafely show number into string-like type in projections.
showNumMaybe :: (SqlProjectable p, ProjectableShowSql p, Num a, IsString b)
=> p (Maybe a) -> p (Maybe b)
showNumMaybe = unsafeCastProjectable
unsafeSqlWord :: ProjectableShowSql p => p a -> Keyword
unsafeSqlWord = SQL.word . unsafeShowSql