のための国家Combinatorのを行方不明の検索私は現在、このようなコードを持っていますこの操作は1行では見つかりませんが、見つけられません。 (????) :: MonadState s m => Lens' s a -> (a -> m a) -> m a
質問： は、このようなコンビネータが存在しない、私はそれはのようなコメントを持っているべきだと思いますか？もしそうなら、それは何です
[1]存在記号はmakeLensesを妨害することを説明しています。私は本当にむしろ、ある種の方法でレンズの存在を使用したいと思っています。背景として、私はクラスを を持っています。実際の質問については class (TextShow file, Eq file, Ord file, Typeable file) => File file where
fromAnyFile :: Any
私はControl.Lensで作業しています。私が書いている実際の機能はかなり複雑ですが、この質問の目的のために、私は、最小限の失敗例にそれを煮詰めてきました： import Control.Lens
exampleFunc :: Lens s t a b -> String
exampleFunc _ = "Example"
これはコンパイルに失敗し、次のエラーメッセージが生じる：を
SceneGraphタイプのフィールド '_scene'を持つレコードで、以下のコードを使用しています。私はmakeLensesを使ってレンズを作りました。 inputGame :: Input -> Game -> Game
inputGame i g = flip execState g $ do
let es = g ^. userInput . events
sg