Lensの `over` 関数の、Functorな値を返す関数を渡すバージョンっ...

Lensの over 関数の、Functorな値を返す関数を渡すバージョンってないんですかね。
型宣言で言うと overM :: Functor f => ASetter s t a b -> (a -> f b) -> s -> f t みたいな型になるのかな、と思うのですが。

Replies

Lensの over 関数の、Functorな値を返す関数を渡すバージョンってないんですかね。
型宣言で言うと overM :: Functor f => ASetter s t a b -> (a -> f b) -> s -> f t みたいな型になるのかな、と思うのですが。

それってまさにLensそのものでは…

そうでしたね!普通に関数として使ってみたらできました!ありがとうございます! 👍

そういえば%%~というid関数のエイリアスもありました。人によってはこちらのほうが驚きが少ないかもですね