Monocle

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 _cons[S, A](head: A, tail: S)(implicit ev: Cons[S, A]): S

append an element to the head
append an element to the head

Definition Classes
ConsFunctions
final def _cons1[S, H, T](head: H, tail: T)(implicit ev: Cons1[S, H, T]): S

append an element to the head
append an element to the head

Definition Classes
Cons1Functions
def _empty[S](implicit ev: Empty[S]): S

Definition Classes
EmptyFunctions
def _isEmpty[S](s: S)(implicit ev: Empty[S]): Boolean

Definition Classes
EmptyFunctions
def _reverse[S](s: S)(implicit ev: Reverse[S, S]): S

Definition Classes
ReverseFunctions
final def _snoc[S, A](init: S, last: A)(implicit ev: Snoc[S, A]): S

append an element to the end
append an element to the end

Definition Classes
SnocFunctions
final def _snoc1[S, I, L](init: I, last: L)(implicit ev: Snoc1[S, I, L]): S

append an element to the end
append an element to the end

Definition Classes
Snoc1Functions
final def _uncons[S, A](s: S)(implicit ev: Cons[S, A]): Option[(A, S)]

deconstruct an S between its head and tail
deconstruct an S between its head and tail

Definition Classes
ConsFunctions
final def _uncons1[S, H, T](s: S)(implicit ev: Cons1[S, H, T]): (H, T)

deconstruct an S between its head and tail
deconstruct an S between its head and tail

Definition Classes
Cons1Functions
final def _unsnoc[S, A](s: S)(implicit ev: Snoc[S, A]): Option[(S, A)]

deconstruct an S between its init and last
deconstruct an S between its init and last

Definition Classes
SnocFunctions
final def _unsnoc1[S, I, L](s: S)(implicit ev: Snoc1[S, I, L]): (I, L)

deconstruct an S between its init and last
deconstruct an S between its init and last

Definition Classes
Snoc1Functions
final def asInstanceOf[T0]: T0

Definition Classes
Any
def at[S, I, A](i: I)(implicit ev: At[S, I, A]): Lens[S, A]

Definition Classes
AtFunctions
implicit def atIMap[K, V](implicit arg0: Order[K]): At[==>>[K, V], K, Option[V]]

Definition Classes
IMapOptics
implicit def atISet[A](implicit arg0: Order[A]): At[ISet[A], A, Boolean]

Definition Classes
ISetOptics
def atIndex[S, I, A](implicit ev: At[S, I, Option[A]]): Index[S, I, A]

Definition Classes
IndexFunctions
implicit def atMap[K, V]: At[Map[K, V], K, Option[V]]

Definition Classes
MapOptics
implicit def atSet[A]: At[Set[A], A, Boolean]

Definition Classes
SetOptics
val bigDecimalToInt: Prism[BigDecimal, Int]

Definition Classes
BigDecimalOptics
val bigDecimalToLong: Prism[BigDecimal, Long]

Definition Classes
BigDecimalOptics
val bigIntToBoolean: Prism[BigInt, Boolean]

Definition Classes
BigIntOptics
val bigIntToByte: Prism[BigInt, Byte]

Definition Classes
BigIntOptics
val bigIntToChar: Prism[BigInt, Char]

Definition Classes
BigIntOptics
val bigIntToInt: Prism[BigInt, Int]

Definition Classes
BigIntOptics
val bigIntToLong: Prism[BigInt, Long]

Definition Classes
BigIntOptics
val byteToBoolean: Prism[Byte, Boolean]

Definition Classes
ByteOptics
implicit val charOrder: Order[Char]

Definition Classes
CharOptics
val charToBoolean: Prism[Char, Boolean]

Definition Classes
CharOptics
def children[A](a: A)(implicit arg0: Plated[A]): List[A]

get the immediate self-similar children of a target
get the immediate self-similar children of a target

Definition Classes
PlatedFunctions
Annotations
@inline()
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def cofreeCons1[S[_], A]: Cons1[Cofree[S, A], A, S[Cofree[S, A]]]

Evidence that cofree structures can be split up into a head and a tail
Evidence that cofree structures can be split up into a head and a tail

Definition Classes
CofreeOptics
implicit def cofreeEach[S[_], A](implicit arg0: Traverse[S]): Each[Cofree[S, A], A]

Trivial Each instance due to Cofree S being traversable when S is
Trivial Each instance due to Cofree S being traversable when S is

Definition Classes
CofreeOptics
implicit def cofreePlated[S[_], A](implicit arg0: Traverse[S]): Plated[Cofree[S, A]]

Definition Classes
CofreeOptics
def cofreeToStream[A]: Iso[Cofree[Option, A], OneAnd[Stream, A]]

Iso variant of pCofreeToStream
Iso variant of pCofreeToStream

Definition Classes
CofreeOptics
def cofreeToTree[A]: Iso[Cofree[Stream, A], Tree[A]]

Iso variant of pCofreeToTree
Iso variant of pCofreeToTree

Definition Classes
CofreeOptics
final def cons[S, A](implicit ev: Cons[S, A]): Prism[S, (A, S)]

Definition Classes
ConsFunctions
final def cons1[S, H, T](implicit ev: Cons1[S, H, T]): Iso[S, (H, T)]

Definition Classes
Cons1Functions
def curry[F, G](implicit ev: Curry[F, G]): Iso[F, G]

