Store型
code:hs
type Store s a = (s -> a, s)
s
は現在の状態
s -> a
は、新しい値を受け取って全体を生成する関数
Comonad型クラス
のinstanceになる
2023/7/30 Lenses from Scratchを読む
で見た
https://pursuit.purescript.org/packages/purescript-transformers/5.1.0/docs/Control.Comonad.Store
https://qiita.com/sparklingbaby/items/e66f48224067647d8e67#lensとは余状態余モナドの余代数である
https://www.schoolofhaskell.com/user/bartosz/lenses-stores-and-yoneda