如何用Esqueleto编写查询/子选择？

Question

根据此答案 ，我得出结论，Esqueleto不允许使用left outer join联接组成两个查询。 但是，我希望在某个地方仍然可以解决我的问题。

我想用另外受限制的表做左外部联接。 考虑我的第一种方法：

fetchFarmsByCity1 city = runDb . select . from $
  \(farm `LeftOuterJoin` pig) -> do
    on $ pig ?. PigFkFarm ==. just (farm ^. FarmId)
    where_ $
          pig ?. PigNumberOfLegs ==. val 4
      &&. farm ^. FarmCity ==. val city
    return (farm, pig)

• 我得到了所有的农场和他们的四足猪。
• 我得到了农场，即使他们根本没有任何猪（多亏了左边的外部联接）。
• 但是，我没有一个拥有2英尺，3英尺或5英尺猪的农场，但这就是我所需要的：如果猪有3英尺，我希望这个农场没有任何猪。

我的第二种方法是基于SQL的子查询，它在类型检查期间已经失败，这可能是由于这篇文章顶部链接的限制所致：

pigsQuery = from $ \pig -> do
  where_ $ pig ^. PigNumberOfLegs ==. val 4
  return pig

fetchFarmsByCity2 city = runDb . select . from $
  \(farm `LeftOuterJoin` pig) -> do
    pigs <- pigsQuery
    on $ pig ?. PigFkFarm ==. just (farm ^. FarmId)
    where_ $
          farm ^. FarmCity ==. val city

还有另一种解决方法吗？ 我可以以某种方式在外部联接之前移动支腿数量限制（在第一种方法中）吗？ 将其拆分为两个查询将是我的最后选择。

我觉得这已经足够标准，可以有其他解决方案了。

Answer 1

它似乎通过将“ 4条腿”限制移到on子句而不是where_子句来工作：

fetchFarmsByCity1 city = select . from $
  \(farm `LeftOuterJoin` pig) -> do
    on $
        (pig ?. PigFkFarm ==. just (farm ^. FarmId)
        &&. (pig ?. PigNumberOfLegs ==. just (val 4)))
    where_ $
      farm ^. FarmCity ==. val city
    return (farm, pig)