Definition Classes
CurryFunctions
implicit def curry2[A, B, C]: Curry[(A, B) ⇒ C, (A) ⇒ (B) ⇒ C]

Definition Classes
FunctionOptics3
implicit def curry3[A, B, C, D]: Curry[(A, B, C) ⇒ D, (A) ⇒ (B) ⇒ (C) ⇒ D]

Definition Classes
FunctionOptics2
implicit def curry4[A, B, C, D, E]: Curry[(A, B, C, D) ⇒ E, (A) ⇒ (B) ⇒ (C) ⇒ (D) ⇒ E]

Definition Classes
FunctionOptics1
implicit def curry5[A, B, C, D, E, F]: Curry[(A, B, C, D, E) ⇒ F, (A) ⇒ (B) ⇒ (C) ⇒ (D) ⇒ (E) ⇒ F]

Definition Classes
FunctionOptics
final def disjunctionToEither[E, A]: Iso[\/[E, A], Either[E, A]]

Definition Classes
DisjunctionOptics
final def disjunctionToValidation[E, A]: Iso[\/[E, A], Validation[E, A]]

Definition Classes
DisjunctionOptics
val doubleToFloat: Prism[Double, Float]

Definition Classes
DoubleOptics
val doubleToInt: Prism[Double, Int]

Definition Classes
DoubleOptics
def each[S, A](implicit ev: Each[S, A]): Traversal[S, A]

Definition Classes
EachFunctions
final def eitherToDisjunction[E, A]: Iso[Either[E, A], \/[E, A]]

Definition Classes
EitherOptics
def empty[S](implicit ev: Empty[S]): Prism[S, Unit]

Definition Classes
EmptyFunctions
implicit def emptyISet[A]: Empty[ISet[A]]

Definition Classes
ISetOptics
implicit def emptySet[A]: Empty[Set[A]]

Definition Classes
SetOptics
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
final def failure[E, A]: Prism[Validation[E, A], E]

Definition Classes
ValidationOptics
def fifth[S, A](implicit ev: Field5[S, A]): Lens[S, A]

Definition Classes
Field5Functions
def filterIndex[S, I, A](predicate: (I) ⇒ Boolean)(implicit ev: FilterIndex[S, I, A]): Traversal[S, A]

Definition Classes
FilterIndexFunctions
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def first[S, A](implicit ev: Field1[S, A]): Lens[S, A]

Definition Classes
Field1Functions
final def flip[A, B, C]: Iso[(A) ⇒ (B) ⇒ C, (B) ⇒ (A) ⇒ C]

Definition Classes
FunctionOptics
final def flipped[A, B, C]: ((A) ⇒ (B) ⇒ C) ⇒ (B) ⇒ (A) ⇒ C

Definition Classes
FunctionOptics
def fourth[S, A](implicit ev: Field4[S, A]): Lens[S, A]

Definition Classes
Field4Functions
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def head[S, H, T](implicit ev: Cons1[S, H, T]): Lens[S, H]

Definition Classes
Cons1Functions
final def headOption[S, A](implicit ev: Cons[S, A]): Optional[S, A]

Definition Classes
ConsFunctions
implicit def iListCons[A]: Cons[IList[A], A]

Definition Classes
IListInstances
implicit def iListEach[A]: Each[IList[A], A]

Definition Classes
IListInstances
implicit def iListEmpty[A]: Empty[IList[A]]

Definition Classes
IListInstances
implicit def iListFilterIndex[A]: FilterIndex[IList[A], Int, A]

Definition Classes
IListInstances
implicit def iListIndex[A]: Index[IList[A], Int, A]

Definition Classes
IListInstances
implicit def iListReverse[A]: Reverse[IList[A], IList[A]]

Definition Classes
IListInstances
implicit def iListSnoc[A]: Snoc[IList[A], A]

Definition Classes
IListInstances
final def iListToList[A]: Iso[IList[A], List[A]]

Definition Classes
IListInstances
implicit def iMapEach[K, V]: Each[==>>[K, V], V]

Definition Classes
IMapOptics
implicit def iMapEmpty[K, V]: Empty[==>>[K, V]]

Definition Classes
IMapOptics
implicit def iMapFilterIndex[K, V](implicit arg0: Order[K]): FilterIndex[==>>[K, V], K, V]

Definition Classes
IMapOptics
implicit def iMapIndex[K, V](implicit arg0: Order[K]): Index[==>>[K, V], K, V]

Definition Classes
IMapOptics
implicit def iNilEmpty[A]: Empty[INil[A]]

Definition Classes
IListInstances
implicit def ilistPlated[A]: Plated[IList[A]]

Definition Classes
IListInstances
def index[S, I, A](i: I)(implicit ev: Index[S, I, A]): Optional[S, A]

Definition Classes
IndexFunctions
final def init[S, I, L](implicit ev: Snoc1[S, I, L]): Lens[S, I]

Definition Classes
Snoc1Functions
final def initOption[S, A](implicit ev: Snoc[S, A]): Optional[S, S]

Definition Classes
SnocFunctions
val intToBoolean: Prism[Int, Boolean]

Definition Classes
IntOptics
val intToByte: Prism[Int, Byte]

Definition Classes
IntOptics
val intToChar: Prism[Int, Char]

Definition Classes
IntOptics
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def just[A]: Prism[Maybe[A], A]

Definition Classes
MaybeOptics
final def last[S, I, L](implicit ev: Snoc1[S, I, L]): Lens[S, L]

