Как я могу использовать HaskellDB с полиморфными полями? (Проблемы с перекрывающимися экземплярами) - PullRequest
Новая
       21

Как я могу использовать HaskellDB с полиморфными полями? (Проблемы с перекрывающимися экземплярами)

50 голосов
/ 12 ноября 2011

У меня есть схема, которая имеет 6 различных типов сущностей, но у них всех много общего.Я подумал, что мог бы, вероятно, абстрагироваться от этой общности на уровне типов, но столкнулся с проблемой с HaskellDB и перекрывающимися экземплярами.Вот код, с которого я начал, который отлично работает: 

import Database.HaskellDB
import Database.HaskellDB.DBLayout

data Revision a = Revision deriving Eq
data Book = Book

instance FieldTag (Revision a) where
  fieldName _ = "rev_id"

revIdField :: Attr (Revision Book) (Revision Book)
revIdField = mkAttr undefined

branch :: Table (RecCons (Revision Book) (Expr (Revision Book)) RecNil)
branch = baseTable "branch" $ hdbMakeEntry undefined
bookRevision :: Table (RecCons (Revision Book) (Expr (Revision Book)) RecNil)
bookRevision = baseTable "book_revision" $ hdbMakeEntry undefined

masterHead :: Query (Rel (RecCons (Revision Book) (Expr (Revision Book)) RecNil))
masterHead = do
  revisions <- table bookRevision
  branches <- table branch
  restrict $ revisions ! revIdField .==. branches ! revIdField
  return revisions

Это отлично работает, но branch слишком специфично.На самом деле я хочу выразить следующее: 

branch :: Table (RecCons (Revision entity) (Expr (Revision entity)) RecNil)
branch = baseTable "branch" $ hdbMakeEntry undefined

Однако с этим изменением я получаю следующую ошибку: 

Overlapping instances for HasField
                            (Revision Book)
                            (RecCons (Revision entity0) (Expr (Revision entity0)) RecNil)
  arising from a use of `!'
Matching instances:
  instance [overlap ok] HasField f r => HasField f (RecCons g a r)
    -- Defined in Database.HaskellDB.HDBRec
  instance [overlap ok] HasField f (RecCons f a r)
    -- Defined in Database.HaskellDB.HDBRec
(The choice depends on the instantiation of `entity0'
 To pick the first instance above, use -XIncoherentInstances
 when compiling the other instance declarations)
In the second argument of `(.==.)', namely `branches ! revIdField'
In the second argument of `($)', namely
  `revisions ! revIdField .==. branches ! revIdField'
In a stmt of a 'do' expression:
      restrict $ revisions ! revIdField .==. branches ! revIdField

Я пытался вслепую бросить -XOverlappingInstances и-XIncoherentInstances в этом, но это не помогает (и я бы хотел понять, почему замена конкретного типа на переменную типа приводит к таким проблемам).

Любая помощь и совет будутвысоко ценится!

1 Ответ

2 голосов
/ 09 июля 2012

С возрастом этого вопроса, вероятно, уже слишком поздно для ответа, чтобы иметь какое-либо значение для вас, но, возможно, если какой-то другой человек приходит с подобной проблемой ...

Это сводится ктот факт, что нельзя сделать вывод, что вы хотите, чтобы entity ссылался на Book, когда branch используется в masterHead.Часть сообщения об ошибке, которая гласит

Выбор зависит от того, какой экземпляр "entity0"

говорит вам, где вам нужно устранить неоднозначность, в частности, что вам нужнодать больше информации о том, что entity0 должно быть.Вы можете дать аннотации некоторых типов, чтобы помочь в этом.

Сначала определите branch как 

type BranchTable entity = Table (RecCons (Revision entity) (Expr (Revision entity)) RecNil)
branch :: BrancTable entity
branch = baseTable "branch" $ hdbMakeEntry undefined

, а затем измените masterHead на 

masterHead :: Query (Rel (RecCons (Revision Book) (Expr (Revision Book)) RecNil))
masterHead = do
  revisions <- table bookRevision
  branches <- table (branch :: BranchTable Book)
  restrict $ revisions ! revIdField .==. branches ! revIdField
  return revisions

Обратите внимание на аннотацию типа, примененную к branch: branch :: BranchTable Book, которая служит для устранения неоднозначности, которая вызывала ошибку типа.

Чтобы сделать masterHead применимым ко всему с полем Revision e, выможно использовать это определение: 

masterHead :: (ShowRecRow r, HasField (Revision e) r) => Table r -> e -> Query (Rel r)
masterHead revTable et =
  do  revisions <- table revTable
      branches <- table branch'
      restrict $ revisions ! revIdField' .==. branches ! revIdField'
      return revisions
  where (branch', revIdField') = revBundle revTable et
        revBundle :: HasField (Revision e) r => Table r -> e -> (BranchTable e, Attr (Revision e) (Revision e))
        revBundle table et = (branch, revIdField)

Аргумент et необходим, чтобы указать, каким должен быть тип e, и может быть просто undefined приписан правильному типу, как в 

masterHead bookRevision (undefined :: Book)

, который генерирует SQL 

SELECT rev_id1 as rev_id
FROM (SELECT rev_id as rev_id2
      FROM branch as T1) as T1,
     (SELECT rev_id as rev_id1
      FROM book_revision as T1) as T2
WHERE rev_id1 = rev_id2

, хотя для этого требуется FlexibleContexts, но его можно применить к модулю asker без перекомпиляции HaskellDB.

...