与 Esqueleto 的外连接答案

【问题标题】：Outer Joins with Esqueleto与 Esqueleto 的外连接
【发布时间】：2014-07-20 23:26:15
【问题描述】：

我对外部联接如何与 esqueleto 一起使用有点困惑。

我创建了以下查询（简化）：

select $ from $ \(rep `LeftOuterJoin` event) -> do
          on (rep ^. RepAtomId  ==. event   ^. EventAtomId )
          where_ (rep ^. RepAtomId  ==. val aid)
          return $ (rep, event ^. EventSeconds)

据我所知，在 SQL 端，此查询将搜索可能具有关联事件的代表。如果它们没有关联的事件，则事件字段（如 EventSeconds）将为“null”。在 Haskell 方面，这些应该被翻译成 Maybe Seconds（嗯，整数，但你明白了）。

那么当我运行这个查询并且没有任何东西可以连接到我的代表关系时，实际上会发生什么？如何解构元组以粘贴默认值？

目前，我有一些类似的东西：

case listToMaybe lrep of
  Just ( entityVal -> rep
       , unValue -> seconds
       ) -> do stuff

（请注意，我在此处打开了 ViewPatterns）。这种类型的检查。但如果我使用 (?.) 和 (fromMaybe 3600) 会失败。模式分析中的 unValue。

【问题讨论】：

标签： haskell esqueleto

【解决方案1】：

我可以通过在正确的位置添加“just”来解决此问题：

select $ from $ \(rep `LeftOuterJoin` event) -> do
         on (just (rep ^. RepAtomId)  ==. event  ?. EventAtomId )
         where_ (rep ^. RepAtomId  ==. val aid)
         return $ (rep, event ?. EventSeconds)

case listToMaybe lrep of
  Just ( entityVal -> rep
       , (fromMaybe 3600) . unValue -> seconds
       ) -> do stuff

这个想法是 (event) 确实有一个类似 Maybe 的类型（我不确定它的类型是什么，但我知道它有一个嵌入的 Maybe）。因此，当我与代表进行比较时，我将 a (Maybe a) 与 a 进行比较。 “只是”将 a 包装成 a（也许是 a），而不必解构中间类型。

【讨论】：