khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-11-29 06:37:03 +03:00
Code Issues Projects Releases Wiki Activity

relational-query: simplified.

Browse Source
This commit is contained in:
Kei Hibino 2018-06-20 23:24:05 +09:00
parent a90d319eae
commit 6786d95ae8
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
relational-query/src/Database/Relational/TH.hs
View File

@ -112,12 +112,10 @@ defineHasConstraintKeyInstance :: TypeQ -- ^ Constraint type
-> TypeQ -- ^ Key type -> TypeQ -- ^ Key type
-> [Int] -- ^ Indexes specifies key -> [Int] -- ^ Indexes specifies key
-> Q [Dec] -- ^ Result 'HasConstraintKey' declaration -> Q [Dec] -- ^ Result 'HasConstraintKey' declaration
defineHasConstraintKeyInstance constraint recType colType indexes = do defineHasConstraintKeyInstance constraint recType colType indexes =
-- kc <- defineHasColumnConstraintInstance constraint recType index [d| instance HasConstraintKey $constraint $recType $colType where
ck <- [d| instance HasConstraintKey $constraint $recType $colType where constraintKey = unsafeDefineConstraintKey $(listE [integralE ix | ix <- indexes])
constraintKey = unsafeDefineConstraintKey $(listE [integralE ix | ix <- indexes]) |]
|]
return ck
-- | Rule template to infer primary key. -- | Rule template to infer primary key.
defineHasPrimaryKeyInstance :: TypeQ -- ^ Record type defineHasPrimaryKeyInstance :: TypeQ -- ^ Record type