用Persistent和Esqueleto连接在sql中表示和类型

时间:2014-08-17 20:27:47

标签: haskell yesod persistent esqueleto

我一直试图找出一种使用持久性在SQL后端表示Haskell和类型的合理方法。

我的目标Haskell数据类型是

data Widget = FooWidget Int | BarWidget T.Text

data HElement = HElement 
   { name   :: T.Text
   , widget :: Widget
   }

我使用以下持久数据类型对它们进行建模:

Element
  name    T.Text

Foo
  elementId ElementId
  size      Int

Bar
  elementId ElementId
  colour    T.Text

每个元素只会有Foo或Bar,而不是两者。

我想使用Left Outer Join来选择我的所有元素和相应的Foo OR Bar。我的Esqueleto表达式是:

select $ 
from $ \(elem `LeftOuterJoin` foo `LeftOuterJoin` bar) -> do
on (just (elem ^. ElementId) ==. foo ?. FooElementId)
on (just (elem ^. ElementId) ==. bar ?. BarElementId)
return (elem, foo, bar)

但是,当我执行代码时,我收到错误:

user error (Postgresql.withStmt': bad result status FatalError (("PGRES_FATAL_ERROR","ERROR:  missing FROM-clause entry for table

如果我删除了第二个连接,请给出:

select $ 
from $ \(elem `LeftOuterJoin` foo) -> do
on (just (elem ^. ElementId) ==. foo ?. FooElementId)
return (elem, foo)

代码运行没有错误。我确定这很明显,但我看不出我做错了什么。


编辑:我发现了问题所在;来自文档:

  

请注意,ON子句的顺序是相反的!你是   需要以相反的顺序写你的ons因为这有帮助   可组合性(有关详细信息,请参阅on的文档)。

以下代码有效(on表达式的顺序颠倒过来):

select $
from $ \(elem `LeftOuterJoin` foo `LeftOuterJoin` bar) -> do
on (just (elem ^. ElementId) ==. bar ?. BarElementId)
on (just (elem ^. ElementId) ==. foo ?. FooElementId)
return (elem,foo,bar)

谢谢,

迈克尔

1 个答案:

答案 0 :(得分:4)

根据Waldheinz的建议添加答案


我发现了问题所在;来自文档:

  

请注意,ON子句的顺序是相反的!你是   需要以相反的顺序写你的ons因为这有帮助   可组合性(有关详细信息,请参阅on的文档)。

以下代码有效(on表达式的顺序颠倒过来):

select $
from $ \(elem `LeftOuterJoin` foo `LeftOuterJoin` bar) -> do
on (just (elem ^. ElementId) ==. bar ?. BarElementId)
on (just (elem ^. ElementId) ==. foo ?. FooElementId)
return (elem,foo,bar)

此致

迈克尔