core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/monocle/Monocle

Monocle

monocle.Monocle$
object Monocle extends Syntaxes with GenericOptics with StdInstances

Attributes

Source:
Monocle.scala
Graph
Supertypes
trait TryOptics
trait MapOptics
trait IntOptics
trait Syntaxes
class Object
trait Matchable
class Any
Self type
Monocle.type

Members list

Concise view

Value members

Inherited methods

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

Attributes

Inherited from:
AtFunctions
Source:
At.scala
def chainToList[A]: Iso[Chain[A], List[A]]

Attributes

Inherited from:
ChainOptics
Source:
Chain.scala
final def chainToNec[A]: Prism[Chain[A], Type[A]]

Attributes

Inherited from:
NonEmptyChainOptics
Source:
NonEmptyChain.scala
def chainToVector[A]: Iso[Chain[A], Vector[A]]

Attributes

Inherited from:
ChainOptics
Source:
Chain.scala
def children[A : Plated](a: A): List[A]

get the immediate self-similar children of a target

get the immediate self-similar children of a target

Attributes

Inherited from:
PlatedFunctions
Source:
Plated.scala
def each[S, A](implicit ev: Each[S, A]): Traversal[S, A]

Attributes

Inherited from:
EachFunctions
Source:
Each.scala
final def failure[E, A]: Prism[Validated[E, A], E]

Attributes

Inherited from:
ValidatedOptics
Source:
Validated.scala
def filterIndex[S, I, A](predicate: I => Boolean)(implicit ev: FilterIndex[S, I, A]): Traversal[S, A]

Attributes

Inherited from:
FilterIndexFunctions
Source:
FilterIndex.scala
final def flip[A, B, C]: Iso[A => B => C, B => A => C]

Attributes

Inherited from:
FunctionOptics
Source:
Function.scala
final def flipped[A, B, C]: (A => B => C) => B => A => C

Attributes

Inherited from:
FunctionOptics
Source:
Function.scala
def index[S, I, A](i: I)(implicit ev: Index[S, I, A]): Optional[S, A]

Attributes

Inherited from:
IndexFunctions
Source:
Index.scala
def listToVector[A]: Iso[List[A], Vector[A]]

Attributes

Inherited from:
ListOptics
Source:
List.scala
def mapToSet[K]: Iso[Map[K, Unit], Set[K]]

Attributes

Inherited from:
MapOptics
Source:
Map.scala
final def necToOneAnd[A]: Iso[Type[A], OneAnd[Chain, A]]

Attributes

Inherited from:
NonEmptyChainOptics
Source:
NonEmptyChain.scala
final def nelToOneAnd[A]: Iso[NonEmptyList[A], OneAnd[List, A]]

Attributes

Inherited from:
NonEmptyListOptics
Source:
NonEmptyList.scala
final def nevToOneAnd[A]: Iso[NonEmptyVector[A], OneAnd[Vector, A]]

Attributes

Inherited from:
NonEmptyVectorOptics
Source:
NonEmptyVector.scala
final def none[A]: Prism[Option[A], Unit]

Attributes

Inherited from:
OptionOptics
Source:
Option.scala
final def optNecToChain[A]: Iso[Option[Type[A]], Chain[A]]

Attributes

Inherited from:
NonEmptyChainOptics
Source:
NonEmptyChain.scala
final def optNelToList[A]: Iso[Option[NonEmptyList[A]], List[A]]

Attributes

Inherited from:
NonEmptyListOptics
Source:
NonEmptyList.scala
final def optNevToVector[A]: Iso[Option[NonEmptyVector[A]], Vector[A]]

Attributes

Inherited from:
NonEmptyVectorOptics
Source:
NonEmptyVector.scala
final def optionToDisjunction[A]: Iso[Option[A], Either[Unit, A]]

Attributes

Inherited from:
OptionOptics
Source:
Option.scala
def pChainToList[A, B]: PIso[Chain[A], Chain[B], List[A], List[B]]

Attributes

Inherited from:
ChainOptics
Source:
Chain.scala
final def pChainToNec[A, B]: PPrism[Chain[A], Chain[B], Type[A], Type[B]]

Attributes

Inherited from:
NonEmptyChainOptics
Source:
NonEmptyChain.scala
def pChainToVector[A, B]: PIso[Chain[A], Chain[B], Vector[A], Vector[B]]

Attributes

Inherited from:
ChainOptics
Source:
Chain.scala
final def pFailure[E, A, F]: PPrism[Validated[E, A], Validated[F, A], E, F]

Attributes

Inherited from:
ValidatedOptics
Source:
Validated.scala
def pListToVector[A, B]: PIso[List[A], List[B], Vector[A], Vector[B]]

Attributes

Inherited from:
ListOptics
Source:
List.scala
final def pNecToOneAnd[A, B]: PIso[Type[A], Type[B], OneAnd[Chain, A], OneAnd[Chain, B]]

Attributes

Inherited from:
NonEmptyChainOptics
Source:
NonEmptyChain.scala
final def pNelToOneAnd[A, B]: PIso[NonEmptyList[A], NonEmptyList[B], OneAnd[List, A], OneAnd[List, B]]

Attributes

Inherited from:
NonEmptyListOptics
Source:
NonEmptyList.scala
final def pNevToOneAnd[A, B]: PIso[NonEmptyVector[A], NonEmptyVector[B], OneAnd[Vector, A], OneAnd[Vector, B]]

Attributes

Inherited from:
NonEmptyVectorOptics
Source:
NonEmptyVector.scala
final def pOptNecToChain[A, B]: PIso[Option[Type[A]], Option[Type[B]], Chain[A], Chain[B]]

Attributes

Inherited from:
NonEmptyChainOptics
Source:
NonEmptyChain.scala
final def pOptNelToList[A, B]: PIso[Option[NonEmptyList[A]], Option[NonEmptyList[B]], List[A], List[B]]

Attributes

Inherited from:
NonEmptyListOptics
Source:
NonEmptyList.scala
final def pOptNevToVector[A, B]: PIso[Option[NonEmptyVector[A]], Option[NonEmptyVector[B]], Vector[A], Vector[B]]

Attributes

Inherited from:
NonEmptyVectorOptics
Source:
NonEmptyVector.scala
final def pOptionToDisjunction[A, B]: PIso[Option[A], Option[B], Either[Unit, A], Either[Unit, B]]

Attributes

Inherited from:
OptionOptics
Source:
Option.scala
final def pSome[A, B]: PPrism[Option[A], Option[B], A, B]

Attributes

Inherited from:
OptionOptics
Source:
Option.scala
final def pStdLeft[A, B, C]: PPrism[Either[A, B], Either[C, B], A, C]

Attributes

Inherited from:
EitherOptics
Source:
Either.scala
final def pStdRight[A, B, C]: PPrism[Either[A, B], Either[A, C], B, C]

Attributes

Inherited from:
EitherOptics
Source:
Either.scala
final def pSuccess[E, A, B]: PPrism[Validated[E, A], Validated[E, B], A, B]

Attributes

Inherited from:
ValidatedOptics
Source:
Validated.scala
def pTheseLeft[A, B, C]: POptional[Ior[A, B], Ior[C, B], A, C]

Attributes

Inherited from:
TheseOptics
Source:
These.scala
def pTheseRight[A, B, C]: POptional[Ior[A, B], Ior[A, C], B, C]

Attributes

Inherited from:
TheseOptics
Source:
These.scala
final def pTrySuccess[A, B]: PPrism[Try[A], Try[B], A, B]

Attributes

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]]

Attributes

Inherited from:
ValidatedOptics
Source:
Validated.scala
final def pVectorToNev[A, B]: PPrism[Vector[A], Vector[B], NonEmptyVector[A], NonEmptyVector[B]]

Attributes

Inherited from:
NonEmptyVectorOptics
Source:
NonEmptyVector.scala
def plate[A](implicit P: Plated[A]): Traversal[A, A]

Traversal of immediate self-similar children

Traversal of immediate self-similar children

Attributes

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

Attributes

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

Attributes

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)

Attributes

Inherited from:
PlatedFunctions
Source:
Plated.scala
final def some[A]: Prism[Option[A], A]

Attributes

Inherited from:
OptionOptics
Source:
Option.scala
final def stdLeft[A, B]: Prism[Either[A, B], A]

Attributes

Inherited from:
EitherOptics
Source:
Either.scala
final def stdRight[A, B]: Prism[Either[A, B], B]

Attributes

Inherited from:
EitherOptics
Source:
Either.scala
final def success[E, A]: Prism[Validated[E, A], A]

Attributes

Inherited from:
ValidatedOptics
Source:
Validated.scala
def theseLeft[A, B]: Optional[Ior[A, B], A]

Attributes

Inherited from:
TheseOptics
Source:
These.scala
def theseRight[A, B]: Optional[Ior[A, B], B]

Attributes

Inherited from:
TheseOptics
Source:
These.scala
def theseToDisjunction[A, B]: Prism[Ior[A, B], Either[A, B]]

Attributes

Inherited from:
TheseOptics
Source:
These.scala
def transform[A : Plated](f: A => A)(a: A): A

transform every element

transform every element

Attributes

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

transforming counting changes

transforming counting changes

Attributes

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

transforming every element using monadic transformation

transforming every element using monadic transformation

Attributes

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

Attributes

Inherited from:
PlatedFunctions
Source:
Plated.scala
final def tryFailure[A]: Prism[Try[A], Throwable]

Attributes

Inherited from:
TryOptics
Source:
Try.scala
final def trySuccess[A]: Prism[Try[A], A]

Attributes

Inherited from:
TryOptics
Source:
Try.scala
def tuple1Iso[A]: Iso[(A), A]

Attributes

Inherited from:
Tuple1Optics
Source:
Tuple1.scala
def universe[A : Plated](a: 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

Attributes

Inherited from:
PlatedFunctions
Source:
Plated.scala
final def validationToDisjunction[E, A]: Iso[Validated[E, A], Either[E, A]]

Attributes

Inherited from:
ValidatedOptics
Source:
Validated.scala
final def vectorToNev[A]: Prism[Vector[A], NonEmptyVector[A]]

Attributes

Inherited from:
NonEmptyVectorOptics
Source:
NonEmptyVector.scala
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

Attributes

See also:

This method is called non in Haskell Lens.

Inherited from:
OptionOptics
Source:
Option.scala

Deprecated and Inherited methods

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

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
FieldsSyntax
Source:
Fields.scala
def _2[S, A](implicit ev: Field2[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
FieldsSyntax
Source:
Fields.scala
def _3[S, A](implicit ev: Field3[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
FieldsSyntax
Source:
Fields.scala
def _4[S, A](implicit ev: Field4[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
FieldsSyntax
Source:
Fields.scala
def _5[S, A](implicit ev: Field5[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
FieldsSyntax
Source:
Fields.scala
def _6[S, A](implicit ev: Field6[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
FieldsSyntax
Source:
Fields.scala
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

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
ConsFunctions
Source:
Cons.scala
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

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
Cons1Functions
Source:
Cons1.scala
def _empty[S](implicit ev: Empty[S]): S

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
EmptyFunctions
Source:
Empty.scala
def _isEmpty[S](s: S)(implicit ev: Empty[S]): Boolean

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
EmptyFunctions
Source:
Empty.scala
def _reverse[S](s: S)(implicit ev: Reverse[S, S]): S

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
ReverseFunctions
Source:
Reverse.scala
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

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
SnocFunctions
Source:
Snoc.scala
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

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
Snoc1Functions
Source:
Snoc1.scala
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

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
ConsFunctions
Source:
Cons.scala
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

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
Cons1Functions
Source:
Cons1.scala
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

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
SnocFunctions
Source:
Snoc.scala
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

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
Snoc1Functions
Source:
Snoc1.scala
final def cons[S, A](implicit ev: Cons[S, A]): Prism[S, (A, S)]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
ConsFunctions
Source:
Cons.scala
final def cons1[S, H, T](implicit ev: Cons1[S, H, T]): Iso[S, (H, T)]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
Cons1Functions
Source:
Cons1.scala
def curry[F, G](implicit ev: Curry[F, G]): Iso[F, G]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
CurryFunctions
Source:
Curry.scala
def empty[S](implicit ev: Empty[S]): Prism[S, Unit]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
EmptyFunctions
Source:
Empty.scala
def fifth[S, A](implicit ev: Field5[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
Field5Functions
Source:
Field5.scala
def first[S, A](implicit ev: Field1[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
Field1Functions
Source:
Field1.scala
def fourth[S, A](implicit ev: Field4[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
Field4Functions
Source:
Field4.scala
final def head[S, H, T](implicit ev: Cons1[S, H, T]): Lens[S, H]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
Cons1Functions
Source:
Cons1.scala
final def headOption[S, A](implicit ev: Cons[S, A]): Optional[S, A]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
ConsFunctions
Source:
Cons.scala
final def init[S, I, L](implicit ev: Snoc1[S, I, L]): Lens[S, I]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
Snoc1Functions
Source:
Snoc1.scala
final def initOption[S, A](implicit ev: Snoc[S, A]): Optional[S, S]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
SnocFunctions
Source:
Snoc.scala
final def last[S, I, L](implicit ev: Snoc1[S, I, L]): Lens[S, L]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
Snoc1Functions
Source:
Snoc1.scala
final def lastOption[S, A](implicit ev: Snoc[S, A]): Optional[S, A]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
SnocFunctions
Source:
Snoc.scala
def possible[S, A](implicit ev: Possible[S, A]): Optional[S, A]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
PossibleFunctions
Source:
Possible.scala
def reverse[S, A](implicit ev: Reverse[S, A]): Iso[S, A]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
ReverseFunctions
Source:
Reverse.scala
def second[S, A](implicit ev: Field2[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
Field2Functions
Source:
Field2.scala
def sixth[S, A](implicit ev: Field6[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
Field6Functions
Source:
Field6.scala
final def snoc[S, A](implicit ev: Snoc[S, A]): Prism[S, (S, A)]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
SnocFunctions
Source:
Snoc.scala
final def snoc1[S, I, L](implicit ev: Snoc1[S, I, L]): Iso[S, (I, L)]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
Snoc1Functions
Source:
Snoc1.scala
final def tail[S, H, T](implicit ev: Cons1[S, H, T]): Lens[S, T]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
Cons1Functions
Source:
Cons1.scala
final def tailOption[S, A](implicit ev: Cons[S, A]): Optional[S, S]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
ConsFunctions
Source:
Cons.scala
def third[S, A](implicit ev: Field3[S, A]): Lens[S, A]

Attributes

Deprecated
[Since version 3.0.0-M2]
Inherited from:
Field3Functions
Source:
Field3.scala
def uncurry[F, G](implicit ev: Curry[F, G]): Iso[G, F]

Attributes

Deprecated
[Since version 3.0.0-M1]
Inherited from:
CurryFunctions
Source:
Curry.scala

Inherited fields

val bigIntToBoolean: Prism[BigInt, Boolean]

Attributes

Inherited from:
BigIntOptics
Source:
BigInt.scala
val bigIntToByte: Prism[BigInt, Byte]

Attributes

Inherited from:
BigIntOptics
Source:
BigInt.scala
val bigIntToChar: Prism[BigInt, Char]

Attributes

Inherited from:
BigIntOptics
Source:
BigInt.scala
val bigIntToInt: Prism[BigInt, Int]

Attributes

Inherited from:
BigIntOptics
Source:
BigInt.scala
val bigIntToLong: Prism[BigInt, Long]

Attributes

Inherited from:
BigIntOptics
Source:
BigInt.scala
val byteToBoolean: Prism[Byte, Boolean]

Attributes

Inherited from:
ByteOptics
Source:
Byte.scala
val charToBoolean: Prism[Char, Boolean]

Attributes

Inherited from:
CharOptics
Source:
Char.scala
val doubleToFloat: Prism[Double, Float]

Attributes

Inherited from:
DoubleOptics
Source:
Double.scala
val doubleToInt: Prism[Double, Int]

Attributes

Inherited from:
DoubleOptics
Source:
Double.scala
val intToBoolean: Prism[Int, Boolean]

Attributes

Inherited from:
IntOptics
Source:
Int.scala
val intToByte: Prism[Int, Byte]

Attributes

Inherited from:
IntOptics
Source:
Int.scala
val intToChar: Prism[Int, Char]

Attributes

Inherited from:
IntOptics
Source:
Int.scala
val longToBoolean: Prism[Long, Boolean]

Attributes

Inherited from:
LongOptics
Source:
Long.scala
val longToByte: Prism[Long, Byte]

Attributes

Inherited from:
LongOptics
Source:
Long.scala
val longToChar: Prism[Long, Char]

Attributes

Inherited from:
LongOptics
Source:
Long.scala
val longToInt: Prism[Long, Int]

Attributes

Inherited from:
LongOptics
Source:
Long.scala
val stringToBoolean: Prism[String, Boolean]

Attributes

Inherited from:
StringOptics
Source:
String.scala
val stringToByte: Prism[String, Byte]

Attributes

Inherited from:
StringOptics
Source:
String.scala
val stringToInt: Prism[String, Int]

Attributes

Inherited from:
StringOptics
Source:
String.scala
val stringToList: Iso[String, List[Char]]

Attributes

Inherited from:
StringOptics
Source:
String.scala
val stringToLong: Prism[String, Long]

Attributes

Inherited from:
StringOptics
Source:
String.scala
val stringToURI: Prism[String, URI]

Attributes

Inherited from:
StringOptics
Source:
String.scala
val stringToUUID: Prism[String, UUID]

Attributes

Inherited from:
StringOptics
Source:
String.scala

Extensions

Inherited extensions

extension [From, To](from: From)
transparent inline def focus(inline lambda: KeywordContext ?=> From => To): Any

Attributes

Inherited from:
AppliedFocusSyntax
Source:
AppliedFocusSyntax.scala
def focus(): AppliedIso[From, From]

Attributes

Inherited from:
AppliedFocusSyntax
Source:
AppliedFocusSyntax.scala
extension (isoCompanion: Iso.type)
transparent inline def fields[S <: Product : ProductOf]: Iso[S, Tuple]

Generate an Iso between a case class S and its fields.

Generate an Iso between a case class S and its fields.

Case classes with 0 fields will correspond with EmptyTuple, 1 with Tuple1[field type], 2 or more with a tuple of all field types in the same order as the fields themselves.

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala
extension [From, To](optic: Traversal[From, To])
inline def as[CastTo <: To]: Traversal[From, CastTo]

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala
extension [From, To](optic: Prism[From, To])
inline def as[CastTo <: To]: Prism[From, CastTo]

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala
extension [From, To](optic: AppliedFold[From, To])
inline def as[CastTo <: To]: AppliedFold[From, CastTo]

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala
extension [From, To](optic: AppliedSetter[From, To])
inline def as[CastTo <: To]: AppliedSetter[From, CastTo]

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala
extension [From, To](optic: Optional[From, To])
inline def as[CastTo <: To]: Optional[From, CastTo]

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala
extension [S, A, Next](optic: Setter[S, A] | Fold[S, A] | AppliedSetter[S, A] | AppliedFold[S, A])
transparent inline def refocus(inline lambda: KeywordContext ?=> A => Next): Any

Attributes

Inherited from:
ComposedFocusSyntax
Source:
ComposedFocusSyntax.scala
extension [From, To](optic: AppliedOptional[From, To])
inline def as[CastTo <: To]: AppliedOptional[From, CastTo]

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala
extension [From, To](optic: Fold[From, To])
inline def as[CastTo <: To]: Fold[From, CastTo]

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala
extension [From, To](optic: Setter[From, To])
inline def as[CastTo <: To]: Setter[From, CastTo]

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala
extension [From, To](optic: AppliedTraversal[From, To])
inline def as[CastTo <: To]: AppliedTraversal[From, CastTo]

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala
extension [From, To](optic: AppliedPrism[From, To])
inline def as[CastTo <: To]: AppliedPrism[From, CastTo]

Attributes

Inherited from:
MacroSyntax
Source:
MacroSyntax.scala

Implicits

Inherited implicits

implicit def toAppliedFoldOps[S](value: S): AppliedFoldOps[S]

Attributes

Inherited from:
AppliedSyntax
Source:
Applied.scala
implicit def toAppliedGetterOps[S](value: S): AppliedGetterOps[S]

Attributes

Inherited from:
AppliedSyntax
Source:
Applied.scala
implicit def toAppliedIsoOps[S](value: S): AppliedIsoOps[S]

Attributes

Inherited from:
AppliedSyntax
Source:
Applied.scala
implicit def toAppliedLensOps[S](value: S): AppliedLensOps[S]

Attributes

Inherited from:
AppliedSyntax
Source:
Applied.scala
implicit def toAppliedOptionalOps[S](value: S): AppliedOptionalOps[S]

Attributes

Inherited from:
AppliedSyntax
Source:
Applied.scala
implicit def toAppliedPrismOps[S](value: S): AppliedPrismOps[S]

Attributes

Inherited from:
AppliedSyntax
Source:
Applied.scala
implicit def toAppliedSetterOps[S](value: S): AppliedSetterOps[S]

Attributes

Inherited from:
AppliedSyntax
Source:
Applied.scala
implicit def toAppliedTraversalOps[S](value: S): AppliedTraversalOps[S]

Attributes

Inherited from:
AppliedSyntax
Source:
Applied.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL