object Monocle extends Syntaxes with GenericOptics with StdInstances
- Source
- Monocle.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Monocle
- StdInstances
- ValidatedOptics
- NonEmptyVectorOptics
- NonEmptyListOptics
- NonEmptyChainOptics
- TheseOptics
- ChainOptics
- TryOptics
- Tuple1Optics
- StringOptics
- PlatformSpecificStringOptics
- OptionOptics
- MapOptics
- LongOptics
- ListOptics
- IntOptics
- FunctionOptics
- EitherOptics
- DoubleOptics
- CharOptics
- ByteOptics
- BigIntOptics
- BigDecimalOptics
- GenericOptics
- Snoc1Functions
- SnocFunctions
- ReverseFunctions
- PossibleFunctions
- PlatedFunctions
- PlatedFunctionsScalaVersionSpecific
- CommonPlatedFunctions
- IndexFunctions
- FilterIndexFunctions
- Field6Functions
- Field5Functions
- Field4Functions
- Field3Functions
- Field2Functions
- Field1Functions
- EmptyFunctions
- EachFunctions
- CurryFunctions
- Cons1Functions
- ConsFunctions
- AtFunctions
- Syntaxes
- FieldsSyntax
- ApplySyntax
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
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
- def _1[S, A](implicit ev: Field1[S, A]): Lens[S, A]
- Definition Classes
- FieldsSyntax
- def _2[S, A](implicit ev: Field2[S, A]): Lens[S, A]
- Definition Classes
- FieldsSyntax
- def _3[S, A](implicit ev: Field3[S, A]): Lens[S, A]
- Definition Classes
- FieldsSyntax
- def _4[S, A](implicit ev: Field4[S, A]): Lens[S, A]
- Definition Classes
- FieldsSyntax
- def _5[S, A](implicit ev: Field5[S, A]): Lens[S, A]
- Definition Classes
- FieldsSyntax
- def _6[S, A](implicit ev: Field6[S, A]): Lens[S, A]
- Definition Classes
- FieldsSyntax
- 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
- 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
- def chainToList[A]: Iso[Chain[A], List[A]]
- Definition Classes
- ChainOptics
- final def chainToNec[A]: Prism[Chain[A], NonEmptyChain[A]]
- Definition Classes
- NonEmptyChainOptics
- def chainToVector[A]: Iso[Chain[A], Vector[A]]
- Definition Classes
- ChainOptics
- 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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- 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
- 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
- def empty[S](implicit ev: Empty[S]): Prism[S, Unit]
- Definition Classes
- EmptyFunctions
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def failure[E, A]: Prism[Validated[E, A], E]
- Definition Classes
- ValidatedOptics
- 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[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[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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
- 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 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
- 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
- def mapToSet[K]: Iso[Map[K, Unit], Set[K]]
- Definition Classes
- MapOptics
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def necToOneAnd[A]: Iso[NonEmptyChain[A], OneAnd[Chain, A]]
- Definition Classes
- NonEmptyChainOptics
- final def nelToOneAnd[A]: Iso[NonEmptyList[A], OneAnd[List, A]]
- Definition Classes
- NonEmptyListOptics
- final def nevToOneAnd[A]: Iso[NonEmptyVector[A], OneAnd[Vector, A]]
- Definition Classes
- NonEmptyVectorOptics
- final def none[A]: Prism[Option[A], Unit]
- Definition Classes
- OptionOptics
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def optNecToChain[A]: Iso[Option[NonEmptyChain[A]], Chain[A]]
- Definition Classes
- NonEmptyChainOptics
- final def optNelToList[A]: Iso[Option[NonEmptyList[A]], List[A]]
- Definition Classes
- NonEmptyListOptics
- final def optNevToVector[A]: Iso[Option[NonEmptyVector[A]], Vector[A]]
- Definition Classes
- NonEmptyVectorOptics
- final def optionToDisjunction[A]: Iso[Option[A], Either[Unit, A]]
- Definition Classes
- OptionOptics
- def pChainToList[A, B]: PIso[Chain[A], Chain[B], List[A], List[B]]
- Definition Classes
- ChainOptics
- final def pChainToNec[A, B]: PPrism[Chain[A], Chain[B], NonEmptyChain[A], NonEmptyChain[B]]
- Definition Classes
- NonEmptyChainOptics
- def pChainToVector[A, B]: PIso[Chain[A], Chain[B], Vector[A], Vector[B]]
- Definition Classes
- ChainOptics
- final def pFailure[E, A, F]: PPrism[Validated[E, A], Validated[F, A], E, F]
- Definition Classes
- ValidatedOptics
- def pListToVector[A, B]: PIso[List[A], List[B], Vector[A], Vector[B]]
- Definition Classes
- ListOptics
- final def pNecToOneAnd[A, B]: PIso[NonEmptyChain[A], NonEmptyChain[B], OneAnd[Chain, A], OneAnd[Chain, B]]
- Definition Classes
- NonEmptyChainOptics
- final def pNelToOneAnd[A, B]: PIso[NonEmptyList[A], NonEmptyList[B], OneAnd[List, A], OneAnd[List, B]]
- Definition Classes
- NonEmptyListOptics
- final def pNevToOneAnd[A, B]: PIso[NonEmptyVector[A], NonEmptyVector[B], OneAnd[Vector, A], OneAnd[Vector, B]]
- Definition Classes
- NonEmptyVectorOptics
- final def pOptNecToChain[A, B]: PIso[Option[NonEmptyChain[A]], Option[NonEmptyChain[B]], Chain[A], Chain[B]]
- Definition Classes
- NonEmptyChainOptics
- final def pOptNelToList[A, B]: PIso[Option[NonEmptyList[A]], Option[NonEmptyList[B]], List[A], List[B]]
- Definition Classes
- NonEmptyListOptics
- final def pOptNevToVector[A, B]: PIso[Option[NonEmptyVector[A]], Option[NonEmptyVector[B]], Vector[A], Vector[B]]
- Definition Classes
- NonEmptyVectorOptics
- final def pOptionToDisjunction[A, B]: PIso[Option[A], Option[B], Either[Unit, A], Either[Unit, B]]
- Definition Classes
- OptionOptics
- 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[Validated[E, A], Validated[E, B], A, B]
- Definition Classes
- ValidatedOptics
- final def pTrySuccess[A, B]: PPrism[Try[A], Try[B], A, B]
- Definition Classes
- TryOptics
- final def pValidatedToDisjunction[E1, E2, A1, A2]: PIso[Validated[E1, A1], Validated[E2, A2], Either[E1, A1], Either[E2, A2]]
- Definition Classes
- ValidatedOptics
- final def pVectorToNev[A, B]: PPrism[Vector[A], Vector[B], NonEmptyVector[A], NonEmptyVector[B]]
- Definition Classes
- NonEmptyVectorOptics
- def plate[A](implicit P: Plated[A]): Traversal[A, A]
Traversal of immediate self-similar children
Traversal of immediate self-similar children
- Definition Classes
- CommonPlatedFunctions
- def possible[S, A](implicit ev: Possible[S, A]): Optional[S, A]
- Definition Classes
- PossibleFunctions
- 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 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
- 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
- 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
- val stringToURI: Prism[String, URI]
- Definition Classes
- StringOptics
- val stringToURL: Prism[String, URL]
- Definition Classes
- PlatformSpecificStringOptics
- val stringToUUID: Prism[String, UUID]
- Definition Classes
- StringOptics
- final def success[E, A]: Prism[Validated[E, A], A]
- Definition Classes
- ValidatedOptics
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- 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[Ior[A, B], Either[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
- final def tryFailure[A]: Prism[Try[A], Throwable]
- Definition Classes
- TryOptics
- final def trySuccess[A]: Prism[Try[A], A]
- Definition Classes
- TryOptics
- def tuple1Iso[A]: Iso[(A), A]
- Definition Classes
- Tuple1Optics
- def uncurry[F, G](implicit ev: Curry[F, G]): Iso[G, F]
- Definition Classes
- CurryFunctions
- def universe[A](a: A)(implicit arg0: Plated[A]): LazyList[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
- PlatedFunctionsScalaVersionSpecific
- final def validationToDisjunction[E, A]: Iso[Validated[E, A], Either[E, A]]
- Definition Classes
- ValidatedOptics
- final def vectorToNev[A]: Prism[Vector[A], NonEmptyVector[A]]
- Definition Classes
- NonEmptyVectorOptics
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
Deprecated Value Members
- def atIndex[S, I, A](implicit ev: At[S, I, Option[A]]): Index[S, I, A]
- Definition Classes
- IndexFunctions
- Annotations
- @deprecated
- Deprecated
(Since version 1.4.0) use Index.fromAt
- 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 reverseFromReverseFunction[S](_reverse: (S) => S): Reverse[S, S]
- Definition Classes
- ReverseFunctions
- Annotations
- @deprecated
- Deprecated
(Since version 1.4.0) use Reverse.fromReverseFunction
- def theseDisjunction[A, B]: Prism[Ior[A, B], Either[A, B]]
- Definition Classes
- TheseOptics
- Annotations
- @deprecated
- Deprecated
(Since version 1.2.0) use theseToDisjunction
- def traverseEach[S[_], A](implicit arg0: Traverse[S]): Each[S[A], A]
- Definition Classes
- EachFunctions
- Annotations
- @deprecated
- Deprecated
(Since version 1.4.0) use Each.fromTraverse
- def traverseFilterIndex[S[_], A](zipWithIndex: (S[A]) => S[(A, Int)])(implicit arg0: Traverse[S]): FilterIndex[S[A], Int, A]
- Definition Classes
- FilterIndexFunctions
- Annotations
- @deprecated
- Deprecated
(Since version 1.4.0) use FilterIndex.fromTraverse