如何解决无法将预期类型“SomeEntity”与实际类型“Key SomeEntity”
嗨,我是 Haskell 和 Yesod 的初学者,我需要帮助解决这个问题。
这些是我的实体:
Location
name Text sqltype=varchar(255)
address AddressId Maybe sqltype=varchar(255)
UniqueLocationName name
deriving Show Typeable
Manifestation
name Text sqltype=varchar(255)
description Text Maybe sqltype=varchar(255)
category Category Maybe
startDateTime UTCTime sqltype=DateTime
location LocationId Maybe sqltype=varchar(255)
UniqueManName name
deriving Show Typeable
这是我调用 man-details 模板的处理程序:
getManDetailsR :: ManifestationId -> Handler Html
getManDetailsR mid = do
(_,user) <- requireAuthPair
md <- runDB $ get404 mid -- type is Manifestation
defaultLayout $ do
setTitle "Manifestation details"
$(widgetFile "man-details")
以及我想显示事件信息的 man-details hamlet 文件的一部分:
<div class="row">
<div class="col-md-5">
<div class="project-info-Box mt-0">
<h2>#{manifestationName md}
<p class="mb-0">#{fromJust(manifestationDescription md)}
<div class="project-info-Box">
<p><b>Start :</b>{show $ manifestationStartDateTime md}
<p><b>Location :</b>#{locationName (manifestationLocation md)}
在这种情况下错误是: 无法匹配预期的类型“位置” 实际类型为“也许(关键位置)”
然后我尝试这样:
$maybe l <- manifestationLocation md
<p><b>Location :</b>{locationName l}
错误是: 无法匹配预期的类型“位置” 实际类型为“关键位置”
对于这个大问题,我深表歉意,但我不知道如何解决这个问题,即如何仅从这对(关键位置)中获取值?
欢迎任何建议和帮助,
谢谢。
解决方法
我会发布我的解决方案,这是初学者的问题,但它可能对某人有用。
正如@Willem Van Onsem 在评论中所写,我再次对数据库进行了查询
现在寻找位置。
现在处理程序看起来像这样,由于使用了 Maybe 包装器,所以使用 fromJust 函数:
getManDetailsR :: ManifestationId -> Handler Html
getManDetailsR mid = do
(_,user) <- requireAuthPair
md <- runDB $ get404 mid
loc <- runDB $ get404 $ fromJust(manifestationLocation md) -- and now use loc in template
liftIO $ print (loc)
defaultLayout $ do
setTitle "Manifestation details"
$(widgetFile "man-details")
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。