haskell - レンズライブラリを使用して snoc する方法は?

Question

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]が、状態のコンテキストでこれを行う方法がわかりません。

score 3 · Accepted Answer

(%=) コンビネータを使用すると、レンズのターゲットに関数を適用できます。あなたは次のようなものが欲しい

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

score 1 · Accepted Answer

snocは、元のから便宜上定義された単純な関数のようPrismです_Snoc。

では、次のような単純なMonadState関数を使用してみませんmodifyか?

runState (modify $ flip snoc 'a') ['b']
-- ((),"ba")

haskell - レンズ ライブラリを使用して snoc する方法は?