Haskell 镜头访问地图键

我在使用镜头库访问地图数据类型时遇到一些问题

data Card
  = Ferme
  | Boulangerie

data PlayerState = PlayerState {
  _psCards      :: Map Card Int,
  } deriving (Show)


data GameState = GameState {
  _gsPlayers      :: [PlayerState]
                 } deriving (Show)

我难以访问

地图

step :: (MonadState s m, HasGameState s, MonadIO m) => m ()
step = do
    i <- use $ gsPlayers . ix 0 . psCards . ix Ferme

---

这是因为我在同一行中使用不同参数的

ix

吗？

这是因为

ix

是一个遍历，但是

use

需要一个镜头。不同的是，一个镜头总是只有一个目标。遍历可以有零个或多个。当给定遍历时，在检索值时期望使用镜头的组合器有点意外地尝试将多个值组合为一个

Monoid

。（尤其是来自

Const

的

Applicative

实例。）在您的案例中，该尝试不会进行类型检查，因为目标类型不存在此类实例，因此您会收到该错误消息

您可能希望使用

预使用

组合符而不是

使用

，来解释可能不存在的值

    • 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 ()