final
class
PSetter[S, T, A, B] extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
^<->[C, D](other: PIso[A, B, C, D]): PSetter[S, T, C, D]
-
def
^<-?[C, D](other: PPrism[A, B, C, D]): PSetter[S, T, C, D]
-
def
^|->[C, D](other: PLens[A, B, C, D]): PSetter[S, T, C, D]
-
def
^|->>[C, D](other: PTraversal[A, B, C, D]): PSetter[S, T, C, D]
-
def
^|-?[C, D](other: POptional[A, B, C, D]): PSetter[S, T, C, D]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
composeIso[C, D](other: PIso[A, B, C, D]): PSetter[S, T, C, D]
-
def
composeLens[C, D](other: PLens[A, B, C, D]): PSetter[S, T, C, D]
-
def
composeOptional[C, D](other: POptional[A, B, C, D]): PSetter[S, T, C, D]
-
def
composePrism[C, D](other: PPrism[A, B, C, D]): PSetter[S, T, C, D]
-
def
composeSetter[C, D](other: PSetter[A, B, C, D]): PSetter[S, T, C, D]
-
def
composeTraversal[C, D](other: PTraversal[A, B, C, D]): PSetter[S, T, C, D]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
val
modify: ((A) ⇒ B) ⇒ (S) ⇒ T
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
set(b: B): (S) ⇒ T
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
A PSetter is a generalisation of Functor map: map: (A => B) => F[A] => F[B] modify: (A => B) => S => T
PSetter stands for Polymorphic Setter as it set and modify methods change a type A to B and S to T. Setter is a type alias for PSetter restricted to monomoprhic updates:
type Setter[S, A] = PSetter[S, S, A, A]
PTraversal, POptional, PPrism, PLens and PIso are valid PSetter
the source of a PSetter
the modified source of a PSetter
the target of a PSetter
the modified target of a PSetter
SetterLaws in monocle-law module