Esqueleto：加入子查询（使用 subList_select）

Question

我正在尝试将以下 SQL 转换为 Esqueleto：

SELECT id, task_id, author_id
FROM scenario
INNER JOIN ( SELECT task_id as tId, author_id as aId, MAX(last_update) as lastUp
             FROM scenario
             GROUP BY task_id, author_id
           ) t
      ON task_id = tId AND author_id = aId AND last_update = lastUp

要进行子查询，您必须使用subList_select 。

我想不出一种方法将它与模式匹配结合起来：

from $ \(s `InnerJoin` ?subQueryhere?) -> do ...

所以我尝试用where_代替：

where_ (s ^. ScenarioTaskId ==. (subList_select $
         from $ \s' -> do
         groupBy (s' ^. ScenarioTaskId, s' ^. ScenarioAuthorId)
         return s'
       ) ^. ScenarioTaskId)

但是，这不会编译，因为subList_select返回expr (ValueList a)而不是expr (Entity Scenario) 。

Answer 1

我正在为类似的事情而苦苦挣扎。

您可以使用库的“实验”模块（文档位于https://hackage.haskell.org/package/esqueleto-3.4.2.2/docs/Database-Esqueleto-Experimental.html ），它比（并且与普通的 esqueleto 略有不同。

主要区别from - 你明确地告诉它你要加入什么，并且有很多选择。 当你想谈论表格时，你还需要打开一个额外的扩展来使用@TableName标签。

我很想将所有内容重写为实验性的，但随着您最终使用更多的 do 符号，由此产生的错误更难解决。

无论如何，这是您可能需要的近似值：

    (scenario :& (taskId, authorId) <- 
      from $ Table @Scenario `InnerJoin` SubQuery (do
        scenario <- from $ Table @Scenario   
        groupBy (scenario ^. ScenarioTaskId, scenario ^. ScenarioAuthorId)
        return (scenario ^. ScenarioTaskId, scenario ^. ScenarioAuthorId, max_(scenario ^. ScenarioLastUpdate))
        ) 
      `on` (\(scenario :& (taskId, authorId)) -> 
        (just (scenario ^. ScenarioTaskId) ==. just taskId) &&.
        (just (scenario ^. ScenarioAuthorId) ==. authorId) &&.
        (just (scenario ^. ScenarioLastUpdate) ==. lastUp)
      )
    return (scenario ^. ScenarioId, taskId, authorId)

可能需要在on子句中添加/删除just 。 我发现我在那里需要的东西非常不直观。

还要小心你使用max_ （esqueleto）而不是max （标准库），否则你会遇到其他令人困惑的错误！

Answer 2

我想我可以使用在语义上应该相同的以下内容（受此答案启发）：

$ select
$ from $ \( s `LeftOuterJoin` ms ) -> do
        on ( just (s ^. ScenarioAuthorId)  ==. ms ?. ScenarioAuthorId &&.
             just (s ^. ScenarioTaskId)    ==. ms ?. ScenarioTaskId   &&.
             just (s ^. ScenarioLastUpdate) <. ms ?. ScenarioLastUpdate )
  where_ (isNothing (ms ?. ScenarioId))

仍然让我感到困惑的是，Esqueleto 显然只支持与in_ ... 结合使用的具有多个结果的子查询。