3

我正在尝试构建我的第一个“真正的”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访问器的方法，但是据我从文档和教程中可以看出，相关类型是EntityField Thing由 GADT 定义的（实际上是由 Template Haskell 从share上面的调用中生成的)，在这种情况下，它只有一个构造函数产生一个EntityField Thing Foo，似乎不可能从中创建一个Functor实例。

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

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

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

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

4

1 回答 1

1

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

如果这样做，您将看到用于将数据类型编组到 SQL 和从 SQLpersistent编组的方法是使用其和实例将其存储为文本字符串。（这实际上在Custom Fields的文档中进行了解释。）这也意味着像这样的查询：Fooreadshow

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 代码进行过滤。

于 2019-10-14T18:56:57.283 回答