Persistent - 如何过滤记录列的字段
Persistent - how to filter on a field of a record column
我正在尝试构建我的第一个 "real" 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，是由 GADT 定义的 EntityField Thing（实际上是由模板 Haskell 从上面的 share 调用生成的），在这种情况下，它只有一个构造函数产生 EntityField Thing Foo，似乎不可能从中创建一个 Functor 实例。
但是没有那个，我对如何处理这个问题一无所知，因为像 >=. 这样的组合器的 LHS 必须是一个 EntityField 值，这阻止了我在比较之前尝试将函数应用于数据库值。
因为我知道有人会这么说（你们中的大多数人都会这么想）- 是的，在这个玩具示例中，我可以轻松地将 a 和 b 变成在我的数据库 table 中分隔字段，并以此方式解决问题。正如我所说，这在某种程度上被简化了，在我的实际应用程序中，出于多种原因，这样做会让人感到不满意。它并没有解决我更广泛的问题，即如何在查询之前对数据进行任意 t运行sformations。 [编辑：为了推进我的项目，我现在已经采用这种方法，但正如我所说，它并不完全令人满意，我仍在等待我的一般问题的答案——即使那只是 "sorry it's not possible"，正如我越来越怀疑的那样，我将不胜感激一个很好的解释。]
我开始怀疑这可能根本不可能，因为数据最终存储在 SQL 数据库中，而 SQL 的表现力不如 Haskell - 但是我正在尝试做的事情，至少对于记录类型（我承认我不知道 derivePersistField 如何将这些编组为 SQL 数据类型）似乎不太不合理所以我觉得我应该问如果有任何解决方法，或者如果我想单独查询它们，我真的必须将我的记录分解成一堆单独的字段。
[如果有任何其他库可以提供帮助，请随时推荐它们——我确实研究了 Esqueleto，但决定我不需要它用于这个项目，尽管那是在我 运行 进入之前这个问题。这对这类查询有帮助吗？]
您可以使用 -ddump-splices 编译器标志来转储由 derivePersistField（以及所有其他模板 Haskell 调用）生成的代码。如果 ghc 认为文件不需要重新编译，您可能还需要传递 -fforce-recomp。
如果这样做，您会看到 persistent 用于将 Foo 数据类型编组到 SQL 和从 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 级别查询 all 记录并在结果列表中使用纯 Haskell 代码进行过滤更有效的了。
我正在尝试构建我的第一个 "real" 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，是由 GADT 定义的 EntityField Thing（实际上是由模板 Haskell 从上面的 share 调用生成的），在这种情况下，它只有一个构造函数产生 EntityField Thing Foo，似乎不可能从中创建一个 Functor 实例。
但是没有那个，我对如何处理这个问题一无所知，因为像 >=. 这样的组合器的 LHS 必须是一个 EntityField 值，这阻止了我在比较之前尝试将函数应用于数据库值。
因为我知道有人会这么说（你们中的大多数人都会这么想）- 是的，在这个玩具示例中，我可以轻松地将 a 和 b 变成在我的数据库 table 中分隔字段，并以此方式解决问题。正如我所说，这在某种程度上被简化了，在我的实际应用程序中，出于多种原因，这样做会让人感到不满意。它并没有解决我更广泛的问题，即如何在查询之前对数据进行任意 t运行sformations。 [编辑：为了推进我的项目，我现在已经采用这种方法，但正如我所说，它并不完全令人满意，我仍在等待我的一般问题的答案——即使那只是 "sorry it's not possible"，正如我越来越怀疑的那样，我将不胜感激一个很好的解释。]
我开始怀疑这可能根本不可能，因为数据最终存储在 SQL 数据库中，而 SQL 的表现力不如 Haskell - 但是我正在尝试做的事情，至少对于记录类型（我承认我不知道 derivePersistField 如何将这些编组为 SQL 数据类型）似乎不太不合理所以我觉得我应该问如果有任何解决方法，或者如果我想单独查询它们，我真的必须将我的记录分解成一堆单独的字段。
[如果有任何其他库可以提供帮助，请随时推荐它们——我确实研究了 Esqueleto，但决定我不需要它用于这个项目，尽管那是在我 运行 进入之前这个问题。这对这类查询有帮助吗？]
您可以使用 -ddump-splices 编译器标志来转储由 derivePersistField（以及所有其他模板 Haskell 调用）生成的代码。如果 ghc 认为文件不需要重新编译，您可能还需要传递 -fforce-recomp。
如果这样做，您会看到 persistent 用于将 Foo 数据类型编组到 SQL 和从 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 级别查询 all 记录并在结果列表中使用纯 Haskell 代码进行过滤更有效的了。