Definition Classes
Snoc1Functions
final def lastOption[S, A](implicit ev: Snoc[S, A]): Optional[S, A]

Definition Classes
SnocFunctions
final def left[A, B]: Prism[\/[A, B], A]

Definition Classes
DisjunctionOptics
final def left3[A, B, C]: Prism[Either3[A, B, C], A]

Definition Classes
Either3Optics
final def leftMostLabel[A]: Lens[Tree[A], A]

Definition Classes
TreeOptics
implicit def listCons[A]: Cons[List[A], A]

Definition Classes
ListOptics
implicit def listEach[A]: Each[List[A], A]

Definition Classes
ListOptics
implicit def listEmpty[A]: Empty[List[A]]

Definition Classes
ListOptics
implicit def listFilterIndex[A]: FilterIndex[List[A], Int, A]

Definition Classes
ListOptics
implicit def listIndex[A]: Index[List[A], Int, A]

Definition Classes
ListOptics
implicit def listPlated[A]: Plated[List[A]]

Definition Classes
ListOptics
implicit def listReverse[A]: Reverse[List[A], List[A]]

Definition Classes
ListOptics
implicit def listSnoc[A]: Snoc[List[A], A]

Definition Classes
ListOptics
def listToVector[A]: Iso[List[A], Vector[A]]

Definition Classes
ListOptics
val longToBoolean: Prism[Long, Boolean]

Definition Classes
LongOptics
val longToByte: Prism[Long, Byte]

Definition Classes
LongOptics
val longToChar: Prism[Long, Char]

Definition Classes
LongOptics
val longToInt: Prism[Long, Int]

Definition Classes
LongOptics
implicit def mapEach[K, V]: Each[Map[K, V], V]

Definition Classes
MapOptics
implicit def mapEmpty[K, V]: Empty[Map[K, V]]

Definition Classes
MapOptics
implicit def mapFilterIndex[K, V]: FilterIndex[Map[K, V], K, V]

Definition Classes
MapOptics
implicit def mapIndex[K, V]: Index[Map[K, V], K, V]

Definition Classes
MapOptics
def mapToSet[K]: Iso[Map[K, Unit], Set[K]]

Definition Classes
MapOptics
implicit def maybeEach[A]: Each[Maybe[A], A]

Definition Classes
MaybeOptics
implicit def maybeEmpty[A]: Empty[Maybe[A]]

Definition Classes
MaybeOptics
final def maybeToOption[A]: Iso[Maybe[A], Option[A]]

Definition Classes
MaybeOptics
final def middle3[A, B, C]: Prism[Either3[A, B, C], B]

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

Definition Classes
AnyRef
implicit def nelCons1[A]: Cons1[NonEmptyList[A], A, List[A]]

Definition Classes
NonEmptyListOptics
implicit def nelEach[A]: Each[NonEmptyList[A], A]

Definition Classes
NonEmptyListOptics
implicit def nelFilterIndex[A]: FilterIndex[NonEmptyList[A], Int, A]

Definition Classes
NonEmptyListOptics
implicit def nelIndex[A]: Index[NonEmptyList[A], Int, A]

Definition Classes
NonEmptyListOptics
implicit def nelReverse[A]: Reverse[NonEmptyList[A], NonEmptyList[A]]

Definition Classes
NonEmptyListOptics
implicit def nelSnoc1[A]: Snoc1[NonEmptyList[A], List[A], A]

Definition Classes
NonEmptyListOptics
final def nelToOneAnd[A]: Iso[NonEmptyList[A], OneAnd[List, A]]

Definition Classes
NonEmptyListOptics
implicit val nilEmpty: Empty[Nil.type]

Definition Classes
ListOptics
final def none[A]: Prism[Option[A], Unit]

Definition Classes
OptionOptics
final def nothing[A]: Prism[Maybe[A], Unit]

Definition Classes
MaybeOptics
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
implicit def oneAndCons1[T[_], A]: Cons1[OneAnd[T, A], A, T[A]]

Definition Classes
OneAndOptics
implicit def oneAndEach[T[_], A](implicit ev: Each[T[A], A]): Each[OneAnd[T, A], A]

Definition Classes
OneAndOptics
implicit def oneAndField1[T[_], A]: Field1[OneAnd[T, A], A]

Definition Classes
OneAndOptics
implicit def oneAndIndex[T[_], A](implicit ev: Index[T[A], Int, A]): Index[OneAnd[T, A], Int, A]

Definition Classes
OneAndOptics
implicit def optEach[A]: Each[Option[A], A]

Definition Classes
OptionOptics
final def optNelToList[A]: Iso[Option[NonEmptyList[A]], List[A]]

Definition Classes
NonEmptyListOptics
implicit def optionEmpty[A]: Empty[Option[A]]

Definition Classes
OptionOptics
final def optionToDisjunction[A]: Iso[Option[A], \/[Unit, A]]

Definition Classes
OptionOptics
def pCofreeToStream[A, B]: PIso[Cofree[Option, A], Cofree[Option, B], OneAnd[Stream, A], OneAnd[Stream, B]]

Polymorphic isomorphism between Cofree[Option, _] and OneAnd[Stream, _]
Polymorphic isomorphism between Cofree[Option, _] and OneAnd[Stream, _]

