haskell - 如何使用镜头库进行snoc？

Question

我被难住了again在尝试使用 Edwards lens 库时。我尝试将某些东西 snoc 放到状态上下文中向量的末尾:

data Foo = Foo {
  _vec :: Vector Int
}

makeLenses ''Foo

testCons x = vec <>= singleton x

虽然这有效，但我想使用[cons][2]，但我不知道如何使用。文档提到 [0,1,2] |> 3 === [0,1,2,3] 但我不知道如何在状态上下文中执行此操作。

Answer 1

(%=) 组合器可让您将函数应用于镜头的目标；你想要类似的东西

stateSnoc :: MonadState Foo m => Int -> m ()
stateSnoc x = vec %= (|> x)