镜头访问映射密钥
镜头访问映射密钥
提问于 2019-03-14 23:00:14
我在使用镜头库访问Map数据类型时遇到一些问题。
data Card
= Ferme
| Boulangerie
data PlayerState = PlayerState {
_psCards :: Map Card Int,
} deriving (Show)
data GameState = GameState {
_gsPlayers :: [PlayerState]
} deriving (Show)访问Map时遇到问题
step :: (MonadState s m, HasGameState s, MonadIO m) => m ()
step = do
i <- use $ gsPlayers . ix 0 . psCards . ix Ferme出现以下错误：
• Could not deduce (Monoid Int) arising from a use of ‘ix’
from the context: (MonadState s m, HasGameState s, MonadIO m)
bound by the type signature for:
step :: forall s (m :: * -> *).
(MonadState s m, HasGameState s, MonadIO m) =>
m ()这是因为我在同一行中使用了带有不同参数的ix吗？
回答 1
Stack Overflow用户
回答已采纳
发布于 2019-03-14 23:10:38
这是因为ix是遍历，而use需要的是镜头。不同的是，镜头总是只有一个目标。一次遍历可以有零个或多个。在检索值时需要镜头的组合器在遍历时会意外地尝试将多个值组合在一起作为Monoid。(它特别来自Const的Applicative实例。)在您的情况下，该尝试不会进行类型检查，因为目标类型不存在这样的实例，因此您会收到该错误消息。
您可能希望使用preuse组合器而不是use，以解决可能不存在的值。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/55165769
复制相关文章
相似问题