Question

我正在尝试使用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），但类似的问题（唯一的区别是我没有加入）

感谢您的帮助。

谢谢！

Answer 1

来自表参数类型的有时会从必须显式的结果类型中推断出来。

通常会出现关于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

更新：它编译

如何在Esqueleto查询中使用Group By和Sum

1 个答案: