core/monocle/Monocle

Monocle

object Monocle extends Syntaxes with GenericOptics with StdInstances
Source
Monocle.scala
trait TryOptics
trait PlatformSpecificStringOptics
trait MapOptics
trait IntOptics
trait Syntaxes
class Object
trait Matchable
class Any

Value members

Inherited methods

def at[S, I, A](i: I)(ev: At[S, I, A]): Lens[S, A]
Inherited from
AtFunctions
Source
At.scala
def chainToList[A]: Iso[Chain[A], List[A]]
Inherited from
ChainOptics
Source
Chain.scala
final def chainToNec[A]: Prism[Chain[A], Type[A]]
def chainToVector[A]: Iso[Chain[A], Vector[A]]
Inherited from
ChainOptics
Source
Chain.scala
def children[A](a: A)(`evidence$1`: Plated[A]): List[A]

get the immediate self-similar children of a target

get the immediate self-similar children of a target

Inherited from
PlatedFunctions
Source
Plated.scala
def each[S, A](ev: Each[S, A]): Traversal[S, A]
Inherited from
EachFunctions
Source
Each.scala
final def failure[E, A]: Prism[Validated[E, A], E]
Inherited from
ValidatedOptics
Source
Validated.scala
def filterIndex[S, I, A](predicate: I => Boolean)(ev: FilterIndex[S, I, A]): Traversal[S, A]
final def flip[A, B, C]: Iso[A => B => C, B => A => C]
Inherited from
FunctionOptics
Source
Function.scala
final def flipped[A, B, C]: A => B => C => B => A => C
Inherited from
FunctionOptics
Source
Function.scala
def index[S, I, A](i: I)(ev: Index[S, I, A]): Optional[S, A]
Inherited from
IndexFunctions
Source
Index.scala
def listToVector[A]: Iso[List[A], Vector[A]]
Inherited from
ListOptics
Source
List.scala
def mapToSet[K]: Iso[Map[K, Unit], Set[K]]
Inherited from
MapOptics
Source
Map.scala
final def necToOneAnd[A]: Iso[Type[A], OneAnd[[A] =>> Chain[A], A]]
final def nelToOneAnd[A]: Iso[NonEmptyList[A], OneAnd[List, A]]
final def nevToOneAnd[A]: Iso[NonEmptyVector[A], OneAnd[Vector, A]]
final def none[A]: Prism[Option[A], Unit]
Inherited from
OptionOptics
Source
Option.scala
final def optNecToChain[A]: Iso[Option[Type[A]], Chain[A]]
final def optNelToList[A]: Iso[Option[NonEmptyList[A]], List[A]]
final def optNevToVector[A]: Iso[Option[NonEmptyVector[A]], Vector[A]]
final def optionToDisjunction[A]: Iso[Option[A], Either[Unit, A]]
Inherited from
OptionOptics
Source
Option.scala
def pChainToList[A, B]: PIso[Chain[A], Chain[B], List[A], List[B]]
Inherited from
ChainOptics
Source
Chain.scala
final def pChainToNec[A, B]: PPrism[Chain[A], Chain[B], Type[A], Type[B]]
def pChainToVector[A, B]: PIso[Chain[A], Chain[B], Vector[A], Vector[B]]
Inherited from
ChainOptics
Source
Chain.scala
final def pFailure[E, A, F]: PPrism[Validated[E, A], Validated[F, A], E, F]
Inherited from
ValidatedOptics
Source
Validated.scala
def pListToVector[A, B]: PIso[List[A], List[B], Vector[A], Vector[B]]
Inherited from
ListOptics
Source
List.scala
final def pNecToOneAnd[A, B]: PIso[Type[A], Type[B], OneAnd[[A] =>> Chain[A], A], OneAnd[[A] =>> Chain[A], B]]
final def pNelToOneAnd[A, B]: PIso[NonEmptyList[A], NonEmptyList[B], OneAnd[List, A], OneAnd[List, B]]
final def pNevToOneAnd[A, B]: PIso[NonEmptyVector[A], NonEmptyVector[B], OneAnd[Vector, A], OneAnd[Vector, B]]
final def pOptNecToChain[A, B]: PIso[Option[Type[A]], Option[Type[B]], Chain[A], Chain[B]]
final def pOptNelToList[A, B]: PIso[Option[NonEmptyList[A]], Option[NonEmptyList[B]], List[A], List[B]]
final def pOptNevToVector[A, B]: PIso[Option[NonEmptyVector[A]], Option[NonEmptyVector[B]], Vector[A], Vector[B]]
final def pOptionToDisjunction[A, B]: PIso[Option[A], Option[B], Either[Unit, A], Either[Unit, B]]
Inherited from
OptionOptics
Source
Option.scala
final def pSome[A, B]: PPrism[Option[A], Option[B], A, B]
Inherited from
OptionOptics
Source
Option.scala
final def pStdLeft[A, B, C]: PPrism[Either[A, B], Either[C, B], A, C]
Inherited from
EitherOptics
Source
Either.scala
final def pStdRight[A, B, C]: PPrism[Either[A, B], Either[A, C], B, C]
Inherited from
EitherOptics
Source
Either.scala
final def pSuccess[E, A, B]: PPrism[Validated[E, A], Validated[E, B], A, B]
Inherited from
ValidatedOptics
Source
Validated.scala
def pTheseLeft[A, B, C]: POptional[Ior[A, B], Ior[C, B], A, C]
Inherited from
TheseOptics
Source
These.scala
def pTheseRight[A, B, C]: POptional[Ior[A, B], Ior[A, C], B, C]
Inherited from
TheseOptics
Source
These.scala
final def pTrySuccess[A, B]: PPrism[Try[A], Try[B], A, B]
Inherited from
TryOptics
Source
Try.scala
final def pValidatedToDisjunction[E1, E2, A1, A2]: PIso[Validated[E1, A1], Validated[E2, A2], Either[E1, A1], Either[E2, A2]]
Inherited from
ValidatedOptics
Source
Validated.scala
final def pVectorToNev[A, B]: PPrism[Vector[A], Vector[B], NonEmptyVector[A], NonEmptyVector[B]]
def plate[A](P: Plated[A]): Traversal[A, A]

Traversal of immediate self-similar children

Traversal of immediate self-similar children

Inherited from
CommonPlatedFunctions
Source
Plated.scala
def remove[S, I, A](i: I)(s: S)(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

Inherited from
AtFunctions
Source
At.scala
def rewrite[A](f: A => Option[A])(a: A)(`evidence$2`: 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)

Inherited from
PlatedFunctions
Source
Plated.scala
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)

Inherited from
PlatedFunctions
Source
Plated.scala
final def some[A]: Prism[Option[A], A]
Inherited from
OptionOptics
Source
Option.scala
final def stdLeft[A, B]: Prism[Either[A, B], A]
Inherited from
EitherOptics
Source
Either.scala
final def stdRight[A, B]: Prism[Either[A, B], B]
Inherited from
EitherOptics
Source
Either.scala
final def success[E, A]: Prism[Validated[E, A], A]
Inherited from
ValidatedOptics
Source
Validated.scala
def theseLeft[A, B]: Optional[Ior[A, B], A]
Inherited from
TheseOptics
Source
These.scala
def theseRight[A, B]: Optional[Ior[A, B], B]
Inherited from
TheseOptics
Source
These.scala
def theseToDisjunction[A, B]: Prism[Ior[A, B], Either[A, B]]
Inherited from
TheseOptics
Source
These.scala
def transform[A](f: A => A)(a: A)(`evidence$3`: Plated[A]): A

transform every element

transform every element

Inherited from
PlatedFunctions
Source
Plated.scala
def transformCounting[A](f: A => Option[A])(a: A)(`evidence$4`: Plated[A]): (Int, A)

transforming counting changes

transforming counting changes

Inherited from
PlatedFunctions
Source
Plated.scala
def transformM[A, M[_]](f: A => M[A])(a: A)(`evidence$5`: Plated[A], `evidence$6`: Monad[M]): M[A]

