PSetter

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 monomorphic updates:

type Setter[S, A] = PSetter[S, S, A, A]

PTraversal, POptional, PPrism, PLens and PIso are valid PSetter

S: the source of a PSetter
T: the modified source of a PSetter
A: the target of a PSetter
B: the modified target of a PSetter

Self Type: PSetter[S, T, A, B]
See also: monocle.law.SetterLaws

Linear Supertypes

Serializable, Serializable, AnyRef, Any

Instance Constructors

new PSetter()

Abstract Value Members

abstract def modify(f: (A) ⇒ B): (S) ⇒ T

modify polymorphically the target of a PSetter with a function
abstract def set(b: B): (S) ⇒ T

set polymorphically the target of a PSetter with a value

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ^<->[C, D](other: PIso[A, B, C, D]): PSetter[S, T, C, D]

alias to composeIso
alias to composeIso

Annotations
@inline()
final def ^<-?[C, D](other: PPrism[A, B, C, D]): PSetter[S, T, C, D]

alias to composePrism
alias to composePrism

Annotations
@inline()
final def ^|->[C, D](other: PLens[A, B, C, D]): PSetter[S, T, C, D]

alias to composeLens
alias to composeLens

Annotations
@inline()
final def ^|->>[C, D](other: PTraversal[A, B, C, D]): PSetter[S, T, C, D]

alias to composeTraversal
alias to composeTraversal

Annotations
@inline()
final def ^|-?[C, D](other: POptional[A, B, C, D]): PSetter[S, T, C, D]

alias to composeOptional
alias to composeOptional

Annotations
@inline()
final def asInstanceOf[T0]: T0

Definition Classes
Any
final def choice[S1, T1](other: PSetter[S1, T1, A, B]): PSetter[\/[S, S1], \/[T, T1], A, B]

join two PSetter with the same target
join two PSetter with the same target

Annotations
@inline()
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def composeIso[C, D](other: PIso[A, B, C, D]): PSetter[S, T, C, D]

compose a PSetter with a PIso
compose a PSetter with a PIso

Annotations
@inline()
final def composeLens[C, D](other: PLens[A, B, C, D]): PSetter[S, T, C, D]

compose a PSetter with a PLens
compose a PSetter with a PLens

Annotations
@inline()
final def composeOptional[C, D](other: POptional[A, B, C, D]): PSetter[S, T, C, D]

compose a PSetter with a POptional
compose a PSetter with a POptional

Annotations
@inline()
final def composePrism[C, D](other: PPrism[A, B, C, D]): PSetter[S, T, C, D]

compose a PSetter with a PPrism
compose a PSetter with a PPrism

Annotations
@inline()
final def composeSetter[C, D](other: PSetter[A, B, C, D]): PSetter[S, T, C, D]

compose a PSetter with a PSetter
compose a PSetter with a PSetter

Annotations
@inline()
final def composeTraversal[C, D](other: PTraversal[A, B, C, D]): PSetter[S, T, C, D]

compose a PSetter with a PTraversal
compose a PSetter with a PTraversal

Annotations
@inline()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

final def sum[S1, T1](other: PSetter[S1, T1, A, B]): PSetter[\/[S, S1], \/[T, T1], A, B]

Annotations
@deprecated @inline()
Deprecated
(Since version 1.2.0) use choice

Related Docs: object PSetter | package monocle

abstract class PSetter[S, T, A, B] extends Serializable

Instance Constructors

new PSetter()

Abstract Value Members

abstract def modify(f: (A) ⇒ B): (S) ⇒ T

abstract def set(b: B): (S) ⇒ T

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def ^<->[C, D](other: PIso[A, B, C, D]): PSetter[S, T, C, D]

final def ^<-?[C, D](other: PPrism[A, B, C, D]): PSetter[S, T, C, D]

final def ^|->[C, D](other: PLens[A, B, C, D]): PSetter[S, T, C, D]

final def ^|->>[C, D](other: PTraversal[A, B, C, D]): PSetter[S, T, C, D]

final def ^|-?[C, D](other: POptional[A, B, C, D]): PSetter[S, T, C, D]

final def asInstanceOf[T0]: T0

final def choice[S1, T1](other: PSetter[S1, T1, A, B]): PSetter[\/[S, S1], \/[T, T1], A, B]

def clone(): AnyRef

final def composeIso[C, D](other: PIso[A, B, C, D]): PSetter[S, T, C, D]

final def composeLens[C, D](other: PLens[A, B, C, D]): PSetter[S, T, C, D]

final def composeOptional[C, D](other: POptional[A, B, C, D]): PSetter[S, T, C, D]

final def composePrism[C, D](other: PPrism[A, B, C, D]): PSetter[S, T, C, D]

final def composeSetter[C, D](other: PSetter[A, B, C, D]): PSetter[S, T, C, D]

final 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

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

Deprecated Value Members

final def sum[S1, T1](other: PSetter[S1, T1, A, B]): PSetter[\/[S, S1], \/[T, T1], A, B]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped