Question

使用Lens库访问Map Data类型时遇到一些问题。

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与不同的参数一起使用吗？

Answer 1

这是因为ix是遍历，但是use需要镜头。不同之处在于镜头始终只有一个目标。遍历可以有零个或多个。在获得值类型时，期望镜头的组合器在尝试遍历时会意外地尝试将多个值组合为Monoid。（特别是来自Applicative的{{1}}实例。）由于您的目标类型不存在此类实例，因此该尝试不会在您的情况下进行类型检查，因此您会收到该错误消息。

您可能希望Const而不是preuse来解释可能不存在的值。

镜头访问地图键

1 个答案: