从子查询中选择并加入 Esqueleto 中的子查询

Question

如何在 Esqueleto 中使用select ... from (select ...) join (select ...)？

我知道我可以使用 Persistent 中的 rawSql，但我想避免这种情况。

为了记录，这里是完整的查询：

select q.uuid, q.upvotes, q.downvotes, count(a.parent_uuid), max(a.isAccepted) as hasAccepted
from
  (select post.uuid, post.title, sum(case when (vote.type = 2) then 1 else 0 end) as upvotes, sum(case when (vote.type = 3) then 1 else 0 end) as downvotes
    from post left outer join vote on post.uuid = vote.post_id
    where post.parent_uuid is null
    group by post.uuid
    order by post.created_on desc
  ) q
left outer join
  (select post.parent_uuid, max(case when (vote.type = 1) then 1 else 0 end) as isAccepted
    from post left outer join vote on post.uuid = vote.post_id
    where post.parent_uuid is not null
    group by post.id
  ) a
on a.parent_uuid = q.uuid
group by q.uuid
limit 10

Answer 1

我来到这里是因为我有同样的问题。我想我们想要的东西是这样的：

fromSelect
  :: ( Database.Esqueleto.Internal.Language.From query expr backend a
     , Database.Esqueleto.Internal.Language.From query expr backend b
     )
  => (a -> query b)
  -> (b -> query c)
  -> query c

不幸的是，从Database.Esqueleto.Internal.Sql.FromClause：

-- | A part of a @FROM@ clause.
data FromClause =
    FromStart Ident EntityDef
  | FromJoin FromClause JoinKind FromClause (Maybe (SqlExpr (Value Bool)))
  | OnClause (SqlExpr (Value Bool))

我认为 Esqueleto 对此没有任何支持。它似乎只支持简单的表名和带有布尔表达式的 on 子句的连接。我想添加对此的支持最困难的部分是处理表和列名别名（as sql 子句），因为^. 需要expr (Entity val) 和EntityField val typ。最简单的方法是将其更改为对两个操作数都使用String 或Text，但这不是非常安全的。我不确定实现该类型安全的最佳选择是什么。

编辑：最好忘记^. 并让fromSelect 在提供其第一个参数的返回值作为其第二个参数的参数时生成别名。可能必须更改类型才能为这些别名腾出空间。这只是考虑from 子查询，而不是连接。这是另一个问题。