問題タブ [haskell-lens]

2 レベルのマップに値を設定したいと思います。つまり、「外側の」マップのキーの値であるマップのキーに設定します。通常の Map の場合、次のようなものを使用できますがm & at 42 ?= "value" 、 2 をネストする方法が見つかりませんでしatた レンズを使用してそのようなネストされた値を設定する最も簡単な方法は何ですか?

上記のコードを考えると、これを行うことができるはずだという印象を受けています。

しかし、GHC は次のように文句を言います。

何か案は？

このコードは正常にコンパイルされています:

ただし、次のコードでエラーが発生しました。

エラー：

makeLenses ''None型宣言の間に 1 行追加しただけです。
これは、TemplateHaskell コードが型コンストラクターのスコープを変更できることを意味しますか?

この問題の詳細 (またはこの問題を回避する方法) を知っている人はいますか?

現時点ではWorkLog、開始日と終了日を持つタイプがあります。開始日と終了日から派生する期間レンズも追加したいと思います。読み取り専用にするか、値が変更された場合は終了日を変更する必要があります (1 つしか使用しませんが、両方のバージョンを実装する方法を知りたいです)。

これが私のコードです。workLogDurationRO基本的に、メインパスですべてのテストを取得する関数と関数を実装できればworkLogDurationRW、私の質問に答えることができます。