Modify the portion of the state viewed through the lens and return its new value.
Modify the portion of the state viewed through the lens, but do not return its new value.
alias for product
Sequence the monadic action of looking through the lens to occur before the state action f
.
Set the portion of the state viewed through the lens and return its new value.
Modify the portion of the state viewed through the lens and return its old value.
Modify the portion of the state viewed through the lens and return its old value. alias for modo
7.0.2
Set the portion of the state viewed through the lens and return its old value.
Set the portion of the state viewed through the lens and return its old value. alias for assigno
7.0.2
alias for compose
Map the function f
over the value under the lens, as a state action.
alias for andThen
Bind the function f
over the value under the lens, as a state action.
Set the portion of the state viewed through the lens and return its new value.
Set the portion of the state viewed through the lens and return its old value.
Set the portion of the state viewed through the lens and return its old value.
7.0.2
Lenses can be composed
Bind the function f
over the value under the lens, as a state action.
Contravariantly map a state action through a lens.
Contravariantly mapping the state of a state monad through a lens is a natural transformation
Map the function f
over the lens as a state action.
Modify the value viewed through the lens
Modify the value viewed through the lens, returning a functor X
full of results.
Modify the portion of the state viewed through the lens and return its old value.
Modify the portion of the state viewed through the lens and return its old value.
7.0.2
Modify the value viewed through the lens, returning a C
on the side.
Modify the portion of the state viewed through the lens and return its new value.
Modify the portion of the state viewed through the lens, but do not return its new value.
A homomorphism of lens categories
Two disjoint lenses can be paired
Two lenses that view a value of the same type can be joined
alias for partial
Alias for sum
A Lens Family, offering a purely functional means to access and retrieve a field transitioning from type
B1
to typeB2
in a record simultaneously transitioning from typeA1
to typeA2
. scalaz.Lens is a convenient alias for whenA1 =:= A2
, andB1 =:= B2
.The term field should not be interpreted restrictively to mean a member of a class. For example, a lens family can address membership of a
Set
.The initial type of the record
The final type of the record
The initial type of the field
The final type of the field
scalaz.PLens