core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/monocle.syntax/Syntaxes

Syntaxes

monocle.syntax.Syntaxes
trait Syntaxes extends AppliedSyntax with AppliedFocusSyntax with ComposedFocusSyntax with MacroSyntax with FieldsSyntax

Attributes

Source:
All.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Monocle.type
object all.type

Members list

Concise view

Value members

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

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