在模块内运行持久查询

Question

请记住，我从未成功理解什么是单子，我对 Yesod 有疑问。我有一个需要在多个处理程序中使用的表单，所以我试图在一个可以在需要时导入的模块中定义它。该表单使用一堆未导出的函数来创建自定义字段。 当尝试像我在处理程序中习惯的那样运行简单的数据库操作时（尝试获取字段的默认值），我收到以下错误：

Couldn't match expected type ‘Maybe (Entity Client)’
            with actual type ‘HandlerT site0 IO (Maybe (Entity Client))’
In a stmt of a 'do' block: runDB $ selectFirst [ClientId ==. id] []
In the expression: do { runDB $ selectFirst [ClientId ==. id] [] }
In a case alternative:
    Just id -> do { runDB $ selectFirst [ClientId ==. id] [] }

我尝试了很多东西，使用

我有多个处理程序导入该模块，调用该函数以生成 AForm，如果这很重要的话。

非常感谢！

编辑： 这是引发该错误的函数：

getClientFromId :: Maybe (Key Client) -> Maybe (Entity Client)
getClientFromId mId = do
  case mId of
    Nothing -> Nothing
    Just id -> do
      runDB $ selectFirst [ClientId ==. id] []

更新

所以在阅读了答案后，我尝试删除签名：没有变化。 我尝试使用不同的建议签名，但没有任何效果。这是我目前拥有的：

getClientFromId :: Maybe (Key Client) -> Handler (Maybe (Entity Client))
getClientFromId mId = do
  case mId of
    Nothing -> return Nothing
    Just id -> do
      client <- runDB $ selectFirst [ClientId ==. id] []
      return client

我从 AForm 定义中的三元组调用它：

  <*> (fmap entityKey <$> aopt clientIdField (addIdToField "ClientIdField" (bfs ("Owner" :: Text))) (isJust mHorse ? (Just (getClientFromId $ horseClient $ fromJust mHorse)) :? Nothing))

三元组不是很容易阅读，如果我弄清楚如何完成所有这些工作，我可能会改变它:)。 我得到那个错误：

Couldn't match type ‘HandlerT App IO (Maybe (Entity Client))’
               with ‘Maybe (Entity Client)’
Expected type: Maybe (Entity Client)
  Actual type: Handler (Maybe (Entity Client))
In the first argument of ‘Just’, namely
  ‘(getClientFromId $ horseClient $ fromJust mHorse)’
In the first argument of ‘(:?)’, namely
  ‘(Just (getClientFromId $ horseClient $ fromJust mHorse))’
In the second argument of ‘(?)’, namely
  ‘(Just (getClientFromId $ horseClient $ fromJust mHorse))
   :? Nothing’

看起来，我似乎有正确的返回类型，除了它上面有一个“HandlerT site0 IO”。我尝试使用带有

（我知道这是嵌套多个 Maybe，但在我的 DB horseClient 中是一个 Maybe，并且表单的默认值正在等待一个 Maybe，因此最终值应该是一个 Maybe 似乎是“正常的”（Maybe (实体客户端））即使这有点奇​​怪）

Answer 1

您将getClientId 声明为纯函数，但您还调用了执行I/O 的runDB，因此它不能是纯函数。直觉上这就是它不输入检查的原因。

我建议您单独编写getClientId，没有类型签名，然后看看 GHC 会推断出什么。我的猜测是它会是这样的：

Maybe (Key Client) -> Handler (Maybe (Entity Client))

这意味着无论您在哪里调用它，您都需要执行以下操作：

mid' <- getClientFromId mid

Answer 2

让我们看看类型。

selectFirst :: (PersistEntity val, PersistEntityBackend val ~ PersistMonadBackend m) => 
               [Filter val] -> 
               [SelectOpt val] -> 
               m (Maybe (Entity val))

runDB :: YesodDB site a -> HandlerT site IO a

type YesodDB site = ReaderT (YesodPersistBackend site) (HandlerT site IO)

selectFirst 中的 m 将是 YesodDB site，这是我猜想提供数据库连接的 ReaderT 的别名。

我认为你的函数的正确类型应该是

Maybe (Key Client) -> HandlerT site IO (Maybe (Entity Client))

site 将替换为您的 Yesod 实例类型。

更新：

首先，这很丑：

(isJust mHorse ? (Just (getClientFromId $ horseClient $ fromJust mHorse)) :? Nothing)

你可以这样做：

fmap (justClientFromId . horseClient) mHorse

然而，这给我们带来了第二个问题。 justClientFromid 返回一个 Handler 包装你想要的值。

我认为主要问题源于您的第一句话：

Keeping in mind that I never succeded in understanding what a monad is

您可能应该阅读 Yesod 文档并尝试了解发生了什么。