Allow the illusion of imperative updates to numbers viewed through a partial lens
Allow the illusion of imperative updates to numbers viewed through a partial lens
Allow the illusion of imperative updates to numbers viewed through a partial lens
Lenses may be used implicitly as State monadic actions that get the viewed portion of the state
Lenses may be used implicitly as State monadic actions that get the viewed portion of the state
A lens that discards the choice of right or left from disjunction
A lens that discards the choice of right or left from disjunction
The always-null partial lens
The always-null partial lens
The identity partial lens for a given object
The identity partial lens for a given object
The trivial partial lens that can retrieve Unit from anything
The trivial partial lens that can retrieve Unit from anything