如何在 Massiv 数组中设置 1 值?

How To Set 1 Value in Massiv Array?

我是 Haskell 和 Massiv 的新手,所以如果问题很愚蠢,请原谅。

我有一个可变的原语数组:

x = (makeVectorR P Seq (Sz 10) (\_ -> 0))

我想在数组中设置 1 个值。做这样的事情会很好:

(x ! 3) = 42

这是 Massiv 支持的东西吗?

以下是创建可变基本数组并在其中设置单个值的方法:

{-# LANGUAGE TypeApplications #-}

import qualified Data.Massiv.Array.Mutable as M
import Data.Massiv.Array (P, Sz (Sz1))

main :: IO ()
main = do
  x <- M.newMArray @P (Sz1 10) 0
  M.write_ x 3 42