haskell - 持久性 - 如何过滤记录列的字段

Question

我正在尝试构建我的第一个“真正的”Haskell 应用程序，一个使用 Servant 的 API，我在其中使用 Persistent 作为数据库后端。但是我在尝试使用 Persistent 进行某种类型的数据库查询时遇到了问题。

我真正的问题当然要多一些，但我遇到的问题的本质可以这样解释。我有一个记录类型，例如:

data Foo = Foo { a :: Int, b :: Int }

derivePersistField "Foo"

我将其包含在这样的实体中:

share [mkPersist sqlSettings, mkMigrate "migrateAll"] [persistLowerCase|
    Thing
        foo Foo
|]

而且我需要能够在我的数据库中查询其 Foo 值具有其 a 的项目。字段大于一些 aMin即提供。 (目的是它实际上将由查询字符串中的 API 请求提供。)

对于普通查询，比如 Int领域 Bar ，我可以简单地做 selectList [ThingBar >=. aMin] [] ，但我对在过滤器列表中放入什么以便从记录中提取字段并与它进行比较的问题一无所知。尽管这感觉像是 Haskell 应该能够轻松完成的事情。感觉应该有 Functor涉及到这里我只能 fmap a访问器结束，但相关类型，据我所知从文档和 tutorial , 是 EntityField Thing由 GADT 定义(实际上由模板 Haskell 从上面的 share 调用生成)，在这种情况下只有一个构造函数产生 EntityField Thing Foo ，这似乎不可能制作 Functor实例出。

但是没有它，我对如何处理这个问题一无所知，因为像 >=. 这样的组合器的 LHS必须是 EntityField值，这阻止我在比较之前尝试将函数应用于数据库值。

因为我知道有人会说(你们大多数人会这么想) - 是的，在这个玩具示例中，我可以很容易地制作 a和 b到我的数据库表中的单独字段中，并以这种方式解决问题。正如我所说，这有点简化，在我的实际应用程序中，由于多种原因，这样做会让人感到不满意。它并没有解决我更广泛的问题，即如何在查询之前对数据进行任意转换。 [编辑:为了推进我的项目，我现在已经采用了这种方法，但正如我所说，它并不完全令人满意，我仍在等待我的一般问题的答案——即使那只是“对不起，它是不可能”，正如我越来越怀疑的那样，我希望得到一个很好的解释。]

我开始怀疑这可能根本不可能，因为数据最终存储在 SQL 数据库中，而 SQL 根本不像 Haskell 那样具有表现力——但是我正在尝试做的，至少对于记录类型(我承认我不知道如何 derivePersistField 将这些编码为 SQL 数据类型)似乎不太合理，所以我觉得我应该问一下是否有任何解决方法，或者我真的必须将我的记录分解成一堆单独的字段如果我想单独查询它们。

[如果有任何其他库可以提供帮助，请随时推荐它们 - 我确实研究过 Esqueleto，但决定我不需要这个项目，尽管那是在我遇到这个问题之前。这对这种查询有帮助吗？]

Answer 1

您可以使用 -ddump-splices编译器标志转储由 derivePersistField 生成的代码(以及所有其他模板 Haskell 调用)。您可能需要通过 -fforce-recomp也，如果 ghc不认为该文件需要重新编译。

如果你这样做，你会看到方法 persistent用于编码 Foo进出 SQL 的数据类型是使用其 read和 show实例将其存储为文本字符串。 (这个 是 实际上在关于 Custom Fields 的文档中有解释。)这也意味着查询如下:

stuff <- selectList [ThingFoo >=. Foo 3 0] []

实际上是在 SQL 级别进行字符串比较，所以 Thing (Foo 10 2)不会通过这个过滤器，因为字符串“Foo 10 2”排在“Foo 3 0”之前。

换句话说，你在这里很不走运。由 derivePersistField 创建的自定义字段并不是真的要用于比 Yesod 文档中的示例更复杂的东西:

data Employment = Employed | Unemployed | Retired

您可以检查其结构的唯一方法是传入原始 SQL 以解析字符串字段以在查询中使用，这将比您现在正在执行的任何操作都要丑陋得多，并且可能不会比在以下位置查询所有记录更有效SQL 级别并在结果列表上以普通的 Haskell 代码进行过滤。