Monocle のオプションには、次のアクセス関数があります ( の場合Optional[C,A]):
getOption: C => Option[A]
set: A => C => C
これは、(部分的な) 非対称データ レンズの元の定義と矛盾しています。私は期待します：
getOption: C => Option[A]
setOption: A => C => Option[C]
その理由は何ですか？Monocle でクラシック パーシャル レンズを入手するにはどうすればよいですか? レンズをプログラミングするとき、get よりも set の全体を保証する方がはるかに問題があることがわかりました...