transforming every element using monadic transformation

transforming every element using monadic transformation

Inherited from
PlatedFunctions
Source
Plated.scala
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

Inherited from
PlatedFunctions
Source
Plated.scala
final def tryFailure[A]: Prism[Try[A], Throwable]
Inherited from
TryOptics
Source
Try.scala
final def trySuccess[A]: Prism[Try[A], A]
Inherited from
TryOptics
Source
Try.scala
def tuple1Iso[A]: Iso[(A), A]
Inherited from
Tuple1Optics
Source
Tuple1.scala
def universe[A](a: A)(`evidence$7`: 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

Inherited from
PlatedFunctions
Source
Plated.scala
final def validationToDisjunction[E, A]: Iso[Validated[E, A], Either[E, A]]
Inherited from
ValidatedOptics
Source
Validated.scala
final def vectorToNev[A]: Prism[Vector[A], NonEmptyVector[A]]
final def withDefault[A](defaultValue: A): Iso[Option[A], A]

Creates an Iso that maps None to defaultValue and inversely.

Creates an Iso that maps None to defaultValue and inversely.

val defaultTo0 = withDefault(0)
defaultTo0.get(None) == 0
defaultTo0.get(Some(1)) == 1
defaultTo0.reverseGet(0) == None
defaultTo0.reverseGet(1) == Some(1)

withDefault is a valid Iso only if we consider the set of A without defaultValue. For example, Some(0) breaks the round-trip property of Iso:

defaultTo0.reverseGet(defaultTo0.get(Some(0))) == None
See also

This method is called non in Haskell Lens.

Inherited from
OptionOptics
Source
Option.scala

Deprecated and Inherited methods

@deprecated("use Focus[$TupleType](_._1)", since = "3.0.0-M2")
def _1[S, A](ev: Field1[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
FieldsSyntax
Source
Fields.scala
@deprecated("use Focus[$TupleType](_._2)", since = "3.0.0-M2")
def _2[S, A](ev: Field2[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
FieldsSyntax
Source
Fields.scala
@deprecated("use Focus[$TupleType](_._3)", since = "3.0.0-M2")
def _3[S, A](ev: Field3[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
FieldsSyntax
Source
Fields.scala
@deprecated("use Focus[$TupleType](_._4)", since = "3.0.0-M2")
def _4[S, A](ev: Field4[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
FieldsSyntax
Source
Fields.scala
@deprecated("use Focus[$TupleType](_._5)", since = "3.0.0-M2")
def _5[S, A](ev: Field5[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
FieldsSyntax
Source
Fields.scala
@deprecated("use Focus[$TupleType](_._6)", since = "3.0.0-M2")
def _6[S, A](ev: Field6[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
FieldsSyntax
Source
Fields.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def _cons[S, A](head: A, tail: S)(ev: Cons[S, A]): S

append an element to the head

append an element to the head

Deprecated
[Since version 3.0.0-M1]
Inherited from
ConsFunctions
Source
Cons.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def _cons1[S, H, T](head: H, tail: T)(ev: Cons1[S, H, T]): S

append an element to the head

append an element to the head

Deprecated
[Since version 3.0.0-M1]
Inherited from
Cons1Functions
Source
Cons1.scala
@deprecated("no replacement", since = "3.0.0-M1")
def _empty[S](ev: Empty[S]): S
Deprecated
[Since version 3.0.0-M1]
Inherited from
EmptyFunctions
Source
Empty.scala
@deprecated("no replacement", since = "3.0.0-M1")
def _isEmpty[S](s: S)(ev: Empty[S]): Boolean
Deprecated
[Since version 3.0.0-M1]
Inherited from
EmptyFunctions
Source
Empty.scala
@deprecated("no replacement", since = "3.0.0-M1")
def _reverse[S](s: S)(ev: Reverse[S, S]): S
Deprecated
[Since version 3.0.0-M1]
Inherited from
ReverseFunctions
Source
Reverse.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def _snoc[S, A](init: S, last: A)(ev: Snoc[S, A]): S

append an element to the end

append an element to the end

Deprecated
[Since version 3.0.0-M1]
Inherited from
SnocFunctions
Source
Snoc.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def _snoc1[S, I, L](init: I, last: L)(ev: Snoc1[S, I, L]): S

append an element to the end

append an element to the end

Deprecated
[Since version 3.0.0-M1]
Inherited from
Snoc1Functions
Source
Snoc1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def _uncons[S, A](s: S)(ev: Cons[S, A]): Option[(A, S)]

deconstruct an S between its head and tail

deconstruct an S between its head and tail

Deprecated
[Since version 3.0.0-M1]
Inherited from
ConsFunctions
Source
Cons.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def _uncons1[S, H, T](s: S)(ev: Cons1[S, H, T]): (H, T)

deconstruct an S between its head and tail

deconstruct an S between its head and tail

Deprecated
[Since version 3.0.0-M1]
Inherited from
Cons1Functions
Source
Cons1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def _unsnoc[S, A](s: S)(ev: Snoc[S, A]): Option[(S, A)]

deconstruct an S between its init and last

deconstruct an S between its init and last

Deprecated
[Since version 3.0.0-M1]
Inherited from
SnocFunctions
Source
Snoc.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def _unsnoc1[S, I, L](s: S)(ev: Snoc1[S, I, L]): (I, L)

deconstruct an S between its init and last

deconstruct an S between its init and last

Deprecated
[Since version 3.0.0-M1]
Inherited from
Snoc1Functions
Source
Snoc1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def cons[S, A](ev: Cons[S, A]): Prism[S, (A, S)]
Deprecated
[Since version 3.0.0-M1]
Inherited from
ConsFunctions
Source
Cons.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def cons1[S, H, T](ev: Cons1[S, H, T]): Iso[S, (H, T)]
Deprecated
[Since version 3.0.0-M1]
Inherited from
Cons1Functions
Source
Cons1.scala
@deprecated("no replacement", since = "3.0.0-M1")
def curry[F, G](ev: Curry[F, G]): Iso[F, G]
Deprecated
[Since version 3.0.0-M1]
Inherited from
CurryFunctions
Source
Curry.scala
@deprecated("no replacement", since = "3.0.0-M1")
def empty[S](ev: Empty[S]): Prism[S, Unit]
Deprecated
[Since version 3.0.0-M1]
Inherited from
EmptyFunctions
Source
Empty.scala
@deprecated("use Focus[$TupleType](_._5)", since = "3.0.0-M2")
def fifth[S, A](ev: Field5[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
Field5Functions
Source
Field5.scala
@deprecated("use Focus[$TupleType](_._1)", since = "3.0.0-M2")
def first[S, A](ev: Field1[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
Field1Functions
Source
Field1.scala
@deprecated("use Focus[$TupleType](_._4)", since = "3.0.0-M2")
def fourth[S, A](ev: Field4[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
Field4Functions
Source
Field4.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def head[S, H, T](ev: Cons1[S, H, T]): Lens[S, H]
Deprecated
[Since version 3.0.0-M1]
Inherited from
Cons1Functions
Source
Cons1.scala
@deprecated("use index(0)", since = "3.0.0-M1")
final def headOption[S, A](ev: Cons[S, A]): Optional[S, A]
Deprecated
[Since version 3.0.0-M1]
Inherited from
ConsFunctions
Source
Cons.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def init[S, I, L](ev: Snoc1[S, I, L]): Lens[S, I]
Deprecated
[Since version 3.0.0-M1]
Inherited from
Snoc1Functions
Source
Snoc1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def initOption[S, A](ev: Snoc[S, A]): Optional[S, S]
Deprecated
[Since version 3.0.0-M1]
Inherited from
SnocFunctions
Source
Snoc.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def last[S, I, L](ev: Snoc1[S, I, L]): Lens[S, L]
Deprecated
[Since version 3.0.0-M1]
Inherited from
Snoc1Functions
Source
Snoc1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def lastOption[S, A](ev: Snoc[S, A]): Optional[S, A]
Deprecated
[Since version 3.0.0-M1]
Inherited from
SnocFunctions
Source
Snoc.scala
@deprecated("no replacement", since = "3.0.0-M1")
def possible[S, A](ev: Possible[S, A]): Optional[S, A]
Deprecated
[Since version 3.0.0-M1]
Inherited from
PossibleFunctions
Source
Possible.scala
@deprecated("no replacement", since = "3.0.0-M1")
def reverse[S, A](ev: Reverse[S, A]): Iso[S, A]
Deprecated
[Since version 3.0.0-M1]
Inherited from
ReverseFunctions
Source
Reverse.scala
@deprecated("use Focus[$TupleType](_._2)", since = "3.0.0-M2")
def second[S, A](ev: Field2[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
Field2Functions
Source
Field2.scala
@deprecated("use Focus[$TupleType](_._6)", since = "3.0.0-M2")
def sixth[S, A](ev: Field6[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
Field6Functions
Source
Field6.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def snoc[S, A](ev: Snoc[S, A]): Prism[S, (S, A)]
Deprecated
[Since version 3.0.0-M1]
Inherited from
SnocFunctions
Source
Snoc.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def snoc1[S, I, L](ev: Snoc1[S, I, L]): Iso[S, (I, L)]
Deprecated
[Since version 3.0.0-M1]
Inherited from
Snoc1Functions
Source
Snoc1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def tail[S, H, T](ev: Cons1[S, H, T]): Lens[S, T]
Deprecated
[Since version 3.0.0-M1]
Inherited from
Cons1Functions
Source
Cons1.scala
@deprecated("no replacement", since = "3.0.0-M1")
final def tailOption[S, A](ev: Cons[S, A]): Optional[S, S]
Deprecated
[Since version 3.0.0-M1]
Inherited from
ConsFunctions
Source
Cons.scala
@deprecated("use Focus[$TupleType](_._3)", since = "3.0.0-M2")
def third[S, A](ev: Field3[S, A]): Lens[S, A]
Deprecated
[Since version 3.0.0-M2]
Inherited from
Field3Functions
Source
Field3.scala
@deprecated("no replacement", since = "3.0.0-M1")
def uncurry[F, G](ev: Curry[F, G]): Iso[G, F]
Deprecated
[Since version 3.0.0-M1]
Inherited from
CurryFunctions
Source
Curry.scala

Inherited fields

val bigDecimalToInt: Prism[BigDecimal, Int]
val bigDecimalToLong: Prism[BigDecimal, Long]
val bigIntToBoolean: Prism[BigInt, Boolean]
Inherited from
BigIntOptics
Source
BigInt.scala
val bigIntToByte: Prism[BigInt, Byte]
Inherited from
BigIntOptics
Source
BigInt.scala
val bigIntToChar: Prism[BigInt, Char]
Inherited from
BigIntOptics
Source
BigInt.scala
val bigIntToInt: Prism[BigInt, Int]
Inherited from
BigIntOptics
Source
BigInt.scala
val bigIntToLong: Prism[BigInt, Long]
Inherited from
BigIntOptics
Source
BigInt.scala
val byteToBoolean: Prism[Byte, Boolean]
Inherited from
ByteOptics
Source
Byte.scala
val charToBoolean: Prism[Char, Boolean]
Inherited from
CharOptics
Source
Char.scala
val doubleToFloat: Prism[Double, Float]
Inherited from
DoubleOptics
Source
Double.scala
val doubleToInt: Prism[Double, Int]
Inherited from
DoubleOptics
Source
Double.scala
val intToBoolean: Prism[Int, Boolean]
Inherited from
IntOptics
Source
Int.scala
val intToByte: Prism[Int, Byte]
Inherited from
IntOptics
Source
Int.scala
val intToChar: Prism[Int, Char]
Inherited from
IntOptics
Source
Int.scala
val longToBoolean: Prism[Long, Boolean]
Inherited from
LongOptics
Source
Long.scala
val longToByte: Prism[Long, Byte]
Inherited from
LongOptics
Source
Long.scala
val longToChar: Prism[Long, Char]
Inherited from
LongOptics
Source
Long.scala
val longToInt: Prism[Long, Int]
Inherited from
LongOptics
Source
Long.scala
val stringToBoolean: Prism[String, Boolean]
Inherited from
StringOptics
Source
String.scala
val stringToByte: Prism[String, Byte]
Inherited from
StringOptics
Source
String.scala
val stringToInt: Prism[String, Int]
Inherited from
StringOptics
Source
String.scala
val stringToList: Iso[String, List[Char]]
Inherited from
StringOptics
Source
String.scala
val stringToLong: Prism[String, Long]
Inherited from
StringOptics
Source
String.scala
val stringToURI: Prism[String, URI]
Inherited from
StringOptics
Source
String.scala
val stringToUUID: Prism[String, UUID]
Inherited from
StringOptics
Source
String.scala

Extensions

Inherited extensions

extension (from: From)
inline def focus[From, To](inline lambda: KeywordContext => From => To): Any
def focus[From, To](): AppliedIso[From, From]
extension (optic: Traversal[From, To])
inline def as[From, To]: Traversal[From, CastTo]
Inherited from
MacroSyntax
Source
MacroSyntax.scala
extension (optic: AppliedPrism[From, To])
inline def as[From, To]: AppliedPrism[From, CastTo]
Inherited from
MacroSyntax
Source
MacroSyntax.scala
extension (optic: AppliedOptional[From, To])
inline def as[From, To]: AppliedOptional[From, CastTo]
Inherited from
MacroSyntax
Source
MacroSyntax.scala
extension (optic: Setter[From, To])
inline def as[From, To]: Setter[From, CastTo]
Inherited from
MacroSyntax
Source
MacroSyntax.scala
extension (optic: Fold[From, To])
inline def as[From, To]: Fold[From, CastTo]
Inherited from
MacroSyntax
Source
MacroSyntax.scala
extension (optic: Optional[From, To])
inline def as[From, To]: Optional[From, CastTo]
Inherited from
MacroSyntax
Source
MacroSyntax.scala
extension (optic: AppliedSetter[From, To])
inline def as[From, To]: AppliedSetter[From, CastTo]
Inherited from
MacroSyntax
Source
MacroSyntax.scala
extension (optic: AppliedTraversal[From, To])
inline def as[From, To]: AppliedTraversal[From, CastTo]
Inherited from
MacroSyntax
Source
MacroSyntax.scala
extension (optic: AppliedFold[From, To])
inline def as[From, To]: AppliedFold[From, CastTo]
Inherited from
MacroSyntax
Source
MacroSyntax.scala
extension (optic: Prism[From, To])
inline def as[From, To]: Prism[From, CastTo]
Inherited from
MacroSyntax
Source
MacroSyntax.scala

Implicits

Inherited implicits

implicit def toAppliedFoldOps[S](value: S): AppliedFoldOps[S]
Inherited from
AppliedSyntax
Source
Applied.scala
implicit def toAppliedGetterOps[S](value: S): AppliedGetterOps[S]
Inherited from
AppliedSyntax
Source
Applied.scala
implicit def toAppliedIsoOps[S](value: S): AppliedIsoOps[S]
Inherited from
AppliedSyntax
Source
Applied.scala
implicit def toAppliedLensOps[S](value: S): AppliedLensOps[S]
Inherited from
AppliedSyntax
Source
Applied.scala
implicit def toAppliedOptionalOps[S](value: S): AppliedOptionalOps[S]
Inherited from
AppliedSyntax
Source
Applied.scala
implicit def toAppliedPrismOps[S](value: S): AppliedPrismOps[S]
Inherited from
AppliedSyntax
Source
Applied.scala
implicit def toAppliedSetterOps[S](value: S): AppliedSetterOps[S]
Inherited from
AppliedSyntax
Source
Applied.scala
implicit def toAppliedTraversalOps[S](value: S): AppliedTraversalOps[S]
Inherited from
AppliedSyntax
Source
Applied.scala