大学示例解释了如何添加和删除地图项:
(departments composeLens at("Physics")).set(Some(physics))(uni)
(departments composeLens at("History")).set(None)(uni)
但是,这不适用于列表:
(lecturers composeOptional index(2)).set(Lecturer("New", "Lecturer", 50))(dep)
(lecturers composeOptional index(0)).set(None)(dep)
添加什么都不做,删除会引发编译错误。
编辑:到目前为止,我使用quicklens,它能够修改序列。