Definition Classes
CofreeOptics
def pCofreeToTree[A, B]: PIso[Cofree[Stream, A], Cofree[Stream, B], Tree[A], Tree[B]]

Polymorphic isomorphism between Cofree[Stream, _] and Tree
Polymorphic isomorphism between Cofree[Stream, _] and Tree

Definition Classes
CofreeOptics
final def pDisjunctionToEither[E1, E2, A1, A2]: PIso[\/[E1, A1], \/[E2, A2], Either[E1, A1], Either[E2, A2]]

Definition Classes
DisjunctionOptics
final def pDisjunctionToValidation[E1, E2, A1, A2]: PIso[\/[E1, A1], \/[E2, A2], Validation[E1, A1], Validation[E2, A2]]

Definition Classes
DisjunctionOptics
final def pEitherToDisjunction[E1, E2, A1, A2]: PIso[Either[E1, A1], Either[E2, A2], \/[E1, A1], \/[E2, A2]]

Definition Classes
EitherOptics
final def pFailure[E, A, F]: PPrism[Validation[E, A], Validation[F, A], E, F]

Definition Classes
ValidationOptics
final def pIListToList[A, B]: PIso[IList[A], IList[B], List[A], List[B]]

Definition Classes
IListInstances
final def pJust[A, B]: PPrism[Maybe[A], Maybe[B], A, B]

Definition Classes
MaybeOptics
final def pLeft[A, B, C]: PPrism[\/[A, B], \/[C, B], A, C]

Definition Classes
DisjunctionOptics
final def pLeft3[A, B, C, D]: PPrism[Either3[A, B, C], Either3[D, B, C], A, D]

Definition Classes
Either3Optics
def pListToVector[A, B]: PIso[List[A], List[B], Vector[A], Vector[B]]

Definition Classes
ListOptics
final def pMaybeToOption[A, B]: PIso[Maybe[A], Maybe[B], Option[A], Option[B]]

Definition Classes
MaybeOptics
final def pMiddle3[A, B, C, D]: PPrism[Either3[A, B, C], Either3[A, D, C], B, D]

Definition Classes
Either3Optics
final def pNelToOneAnd[A, B]: PIso[NonEmptyList[A], NonEmptyList[B], OneAnd[List, A], OneAnd[List, B]]

Definition Classes
NonEmptyListOptics
final def pOptNelToList[A, B]: PIso[Option[NonEmptyList[A]], Option[NonEmptyList[B]], List[A], List[B]]

Definition Classes
NonEmptyListOptics
final def pOptionToDisjunction[A, B]: PIso[Option[A], Option[B], \/[Unit, A], \/[Unit, B]]

Definition Classes
OptionOptics
final def pRight[A, B, C]: PPrism[\/[A, B], \/[A, C], B, C]

Definition Classes
DisjunctionOptics
final def pRight3[A, B, C, D]: PPrism[Either3[A, B, C], Either3[A, B, D], C, D]

Definition Classes
Either3Optics
final def pSome[A, B]: PPrism[Option[A], Option[B], A, B]

Definition Classes
OptionOptics
final def pStdLeft[A, B, C]: PPrism[Either[A, B], Either[C, B], A, C]

Definition Classes
EitherOptics
final def pStdRight[A, B, C]: PPrism[Either[A, B], Either[A, C], B, C]

Definition Classes
EitherOptics
final def pSuccess[E, A, B]: PPrism[Validation[E, A], Validation[E, B], A, B]

Definition Classes
ValidationOptics
final def pValidationToDisjunction[E1, E2, A1, A2]: PIso[Validation[E1, A1], Validation[E2, A2], \/[E1, A1], \/[E2, A2]]

Definition Classes
ValidationOptics
def plate[A](implicit P: Plated[A]): Traversal[A, A]

Traversal of immediate self-similar children
Traversal of immediate self-similar children

Definition Classes
PlatedFunctions
def remove[S, I, A](i: I)(s: S)(implicit ev: At[S, I, Option[A]]): S

delete a value associated with a key in a Map-like container
delete a value associated with a key in a Map-like container

Definition Classes
AtFunctions
def reverse[S, A](implicit ev: Reverse[S, A]): Iso[S, A]

Definition Classes
ReverseFunctions
def reverseFromReverseFunction[S](_reverse: (S) ⇒ S): Reverse[S, S]

Definition Classes
ReverseFunctions
def rewrite[A](f: (A) ⇒ Option[A])(a: A)(implicit arg0: Plated[A]): A

rewrite a target by applying a rule as often as possible until it reaches a fixpoint (this is an infinite loop if there is no fixpoint)
rewrite a target by applying a rule as often as possible until it reaches a fixpoint (this is an infinite loop if there is no fixpoint)

Definition Classes
PlatedFunctions
def rewriteOf[A](l: Setter[A, A])(f: (A) ⇒ Option[A])(a: A): A

rewrite a target by applying a rule within a Setter, as often as possible until it reaches a fixpoint (this is an infinite loop if there is no fixpoint)
rewrite a target by applying a rule within a Setter, as often as possible until it reaches a fixpoint (this is an infinite loop if there is no fixpoint)

Definition Classes
PlatedFunctions
final def right[A, B]: Prism[\/[A, B], B]

Definition Classes
DisjunctionOptics
final def right3[A, B, C]: Prism[Either3[A, B, C], C]

Definition Classes
Either3Optics
final def rightMostLabel[A]: Lens[Tree[A], A]

