set property

Whole Function(Whole, Part) set

Updates the Whole with a new Part value, returning a new Whole.

Takes the original Whole and a new Part, and returns an updated copy of the whole. The original structure is not mutated.

Must satisfy the lens laws: setting then getting returns the set value, and setting the same value back returns the original (structurally).

Implementation

final Whole Function(Whole, Part) set;