如何在 Yesod 中为 selectField 构建预选选项？

Question

(This was asked before but it has no answers).

我在数据库中有一个国家/地区列表：

share [mkPersist sqlSettings] [persistLowerCase|
Country
  name Text
  UniqueCountryName name
  deriving Show
|]

我可以显示一个表格来选择其中一个：

countries = do
  rows <- runDB $ selectList [] [Asc CountryName]
  optionsPairs $ map (\ r -> (countryName $ entityVal r, entityKey r)) rows

surveyForm :: Html -> MForm Handler (FormResult SurveyAnswerSet, Widget)
surveyForm extra = do
  (countryR, countryV) <- mreq (selectField countries) "" Nothing

我知道我应该将最后一行中的Nothing 替换为所需的默认值，但我仍然不知道该怎么做。查看mreq 和optionsPairs 签名，我的想法是，在这种情况下，我应该提供带有默认国家/地区的Maybe Option，但我的尝试引发了很多类型错误，以至于我可能离正确答案还很远。

Yesod 书中有一个示例，使用似乎比我试图实现的更简单，所以我不知道如何推断它。

顺便说一下，我是从数据库中获取默认国家/地区的，所以我不需要硬编码其内部 ID：

defaultCountry = do
  row <- runDB $ getBy $ UniqueCountryName $ countryName "United States"
  (countryName $ entityVal row, entityKey row)

当我将它作为参数传递给 mreq 时，我收到以下错误：

无法将类型“(,) Text”与“HandlerFor site”匹配 预期类型：HandlerFor 站点（关键记录） 实际类型：（文本，关键记录）

这是defaultContry 函数 ((countryName $ entityVal row, entityKey row)) 的最后一行。我知道我应该从这对中取出 Key record 并将其返回到 HandlerFor site 但同时我也得到：

无法匹配预期类型“可能（关键国家）” 实际类型为“HandlerFor site0 (Key record0)”

在(countryR, countryV) <- mreq (selectField countries) "" defaultCountry 行中。我将此解释为“您传递给我一个HandlerFor site0 (Key record0)，但我只接受Maybe (Key Country)，这似乎与第一个错误相冲突......

在(countryName $ entityVal row, entityKey row) 行我还看到：

无法匹配预期类型“实体国家/地区” 实际类型为“可能（实体国家）”

在row 参数中。我知道我应该从Maybe 中提取Entity Country，但是如果我模式匹配并仅传递Entity Country（即：Just (Entity countryId country) -> (countryName $ entityVal (Entity countryId country), entityKey (Entity countryId country)），我仍然会收到第一个错误。

提前致谢。

Answer 1

好的，这看起来像一些类型错误。第一个

无法将类型“(,) Text”与“HandlerFor site”匹配预期类型：HandlerFor site（关键记录）实际类型：（文本，关键记录）

来自于未在 do 表示法中使用 return 将值提升到 monad：

defaultCountry :: HandlerFor site (Text, Key record)
defaultCountry = do
  row <- runDB $ getBy $ UniqueCountryName $ countryName "United States"
  return (countryName $ entityVal row, entityKey row)

row 的错误

无法将预期类型“实体国家”与实际类型“可能（实体国家）”匹配

因为它是Maybe，所以让我们更正一下

defaultCountry :: HandlerFor site (Text, Key record)
defaultCountry = do
  Just row <- runDB $ getBy $ UniqueCountryName $ countryName "United States"
  return (countryName $ entityVal row, entityKey row)

既然defaultCountry 是一个很好的monad，你应该可以在你的其他代码中使用它。但要小心第三个错误

无法将预期类型“Maybe (Key Country)”与实际类型“HandlerFor site0 (Key record0)”匹配

您需要从 HandlerFor monad 中解包值，并将其重新包装在 Maybe 中

surveyForm :: Html -> MForm Handler (FormResult SurveyAnswerSet, Widget)
surveyForm extra = do
  (defaultName, defaultKey) <- defaultCountry -- (defaultName, defaultKey) :: (Text, Key record)
  (countryR, countryV) <- mreq (selectField countries) "" (Just defaultKey)