Definition Classes
TreeOptics
final def rootLabel[A]: Lens[Tree[A], A]

Definition Classes
TreeOptics
def second[S, A](implicit ev: Field2[S, A]): Lens[S, A]

Definition Classes
Field2Functions
def sixth[S, A](implicit ev: Field6[S, A]): Lens[S, A]

Definition Classes
Field6Functions
final def snoc[S, A](implicit ev: Snoc[S, A]): Prism[S, (S, A)]

Definition Classes
SnocFunctions
final def snoc1[S, I, L](implicit ev: Snoc1[S, I, L]): Iso[S, (I, L)]

Definition Classes
Snoc1Functions
final def some[A]: Prism[Option[A], A]

Definition Classes
OptionOptics
final def stdLeft[A, B]: Prism[Either[A, B], A]

Definition Classes
EitherOptics
final def stdRight[A, B]: Prism[Either[A, B], B]

Definition Classes
EitherOptics
implicit def streamCons[A]: Cons[Stream[A], A]

Definition Classes
StreamOptics
implicit def streamEach[A]: Each[Stream[A], A]

Definition Classes
StreamOptics
implicit def streamEmpty[A]: Empty[Stream[A]]

Definition Classes
StreamOptics
implicit def streamFilterIndex[A]: FilterIndex[Stream[A], Int, A]

Definition Classes
StreamOptics
implicit def streamIndex[A]: Index[Stream[A], Int, A]

Definition Classes
StreamOptics
implicit def streamPlated[A]: Plated[Stream[A]]

Definition Classes
StreamOptics
implicit def streamReverse[A]: Reverse[Stream[A], Stream[A]]

Definition Classes
StreamOptics
implicit def streamSnoc[A]: Snoc[Stream[A], A]

Definition Classes
StreamOptics
implicit val stringCons: Cons[String, Char]

Definition Classes
StringOptics
implicit val stringEach: Each[String, Char]

Definition Classes
StringOptics
implicit val stringEmpty: Empty[String]

Definition Classes
StringOptics
implicit val stringFilterIndex: FilterIndex[String, Int, Char]

Definition Classes
StringOptics
implicit val stringIndex: Index[String, Int, Char]

Definition Classes
StringOptics
implicit val stringPlated: Plated[String]

Definition Classes
StringOptics
implicit val stringReverse: Reverse[String, String]

Definition Classes
StringOptics
implicit val stringSnoc: Snoc[String, Char]

Definition Classes
StringOptics
val stringToBoolean: Prism[String, Boolean]

Definition Classes
StringOptics
val stringToByte: Prism[String, Byte]

Definition Classes
StringOptics
val stringToInt: Prism[String, Int]

Definition Classes
StringOptics
val stringToList: Iso[String, List[Char]]

Definition Classes
StringOptics
val stringToLong: Prism[String, Long]

Definition Classes
StringOptics
final def subForest[A]: Lens[Tree[A], Stream[Tree[A]]]

Definition Classes
TreeOptics
final def success[E, A]: Prism[Validation[E, A], A]

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

Definition Classes
AnyRef
implicit def tagWrapped[A, B]: Wrapped[@@[A, B], A]

Definition Classes
TagOptics
final def tail[S, H, T](implicit ev: Cons1[S, H, T]): Lens[S, T]

Definition Classes
Cons1Functions
final def tailOption[S, A](implicit ev: Cons[S, A]): Optional[S, S]

Definition Classes
ConsFunctions
def theseToDisjunction[A, B]: Prism[\&/[A, B], \/[A, B]]

Definition Classes
TheseOptics
def third[S, A](implicit ev: Field3[S, A]): Lens[S, A]

Definition Classes
Field3Functions
implicit def toApplyFoldOps[S](value: S): ApplyFoldOps[S]

Definition Classes
ApplySyntax
implicit def toApplyGetterOps[S](value: S): ApplyGetterOps[S]

Definition Classes
ApplySyntax
implicit def toApplyIsoOps[S](value: S): ApplyIsoOps[S]

Definition Classes
ApplySyntax
implicit def toApplyLensOps[S](value: S): ApplyLensOps[S]

Definition Classes
ApplySyntax
implicit def toApplyOptionalOps[S](value: S): ApplyOptionalOps[S]

Definition Classes
ApplySyntax
implicit def toApplyPrismOps[S](value: S): ApplyPrismOps[S]

Definition Classes
ApplySyntax
implicit def toApplySetterOps[S](value: S): ApplySetterOps[S]

Definition Classes
ApplySyntax
implicit def toApplyTraversalOps[S](value: S): ApplyTraversalOps[S]

Definition Classes
ApplySyntax
def toString(): String

Definition Classes
AnyRef → Any
def transform[A](f: (A) ⇒ A)(a: A)(implicit arg0: Plated[A]): A

transform every element
transform every element

Definition Classes
PlatedFunctions
def transformCounting[A](f: (A) ⇒ Option[A])(a: A)(implicit arg0: Plated[A]): (Int, A)

transforming counting changes
transforming counting changes

Definition Classes
PlatedFunctions
def transformM[A, M[_]](f: (A) ⇒ M[A])(a: A)(implicit arg0: Plated[A], arg1: Monad[M]): M[A]

transforming every element using monadic transformation
transforming every element using monadic transformation

Definition Classes
PlatedFunctions
def transformOf[A](l: Setter[A, A])(f: (A) ⇒ A)(a: A): A

