core/monocle.function/GenericOptics

GenericOptics

trait GenericOptics extends AtFunctions with ConsFunctions with Cons1Functions with CurryFunctions with EachFunctions with EmptyFunctions with Field1Functions with Field2Functions with Field3Functions with Field4Functions with Field5Functions with Field6Functions with FilterIndexFunctions with IndexFunctions with PlatedFunctions with PossibleFunctions with ReverseFunctions with SnocFunctions with Snoc1Functions
Source
All.scala
class Object
trait Matchable
class Any
object Monocle
object all

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 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
def filterIndex[S, I, A](predicate: I => Boolean)(ev: FilterIndex[S, I, A]): Traversal[S, A]
def index[S, I, A](i: I)(ev: Index[S, I, A]): Optional[S, A]
Inherited from
IndexFunctions
Source
Index.scala
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
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
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

Deprecated and Inherited methods

@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