1

多分外部キーを持つテーブルがあります。参加しようとしていますが、コンパイルできません。

CatTable
   name Text

MyTable
   category CatTableId Maybe
   amount Double

私のクエリ:

myQuery :: (PersistQuery (SqlPersistT m), MonadLogger m , MonadResourceBase m) =>
                        SqlPersistT m [(E.Value (Maybe (Text)), E.Value (Maybe Double))]
myQuery = do
  E.select $ E.from $  \(t `E.LeftOuterJoin` c) -> do
        E.on (t E.?. MyTableCategory E.==. E.just (c E.^. CatTableId))
        E.groupBy $ E.just (c E.^. CatTableName)
        let sum' = E.sum_ (t E.^. MyTableAmount)
        E.orderBy [E.desc sum']
        return (E.just (c E.^. CatTableName) , sum' )

そして、私はこのタイプのエラーを受け取ります:

Couldn't match type `KeyBackend SqlBackend CatTable'
              with `Maybe (KeyBackend SqlBackend CatTable)'
Expected type: EntityField
                 CatTable (Maybe (KeyBackend SqlBackend CatTable))
  Actual type: EntityField
                 CatTable (KeyBackend SqlBackend CatTable)
In the second argument of `(^.)', namely `CatTableId'
In the first argument of `just', namely `(c ^. CatTableId)'
In the second argument of `(E.==.)', namely
  `just (c ^. CatTableId)'

Couldn't match type `Maybe (Entity MyTable)' with `Entity MyTable'
Expected type: SqlExpr (Entity MyTable)
  Actual type: SqlExpr (Maybe (Entity MyTable))
In the first argument of `(^.)', namely `t'
In the first argument of `sum_', namely `(t ^. MyTableAmount)'
In the expression: sum_ (t ^. MyTableAmount)

と のさまざまな組み合わせを試しましたが、うまく^.いき?.ませんでした。また、削除または追加justも試みました。この時点で、これはエラーを解決する方法を理解せずに推測しているだけです。メイビーのフィールドに参加する方法についてのご意見をお待ちしております。CatTablegroupByの Maybe ではないため、おそらく複雑になっていると思いますが、結合されるとそうなります。

 select * from cat_table;
 id|name
 1|A
 2|B
 3|C

 select * from my_table;
 id|category|amount
 1|1|55.0
 2|1|15.0
 3|2|10.0
 4|2|60.0
 5||60.0


select name, sum(amount) from my_table as m left join cat_table as c
       on m.category = c.id 
       group by name;


|60.0
A|70.0
B|70.0
4

1 に答える 1

1

このクエリは機能します。私が質問に投稿したクエリとこれの違いは、実際?.にはそのバリエーションを試したと思っていましたが、おそらく明らかなことを見逃していました。 いつ使う?.かはまだ未定です。. E.just削除してに使用すると、機能するクエリも取得されることに気付き?.ましたCatTable Entity (c)。 

myQuery :: (PersistQuery (SqlPersistT m), MonadLogger m , MonadResourceBase m) =>
                        SqlPersistT m [(E.Value (Maybe Text), E.Value (Maybe Double))]
myQuery = do
  E.select $ E.from $  \(t `E.LeftOuterJoin` c) -> do
        E.on (t E.^. MyTableCategory E.==. E.just (c E.^. CatTableId))
        E.groupBy $ E.just (c E.^. CatTableName)
        let sum' = E.sum_ (t E.^. MyTableAmount)
        E.orderBy [E.desc sum']
        return (E.just (c E.^. CatTableName) ,sum')
于 2014-05-12T21:32:23.727 に答える