50

私は 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しましたが、それは役に立ちません(そして、具体的な型を型変数に置き換えるとこれが非常に問題になる理由を実際に理解したいと思います)。

どんな助けやアドバイスも大歓迎です!

4

1 に答える 1

2

この質問の年齢を考えると、おそらく答えが遅すぎてあなたに違いをもたらすことはできませんが、他の人が同様の問題を抱えている場合...

でが使用されている場合entityに参照したいことが推測できないという事実に帰着します。エラーメッセージの読み取り部分BookbranchmasterHead

選択は「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が、HaskellDB を再コンパイルせずに、asker のモジュールに適用できます。

于 2012-07-09T06:34:22.150 に答える