Type of a new reader returned by functions such as zoom
Checks if that
is equal to this
using an appropriate equality check
Checks if that
is equal to this
using an appropriate equality check
Value to compare with
Evaluates the reader against a supplied model
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
Returns the value of the reader
Returns the value of the reader
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
Base trait for all model readers
Type of the base model
Type of the reader value