在 Yesod 处理程序中使用 Data.Binary.decodeFile

Question

我尝试编译以下内容：

postRQuery :: Handler RepHtml
postRQuery = do
 properties <- liftIO $ decodeFile "store" :: IO (Map String ())
 defaultLayout [whamlet|Posted!|]

但出现以下编译器错误：

Couldn't match expected type `GGHandler
                              Bayith
                              Bayith
                              (Data.Enumerator.Iteratee
                               Data.ByteString.Internal.ByteString IO)
                              t0'
        with actual type `IO (Map String ())'
In a stmt of a 'do' expression:
    properties <- liftIO $ decodeFile "store" :: IO (Map String ())

关于如何在 Yesod 处理程序中使用 Data.Binary.decodeFile 的任何想法？

Answer 1

这里的问题是优先级。 :: 的优先级低于 $，因此这会解析为

properties <- (liftIO $ decodeFile "store") :: IO (Map String ())

您的意思是

properties <- liftIO (decodeFile "store" :: IO (Map String ()))

Answer 2

如果你使用 ScopedTypeVariables，你应该这样做，你可以这样做：

{-# LANGUAGE ScopedTypeVariables #-}
(properties :: Map String ()) <- liftIO $ decodeFile "store"

但是，看起来你只是存储键，为什么不使用 Data.Set.Set 而不是 Map