haskell - 在 esqueleto 中将 Int 和 double 值相乘？

Question

我面临的问题非常简单:基本上我正在尝试计算 Int 和 Double 的乘积。在普通的 Haskell 中我只会运行

product = (fromIntegral int_val) * double_val

但是我不知道如何在 esqueleto 中做到这一点。我有一个表 B，其中包含 Int 类型的“金额”列，以及一个表 C，其中包含 Double 类型的“价格”列。当尝试提取两者并计算乘积时，如下所示

(b ^. BAmount) *. (c ^. CPrice) 

我收到类型错误(如预期):

Couldn't match type ‘Double’ with ‘Int’
Expected type: EntityField Drink Int
  Actual type: EntityField Drink Double

我在文档中找不到任何对我有帮助的内容，而且我实际上不知道如何继续。 (有关更多代码，请参阅下面的完整示例)。

可能的解决方案:我当然可以将价格存储为 Int，但我很感兴趣是否可以使用 esqueleto 来完成此操作。

完整示例:

数据库:

表 A:ID|名称

表 B:Id|AId|BId|金额其中 Amount 是 Int，AId 和 BId 是对表 A 和 B 的引用。

表 C:ID|名称|价格，这是双倍价格

我编写的查询如下:

result <- liftIO $ runDb $ select $
            from $ \(a, b, c) -> do
              where_ (a ^. AId ==. b ^. BAId)
              where_ (b ^. BCId ==. c ^. CId)
              let product = (b ^. BAmount) *. (c ^. CPrice)
              let total = sum_ product :: SqlExpr (Value (Maybe Double))
              groupBy $ a ^. AName
              return (a ^. AName)

编辑:

我尝试过使用 fmap 和 fromIntegral，如下所示:

let product = fmap fromIntegral (b ^. BAmount) *. (c ^. CPrice)

这会导致两个错误:没有 (Functor SqlExpr) 的实例和没有 (Num (Value Double)) 的实例

根据评论中的建议(@Thomas M. DuBuisson)，我尝试了:

let product = fmap (fmap fromIntegral) (b ^. BAmount) *. (c ^. CPrice)

这解决了第二个问题，但我仍然得到No instance for (Functor SqlExpr)。

编辑 2:

我已经在 Yesod 邮件列表上询问过这个问题。讨论可参见here .

Answer 1

我不是专家，但您可以尝试将 _floor 应用于您的整数参数:

floor_ :: (..., PersistField a, Num a, PersistField b, Num b)
       => expr (Value a) -> expr (Value b)

这可能会将您的整数转换为 double ，因为 a 和 b 可能不同。通常您使用它将 double 转换为整数，但它也可能以相反的方式工作。

一些类似的 Esqueleto 函数也可能有效。

是的，这是一个黑客行为。希望高手能提出更好的解决方案。