我试图使用Esqueleto的一个示例查询,但我无法让它编译。唯一的变化是,我使用它没有连接。
我有一个表,看起来像这样:
sqlite> select * from my_table;
id|category|amount
1|A|1.0
2|A|2.0
3|B|2.0
4|B|8.0
我想这样做:
select category,sum(amount) from my_table group by category;
category|sum(amount)
A|3.0
B|10.0
这是我的查询:
import qualified Database.Esqueleto as E
r <- runDB $
E.select $ E.from $ t -> do
E.groupBy $ t E.^. MyTableCategory
let sum' = E.sum_ (t E.^. MyTableAmount)
E.orderBy [E.desc sum']
return (t E.^. MyTableCategory, sum' )
我得到这个错误:
No instance for (PersistField b0) arising from a use of `E.select'
The type variable `b0' is ambiguous
Possible fix: add a type signature that fixes these type variable(s)
Note: there are several potential instances:
instance PersistField Account -- Defined in `Model'
instance PersistField AccountCategory -- Defined in `Model'
instance PersistField MyTable -- Defined in `Model'
...plus 37 others
In the expression: E.select
In the second argument of `($)', namely
`E.select
$ E.from
$ t
-> do { E.groupBy $ t E.^. MyTableCategory;
let ...;
.... }'
In a stmt of a 'do' block:
r <- runDB
$ E.select
$ E.from
$ t
-> do { E.groupBy $ t E.^. MyTableCategory;
let ...;
.... }
我在哪里提供E.select
的类型信息?编译器应该能够从t E.^.MyTableCategory
推断吗?我也尝试使用countRows / groupBy
的例子在这里(https://hackage.haskell.org/package/esqueleto-1.4.1/docs/Database-Esqueleto.html),但类似的问题(唯一的区别是,我没有一个连接)
谢谢你的帮助。
谢谢!
from表的参数类型有时是从结果类型推导出来的,结果类型必须是显式的。
其他的歧义通常出现在monad类型上。
将查询包含在特定的函数中以解决一些歧义是很有用的。
我现在不能证明你的esqueleto查询符合要求,但是
试试这个:
{-# LANGUAGE PackageImports, ConstraintKinds #-}
import Import
import "esqueleto" Database.Esqueleto as E
import "monad-logger" Control.Monad.Logger (MonadLogger)
import "resourcet" Control.Monad.Trans.Resource (MonadResourceBase)
type TCategory = Text -- change it if its different
type TAmount = Double
myQuery :: (PersistQuery (SqlPersist m), MonadLogger m , MonadResourceBase m) =>
SqlPersist m [(E.Value TCategory, E.Value (Maybe TAmount))] -- corrected
myQuery = do
-- your query
E.select $ E.from $ t -> do
E.groupBy $ t E.^. MyTableCategory
let sum' = E.sum_ (t E.^. MyTableAmount)
E.orderBy [E.desc sum']
return (t E.^. MyTableCategory, sum' )
-- within your handler:
pairListResult <- runDB myQuery
forM_ pairListResult $ (E.Value categ, E.Value maybeAmount) -> do -- whatever
更新:它编译