Acid状态查询(Happstack)的意外返回类型

Question

我正在尝试扩展Happstack速成班博客与一些额外的功能:在主页上显示所有标签的列表。

我的博客记录是这样的:

data Blog = Blog
    { nextPostId :: PostId
    , posts      :: IxSet Post
    , allTags    :: [Text] 
    }
    deriving (Data, Typeable)

我通过以下方式获得id的博客文章(从速成班复制):

-- Models.hs
postById :: PostId -> Query Blog (Maybe Post)
postById pid =
     do Blog{..} <- ask
        return $ getOne $ posts @= pid
-- Controller.hs
viewPage :: AcidState Blog -> ServerPart Response
viewPage acid = 
     do pid <- PostId <$> lookRead "id"
        mPost <- query' acid (PostById pid)
        ...
        -- mPost has type Maybe Post here
        ...

它可以正常工作。

当我尝试以类似的方式查询所有标签时:

-- Models.hs 
getTags :: Query Blog [Text]
getTags = 
    do Blog{..} <- ask
       return allTags
-- Controller.hs
serveTags :: AcidState Blog -> [Text]
serveTags acid = query' acid GetTags

行不通。错误堆栈跟踪如下:

Blog/Controllers.hs:154:18:
   Couldn't match type `[Text]' with `Text'
   Expected type: [Text]
   Actual type: [acid-state-0.8.1:Data.Acid.Common.EventResult
                                       GetTags]
   In the return type of a call of query'
   In the expression: query' acid GetTags

我不明白为什么query'的返回类型是[EventResult GetTags]，而应该是[Text]。

这个错误的原因是什么?有办法解决吗?

Answer 1

问题是您在serveTags函数上的类型签名，它应该是一元的:

serveTags :: MonadIO m => AcidState Blog -> m [Text]
serveTags acid = query' acid GetTags

EventResult是一个类型族，在这里解析为[Text]。由于query'是单元化的，你的类型签名被解析为列表单元化，即m Text，其中m是列表单元化，因此出现了令人困惑的错误消息。