Type of a new reader returned by functions such as zoom
Checks if that
is equal to this
using an appropriate equality check
Returns the value of the reader
Returns the value of the reader
Evaluates the reader against a supplied model
Evaluates the reader against a supplied model
FlatMaps over current reader into a new value provided by f
.
FlatMaps over current reader into a new value provided by f
. Reader type S
must be of type F[A]
,
for example Option[A]
.
The function to apply, must return a value of type F[B]
Maps over current reader into a new value provided by f
.
Maps over current reader into a new value provided by f
. Reader type S
must be of type F[A]
,
for example Option[A]
.
The function to apply
Returns the root model reader of this reader
Returns the value of the reader
Returns the value of the reader
Combines this reader with another reader to provide a new reader returning a tuple of the values of the two original readers.
Combines this reader with another reader to provide a new reader returning a tuple of the values of the two original readers.
The other reader
Zooms into the model using the provided accessor function
Zooms into the model using the provided accessor function
Function to go from current reader to a new value
Zooms into the model and flatMaps over the zoomed value, which must be of type F[A]
Zooms into the model and flatMaps over the zoomed value, which must be of type F[A]
Zooming function
The function to apply, must return a value of type F[B]
Zooms into the model and maps over the zoomed value, which must be of type F[A]
Zooms into the model and maps over the zoomed value, which must be of type F[A]
Zooming function
The function to apply
Model reader for two zipped readers