PPrism

A PPrism can be seen as a pair of functions:

getOrModify: S => T \/ A
reverseGet : B => T

A PPrism could also be defined as a weaker PIso where get can fail.

Typically a PPrism or Prism encodes the relation between a Sum or CoProduct type (e.g. sealed trait) and one of it is element.

PPrism stands for Polymorphic Prism as it set and modify methods change a type A to B and S to T. Prism is a type alias for PPrism where the type of target cannot be modified:

type Prism[S, A] = PPrism[S, S, A, A]

A PPrism is also a valid Fold, POptional, PTraversal and PSetter

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

Self Type: PPrism[S, T, A, B]
See also: PrismLaws in monocle-law module

Linear Supertypes

Serializable, Serializable, AnyRef, Any

Instance Constructors

new PPrism()

Abstract Value Members

abstract def getOption(s: S): Option[A]

get the target of a PPrism or nothing if there is no target
abstract def getOrModify(s: S): \/[T, A]

get the target of a PPrism or modify the source in case there is no target
abstract def reverseGet(b: B): T

get the modified source of a PPrism

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

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

Definition Classes
Any
final def ##(): Int

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

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

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

alias to composeIso
alias to composeIso

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

alias to composePrism
alias to composePrism

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

alias to composeLens
alias to composeLens

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

alias to composeTraversal
alias to composeTraversal

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

alias to composeOptional
alias to composeOptional

Annotations
@inline()
final def asFold: Fold[S, A]

view a PPrism as a Fold
view a PPrism as a Fold

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

Definition Classes
Any
final def asOptional: POptional[S, T, A, B]

view a PPrism as a POptional
view a PPrism as a POptional

Annotations
@inline()
final def asSetter: PSetter[S, T, A, B]

view a PPrism as a Setter
view a PPrism as a Setter

Annotations
@inline()
final def asTraversal: PTraversal[S, T, A, B]

view a PPrism as a PTraversal
view a PPrism as a PTraversal

Annotations
@inline()
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def composeFold[C](other: Fold[A, C]): Fold[S, C]

compose a PPrism with a Fold
compose a PPrism with a Fold

Annotations
@inline()
final def composeGetter[C](other: Getter[A, C]): Fold[S, C]

compose a PPrism with a Getter
compose a PPrism with a Getter

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

compose a PPrism with a PIso
compose a PPrism with a PIso

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

compose a PPrism with a PLens
compose a PPrism with a PLens

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

compose a PPrism with a POptional
compose a PPrism with a POptional

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

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

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

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

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

compose a PPrism with a PTraversal
compose a PPrism 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 first[C]: PPrism[(S, C), (T, C), (A, C), (B, C)]

Annotations
@inline()
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 isMatching(s: S): Boolean

check if a PPrism has a target
check if a PPrism has a target

Annotations
@inline()
final def modify(f: (A) ⇒ B): (S) ⇒ T

modify polymorphically the target of a PPrism with a function
modify polymorphically the target of a PPrism with a function

Annotations
@inline()
final def modifyF[F[_]](f: (A) ⇒ F[B])(s: S)(implicit arg0: Applicative[F]): F[T]

modify polymorphically the target of a PPrism with an Applicative function
modify polymorphically the target of a PPrism with an Applicative function

Annotations
@inline()
final def modifyOption(f: (A) ⇒ B): (S) ⇒ Option[T]

modify polymorphically the target of a PPrism with a function.
modify polymorphically the target of a PPrism with a function. return empty if the PPrism is not matching

Annotations
@inline()
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 re: Getter[B, T]

create a Getter from the modified target to the modified source of a PPrism
create a Getter from the modified target to the modified source of a PPrism

Annotations
@inline()
final def second[C]: PPrism[(C, S), (C, T), (C, A), (C, B)]

Annotations
@inline()
final def set(b: B): (S) ⇒ T

set polymorphically the target of a PPrism with a value
set polymorphically the target of a PPrism with a value

Annotations
@inline()
final def setOption(b: B): (S) ⇒ Option[T]

set polymorphically the target of a PPrism with a value.
set polymorphically the target of a PPrism with a value. return empty if the PPrism is not matching

Annotations
@inline()
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 getMaybe(s: S): Maybe[A]

Annotations
@deprecated @inline()
Deprecated
(Since version 1.1.0) use getOption
final def modifyMaybe(f: (A) ⇒ B): (S) ⇒ Maybe[T]

Annotations
@deprecated @inline()
Deprecated
(Since version 1.1.0) use modifyOption
final def setMaybe(b: B): (S) ⇒ Maybe[T]

Annotations
@deprecated @inline()
Deprecated
(Since version 1.1.0) use setOption

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

Instance Constructors

new PPrism()

Abstract Value Members

abstract def getOption(s: S): Option[A]

abstract def getOrModify(s: S): \/[T, A]

abstract def reverseGet(b: B): T

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

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

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

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

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

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

final def asFold: Fold[S, A]

final def asInstanceOf[T0]: T0

final def asOptional: POptional[S, T, A, B]

final def asSetter: PSetter[S, T, A, B]

final def asTraversal: PTraversal[S, T, A, B]

def clone(): AnyRef

final def composeFold[C](other: Fold[A, C]): Fold[S, C]

final def composeGetter[C](other: Getter[A, C]): Fold[S, C]

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

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

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

final def composePrism[C, D](other: PPrism[A, B, C, D]): PPrism[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]): PTraversal[S, T, C, D]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def first[C]: PPrism[(S, C), (T, C), (A, C), (B, C)]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def isMatching(s: S): Boolean

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

final def modifyF[F[_]](f: (A) ⇒ F[B])(s: S)(implicit arg0: Applicative[F]): F[T]

final def modifyOption(f: (A) ⇒ B): (S) ⇒ Option[T]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def re: Getter[B, T]

final def second[C]: PPrism[(C, S), (C, T), (C, A), (C, B)]

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

final def setOption(b: B): (S) ⇒ Option[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

Deprecated Value Members

final def getMaybe(s: S): Maybe[A]

final def modifyMaybe(f: (A) ⇒ B): (S) ⇒ Maybe[T]

final def setMaybe(b: B): (S) ⇒ Maybe[T]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped