Proptics core/proptics/Lens_

Lens_

object Lens_
Companion:
class
class Object
trait Matchable
class Any
Lens_.type

Value members

Concrete methods

final def apply[S, T, A, B](view: S => A)(set: S => B => T): Lens_[S, T, A, B]

create a polymorphic Lens_ from a getter/setter pair

create a polymorphic Lens_ from a getter/setter pair

final def id[S, T]: Lens_[S, T, S, T]

polymorphic identity of a Lens_

polymorphic identity of a Lens_

final def lens[S, T, A, B](to: S => (A, B => T)): Lens_[S, T, A, B]

create a polymorphic Lens_ from a combined getter/setter

create a polymorphic Lens_ from a combined getter/setter

final def outside[S, T, A, B, R](prism: Prism0[S, T, A, B]): Lens_[T => R, S => R, B => R, A => R]

use a Prism_ as a kind of first-class pattern.

use a Prism_ as a kind of first-class pattern.

Implicits

Implicits

implicit def aLensToLens[S, T, A, B](aLens: ALens_[S, T, A, B]): Lens_[S, T, A, B]

implicit conversion from APrism_ to Prism_

implicit conversion from APrism_ to Prism_