transform every element by applying a Setter
transform every element by applying a Setter

Definition Classes
PlatedFunctions
def traverseEach[S[_], A](implicit arg0: Traverse[S]): Each[S[A], A]

Definition Classes
EachFunctions
def traverseFilterIndex[S[_], A](zipWithIndex: (S[A]) ⇒ S[(A, Int)])(implicit arg0: Traverse[S]): FilterIndex[S[A], Int, A]

Definition Classes
FilterIndexFunctions
implicit def treeEach[A]: Each[Tree[A], A]

Definition Classes
TreeOptics
implicit def treePlated[A]: Plated[Tree[A]]

Definition Classes
TreeOptics
implicit def treeReverse[A]: Reverse[Tree[A], Tree[A]]

Definition Classes
TreeOptics
implicit def tuple1Field1[A]: Field1[(A), A]

Definition Classes
Tuple1Optics
def tuple1Iso[A]: Iso[(A), A]

Definition Classes
Tuple1Optics
implicit def tuple1Reverse[A]: Reverse[(A), (A)]

Definition Classes
Tuple1Optics
implicit def tuple2Cons1[A1, A2]: Cons1[(A1, A2), A1, A2]

Definition Classes
Tuple2Optics
implicit def tuple2Each[A]: Each[(A, A), A]

Definition Classes
Tuple2Optics
implicit def tuple2Field1[A1, A2]: Field1[(A1, A2), A1]

Definition Classes
Tuple2Optics
implicit def tuple2Field2[A1, A2]: Field2[(A1, A2), A2]

Definition Classes
Tuple2Optics
implicit def tuple2Reverse[A, B]: Reverse[(A, B), (B, A)]

Definition Classes
Tuple2Optics
implicit def tuple2Snoc1[A1, A2]: Snoc1[(A1, A2), A1, A2]

Definition Classes
Tuple2Optics
implicit def tuple3Cons1[A1, A2, A3]: Cons1[(A1, A2, A3), A1, (A2, A3)]

Definition Classes
Tuple3Optics
implicit def tuple3Each[A]: Each[(A, A, A), A]

Definition Classes
Tuple3Optics
implicit def tuple3Field1[A1, A2, A3]: Field1[(A1, A2, A3), A1]

Definition Classes
Tuple3Optics
implicit def tuple3Field2[A1, A2, A3]: Field2[(A1, A2, A3), A2]

Definition Classes
Tuple3Optics
implicit def tuple3Field3[A1, A2, A3]: Field3[(A1, A2, A3), A3]

Definition Classes
Tuple3Optics
implicit def tuple3Reverse[A, B, C]: Reverse[(A, B, C), (C, B, A)]

Definition Classes
Tuple3Optics
implicit def tuple3Snoc1[A1, A2, A3]: Snoc1[(A1, A2, A3), (A1, A2), A3]

Definition Classes
Tuple3Optics
implicit def tuple4Cons1[A1, A2, A3, A4]: Cons1[(A1, A2, A3, A4), A1, (A2, A3, A4)]

Definition Classes
Tuple4Optics
implicit def tuple4Each[A]: Each[(A, A, A, A), A]

Definition Classes
Tuple4Optics
implicit def tuple4Field1[A1, A2, A3, A4]: Field1[(A1, A2, A3, A4), A1]

Definition Classes
Tuple4Optics
implicit def tuple4Field2[A1, A2, A3, A4]: Field2[(A1, A2, A3, A4), A2]

Definition Classes
Tuple4Optics
implicit def tuple4Field3[A1, A2, A3, A4]: Field3[(A1, A2, A3, A4), A3]

Definition Classes
Tuple4Optics
implicit def tuple4Field4[A1, A2, A3, A4]: Field4[(A1, A2, A3, A4), A4]

Definition Classes
Tuple4Optics
implicit def tuple4Reverse[A, B, C, D]: Reverse[(A, B, C, D), (D, C, B, A)]

Definition Classes
Tuple4Optics
implicit def tuple4Snoc1[A1, A2, A3, A4]: Snoc1[(A1, A2, A3, A4), (A1, A2, A3), A4]

Definition Classes
Tuple4Optics
implicit def tuple5Cons1[A1, A2, A3, A4, A5]: Cons1[(A1, A2, A3, A4, A5), A1, (A2, A3, A4, A5)]

Definition Classes
Tuple5Optics
implicit def tuple5Each[A]: Each[(A, A, A, A, A), A]

Definition Classes
Tuple5Optics
implicit def tuple5Field1[A1, A2, A3, A4, A5]: Field1[(A1, A2, A3, A4, A5), A1]

Definition Classes
Tuple5Optics
implicit def tuple5Field2[A1, A2, A3, A4, A5]: Field2[(A1, A2, A3, A4, A5), A2]

Definition Classes
Tuple5Optics
implicit def tuple5Field3[A1, A2, A3, A4, A5]: Field3[(A1, A2, A3, A4, A5), A3]

Definition Classes
Tuple5Optics
implicit def tuple5Field4[A1, A2, A3, A4, A5]: Field4[(A1, A2, A3, A4, A5), A4]

Definition Classes
Tuple5Optics
implicit def tuple5Field5[A1, A2, A3, A4, A5]: Field5[(A1, A2, A3, A4, A5), A5]

