khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2025-01-07 21:59:22 +03:00
Code Issues Projects Releases Wiki Activity

relational-query: add operators for overloaded-projection.

Browse Source
This commit is contained in:
Kei Hibino 2017-11-19 22:55:07 +09:00
parent 5192539a74
commit 981ae4ea94
1 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -66,7 +66,7 @@ module Database.Relational.Projectable (
flattenPiMaybe,
-- * Get narrower records
(!), (?!), (?!?), (!??),
(!), (?), (??), (?!), (?!?), (!??),
-- * Aggregate functions
unsafeAggregateOp,
@ -624,8 +624,21 @@ flattenPiMaybe p = flatten . Record.piMaybe p
-> Record cont c -- ^ Narrower flatten and projected object.
(!??) = flattenPiMaybe
-- | Same as '(?!)'. Use this operator like '(? #foo) mayX'.
(?) :: PersistableWidth a
=> Record c (Maybe a) -- ^ Source 'Record'. 'Maybe' type
-> Pi a b -- ^ Record path
-> Record c (Maybe b) -- ^ Narrower projected object. 'Maybe' type result
(?) = (?!)
infixl 8 !, ?!, ?!?, !??
-- | Same as '(?!?)'. Use this operator like '(?? #foo) mayX'.
(??) :: PersistableWidth a
=> Record c (Maybe a) -- ^ Source 'Record'. 'Maybe' phantom type
-> Pi a (Maybe b) -- ^ Record path. 'Maybe' type leaf
-> Record c (Maybe b) -- ^ Narrower projected object. 'Maybe' phantom type result
(??) = (?!?)
infixl 8 !, ?, ??, ?!, ?!?, !??
infixl 7 .*., ./., ?*?, ?/?
infixl 6 .+., .-., ?+?, ?-?
infixl 5 .||., ?||?