Proptics core/proptics.std/TuplesOptics

TuplesOptics

trait TuplesOptics extends LensTupleOptics with ALensTupleOptics
trait ALensTupleOptics
trait LensTupleOptics
class Object
trait Matchable
class Any
object all.type
object all.type
object tuple.type

Value members

Inherited methods

final def _1[A, B](implicit ev: Field1[(A, B), A]): Lens[(A, B), A]

extract the first element of a tuple using monomorphic Lens

extract the first element of a tuple using monomorphic Lens

Inherited from:
LensTupleOptics
final def _1A[A, B](implicit ev: Field1[(A, B), A]): ALens[(A, B), A]

extract the first element of a tuple using polymorphic Lens_

extract the first element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def _1P[A, B, C]: Lens_[(A, C), (B, C), A, B]

extract the first element of a tuple using polymorphic Lens_

extract the first element of a tuple using polymorphic Lens_

Inherited from:
LensTupleOptics
final def _1PA[A, B, C]: ALens_[(A, C), (B, C), A, B]

extract the first element of a tuple using polymorphic Lens_

extract the first element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def _2[A, B](implicit ev: Field2[(A, B), B]): Lens[(A, B), B]

extract the second element of a tuple using monomorphic Lens_

extract the second element of a tuple using monomorphic Lens_

Inherited from:
LensTupleOptics
final def _2A[A, B](implicit ev: Field2[(A, B), B]): ALens[(A, B), B]

extract the second element of a tuple using polymorphic Lens_

extract the second element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def _2P[A, B, C]: Lens_[(C, A), (C, B), A, B]

extract the second element of a tuple using polymorphic Lens_

extract the second element of a tuple using polymorphic Lens_

Inherited from:
LensTupleOptics
final def _2PA[A, B, C]: ALens_[(C, A), (C, B), A, B]

extract the second element of a tuple using polymorphic Lens_

extract the second element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def firstP[A, B, C]: Lens_[(A, C), (B, C), A, B]

synonym for _1P

synonym for _1P

Inherited from:
LensTupleOptics
final def fstPA[A, B, C]: ALens_[(A, C), (B, C), A, B]

extract the first element of a tuple using polymorphic Lens_

extract the first element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def secondA[A, B](implicit ev: Field2[(A, B), B]): ALens[(A, B), B]

extract the first element of a tuple using polymorphic Lens_

extract the first element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def secondP[A, B, C]: Lens_[(C, A), (C, B), A, B]

synonym for _2P

synonym for _2P

Inherited from:
LensTupleOptics
final def secondPA[A, B, C]: ALens_[(C, A), (C, B), A, B]

extract the second element of a tuple using polymorphic Lens_

extract the second element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def swapTuple[A, B]: Iso[(A, B), (B, A)]

swap the elements of a Tuple

swap the elements of a Tuple

Inherited from:
LensTupleOptics