Definition Classes
Tuple5Optics
implicit def tuple5Reverse[A, B, C, D, E]: Reverse[(A, B, C, D, E), (E, D, C, B, A)]

Definition Classes
Tuple5Optics
implicit def tuple5Snoc1[A1, A2, A3, A4, A5]: Snoc1[(A1, A2, A3, A4, A5), (A1, A2, A3, A4), A5]

Definition Classes
Tuple5Optics
implicit def tuple6Cons1[A1, A2, A3, A4, A5, A6]: Cons1[(A1, A2, A3, A4, A5, A6), A1, (A2, A3, A4, A5, A6)]

Definition Classes
Tuple6Optics
implicit def tuple6Each[A]: Each[(A, A, A, A, A, A), A]

Definition Classes
Tuple6Optics
implicit def tuple6Field1[A1, A2, A3, A4, A5, A6]: Field1[(A1, A2, A3, A4, A5, A6), A1]

Definition Classes
Tuple6Optics
implicit def tuple6Field2[A1, A2, A3, A4, A5, A6]: Field2[(A1, A2, A3, A4, A5, A6), A2]

Definition Classes
Tuple6Optics
implicit def tuple6Field3[A1, A2, A3, A4, A5, A6]: Field3[(A1, A2, A3, A4, A5, A6), A3]

Definition Classes
Tuple6Optics
implicit def tuple6Field4[A1, A2, A3, A4, A5, A6]: Field4[(A1, A2, A3, A4, A5, A6), A4]

Definition Classes
Tuple6Optics
implicit def tuple6Field5[A1, A2, A3, A4, A5, A6]: Field5[(A1, A2, A3, A4, A5, A6), A5]

Definition Classes
Tuple6Optics
implicit def tuple6Field6[A1, A2, A3, A4, A5, A6]: Field6[(A1, A2, A3, A4, A5, A6), A6]

Definition Classes
Tuple6Optics
implicit def tuple6Reverse[A, B, C, D, E, F]: Reverse[(A, B, C, D, E, F), (F, E, D, C, B, A)]

Definition Classes
Tuple6Optics
implicit def tuple6Snoc1[A1, A2, A3, A4, A5, A6]: Snoc1[(A1, A2, A3, A4, A5, A6), (A1, A2, A3, A4, A5), A6]

Definition Classes
Tuple6Optics
def uncurry[F, G](implicit ev: Curry[F, G]): Iso[G, F]

Definition Classes
CurryFunctions
def universe[A](a: A)(implicit arg0: Plated[A]): Stream[A]

get all transitive self-similar elements of a target, including itself
get all transitive self-similar elements of a target, including itself

Definition Classes
PlatedFunctions
def unwrapped[S, A](implicit ev: Wrapped[S, A]): Iso[A, S]

Definition Classes
WrappedFunctions
final def validationToDisjunction[E, A]: Iso[Validation[E, A], \/[E, A]]

Definition Classes
ValidationOptics
implicit def vectorCons[A]: Cons[Vector[A], A]

Definition Classes
VectorOptics
implicit def vectorEach[A]: Each[Vector[A], A]

Definition Classes
VectorOptics
implicit def vectorEmpty[A]: Empty[Vector[A]]

Definition Classes
VectorOptics
implicit def vectorFilterIndex[A]: FilterIndex[Vector[A], Int, A]

Definition Classes
VectorOptics
implicit def vectorIndex[A]: Index[Vector[A], Int, A]

Definition Classes
VectorOptics
implicit def vectorPlated[A]: Plated[Vector[A]]

Definition Classes
VectorOptics
implicit def vectorReverse[A]: Reverse[Vector[A], Vector[A]]

Definition Classes
VectorOptics
implicit def vectorSnoc[A]: Snoc[Vector[A], A]

Definition Classes
VectorOptics
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( ... )
def wrapped[S, A](implicit ev: Wrapped[S, A]): Iso[S, A]

Definition Classes
WrappedFunctions

Deprecated Value Members

final def nelAndOneIso[A]: Iso[NonEmptyList[A], OneAnd[List, A]]

Definition Classes
NonEmptyListOptics
Annotations
@deprecated
Deprecated
(Since version 1.2.0) use nelToOneAnd
final def pNelAndOneIso[A, B]: PIso[NonEmptyList[A], NonEmptyList[B], OneAnd[List, A], OneAnd[List, B]]

Definition Classes
NonEmptyListOptics
Annotations
@deprecated
Deprecated
(Since version 1.2.0) use pNelToOneAnd
def theseDisjunction[A, B]: Prism[\&/[A, B], \/[A, B]]

Definition Classes
TheseOptics
Annotations
@deprecated
Deprecated
(Since version 1.2.0) use theseToDisjunction

Related Doc: package monocle

object Monocle extends Syntaxes with GenericOptics with StdInstances

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def _cons[S, A](head: A, tail: S)(implicit ev: Cons[S, A]): S

final def _cons1[S, H, T](head: H, tail: T)(implicit ev: Cons1[S, H, T]): S

def _empty[S](implicit ev: Empty[S]): S

def _isEmpty[S](s: S)(implicit ev: Empty[S]): Boolean

def _reverse[S](s: S)(implicit ev: Reverse[S, S]): S

final def _snoc[S, A](init: S, last: A)(implicit ev: Snoc[S, A]): S

final def _snoc1[S, I, L](init: I, last: L)(implicit ev: Snoc1[S, I, L]): S

