core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/monocle.function/GenericOptics

GenericOptics

monocle.function.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

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

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 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
def filterIndex[S, I, A](predicate: I => Boolean)(implicit ev: FilterIndex[S, I, A]): Traversal[S, A]

Attributes

Inherited from:
FilterIndexFunctions
Source:
FilterIndex.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 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
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
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

Deprecated and Inherited methods

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
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL