-
Given an
Optic, a function from
A to
B, and a "larger" value
S,
produce a
T by retrieving the
A from the
S, applying the function, and
updating the
S with the
B resulting from the function.
Turn an
Optic with a unary mapping that can be used for viewing some number of values into an
Optic
that views the first value, if it exists.
Turn an
Optic with a unary mapping that can be used for setting (e.g.
Given an
Optic, a "smaller" value
B, and a "larger" value
S, produce a
T by lifting the
Optic into the
Identity functor.
The inverse of
Over: given an
Iso, a function from
T to
S, and a "smaller"
value
B, return a "smaller" value
A by traversing around the type ring (
B -> T
-> S -> A).
Given an
Optic and a "larger" value
S, retrieve a "smaller" value
A by lifting the
Optic into the
Const functor.