final def _uncons[S, A](s: S)(implicit ev: Cons[S, A]): Option[(A, S)]

final def _uncons1[S, H, T](s: S)(implicit ev: Cons1[S, H, T]): (H, T)

final def _unsnoc[S, A](s: S)(implicit ev: Snoc[S, A]): Option[(S, A)]

final def _unsnoc1[S, I, L](s: S)(implicit ev: Snoc1[S, I, L]): (I, L)

final def asInstanceOf[T0]: T0

def at[S, I, A](i: I)(implicit ev: At[S, I, A]): Lens[S, A]

implicit def atIMap[K, V](implicit arg0: Order[K]): At[==>>[K, V], K, Option[V]]

implicit def atISet[A](implicit arg0: Order[A]): At[ISet[A], A, Boolean]

def atIndex[S, I, A](implicit ev: At[S, I, Option[A]]): Index[S, I, A]

implicit def atMap[K, V]: At[Map[K, V], K, Option[V]]

implicit def atSet[A]: At[Set[A], A, Boolean]

val bigDecimalToInt: Prism[BigDecimal, Int]

val bigDecimalToLong: Prism[BigDecimal, Long]

val bigIntToBoolean: Prism[BigInt, Boolean]

val bigIntToByte: Prism[BigInt, Byte]

val bigIntToChar: Prism[BigInt, Char]

val bigIntToInt: Prism[BigInt, Int]

val bigIntToLong: Prism[BigInt, Long]

val byteToBoolean: Prism[Byte, Boolean]

implicit val charOrder: Order[Char]

val charToBoolean: Prism[Char, Boolean]

def children[A](a: A)(implicit arg0: Plated[A]): List[A]

def clone(): AnyRef

implicit def cofreeCons1[S[_], A]: Cons1[Cofree[S, A], A, S[Cofree[S, A]]]

implicit def cofreeEach[S[_], A](implicit arg0: Traverse[S]): Each[Cofree[S, A], A]

implicit def cofreePlated[S[_], A](implicit arg0: Traverse[S]): Plated[Cofree[S, A]]

def cofreeToStream[A]: Iso[Cofree[Option, A], OneAnd[Stream, A]]

def cofreeToTree[A]: Iso[Cofree[Stream, A], Tree[A]]

final def cons[S, A](implicit ev: Cons[S, A]): Prism[S, (A, S)]

final def cons1[S, H, T](implicit ev: Cons1[S, H, T]): Iso[S, (H, T)]

def curry[F, G](implicit ev: Curry[F, G]): Iso[F, G]

implicit def curry2[A, B, C]: Curry[(A, B) ⇒ C, (A) ⇒ (B) ⇒ C]

implicit def curry3[A, B, C, D]: Curry[(A, B, C) ⇒ D, (A) ⇒ (B) ⇒ (C) ⇒ D]

implicit def curry4[A, B, C, D, E]: Curry[(A, B, C, D) ⇒ E, (A) ⇒ (B) ⇒ (C) ⇒ (D) ⇒ E]

implicit def curry5[A, B, C, D, E, F]: Curry[(A, B, C, D, E) ⇒ F, (A) ⇒ (B) ⇒ (C) ⇒ (D) ⇒ (E) ⇒ F]

final def disjunctionToEither[E, A]: Iso[\/[E, A], Either[E, A]]

final def disjunctionToValidation[E, A]: Iso[\/[E, A], Validation[E, A]]

val doubleToFloat: Prism[Double, Float]

val doubleToInt: Prism[Double, Int]

def each[S, A](implicit ev: Each[S, A]): Traversal[S, A]

final def eitherToDisjunction[E, A]: Iso[Either[E, A], \/[E, A]]

def empty[S](implicit ev: Empty[S]): Prism[S, Unit]

implicit def emptyISet[A]: Empty[ISet[A]]

implicit def emptySet[A]: Empty[Set[A]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def failure[E, A]: Prism[Validation[E, A], E]

def fifth[S, A](implicit ev: Field5[S, A]): Lens[S, A]

def filterIndex[S, I, A](predicate: (I) ⇒ Boolean)(implicit ev: FilterIndex[S, I, A]): Traversal[S, A]

def finalize(): Unit

def first[S, A](implicit ev: Field1[S, A]): Lens[S, A]

final def flip[A, B, C]: Iso[(A) ⇒ (B) ⇒ C, (B) ⇒ (A) ⇒ C]

final def flipped[A, B, C]: ((A) ⇒ (B) ⇒ C) ⇒ (B) ⇒ (A) ⇒ C

def fourth[S, A](implicit ev: Field4[S, A]): Lens[S, A]

final def getClass(): Class[_]

def hashCode(): Int

final def head[S, H, T](implicit ev: Cons1[S, H, T]): Lens[S, H]

final def headOption[S, A](implicit ev: Cons[S, A]): Optional[S, A]

implicit def iListCons[A]: Cons[IList[A], A]

implicit def iListEach[A]: Each[IList[A], A]

implicit def iListEmpty[A]: Empty[IList[A]]

implicit def iListFilterIndex[A]: FilterIndex[IList[A], Int, A]

implicit def iListIndex[A]: Index[IList[A], Int, A]

implicit def iListReverse[A]: Reverse[IList[A], IList[A]]

implicit def iListSnoc[A]: Snoc[IList[A], A]

final def iListToList[A]: Iso[IList[A], List[A]]