Type Members

1.  abstract class At[S, I, A] extends Serializable

   Typeclass that defines a Lens from an S to an A at an index I

   Typeclass that defines a Lens from an S to an A at an index I

   S

   source of Lens

   I

   index

   A

   target of Lens, A is supposed to be unique for a given pair (S, I)

   Annotations

   @implicitNotFound("Could not find an instance of At[${S},${I},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

2.  trait AtFunctions extends AnyRef
3.  trait CommonPlatedFunctions extends AnyRef
4.  abstract class Cons[S, A] extends Serializable

   Typeclass that defines a Prism between an S and its head A and tail S

   Typeclass that defines a Prism between an S and its head A and tail S

   S

   source of Prism and tail of Prism target

   A

   head of Prism target, A is supposed to be unique for a given S

   Annotations

   @implicitNotFound("Could not find an instance of Cons[${S},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

5.  abstract class Cons1[S, H, T] extends Serializable

   Typeclass that defines an Iso between an S and its head H and tail T Cons1 is like Cons but for types that have *always* an head and tail, e.g.

   Typeclass that defines an Iso between an S and its head H and tail T Cons1 is like Cons but for types that have *always* an head and tail, e.g. a non empty list

   S

   source of Iso

   H

   head of Iso target, A is supposed to be unique for a given S

   T

   tail of Iso target, T is supposed to be unique for a given S

   Annotations

   @implicitNotFound("Could not find an instance of Cons1[${S}, ${H}, ${T}], please check Monocle instance location policy to " + "find out which import is necessary")

6.  trait Cons1Functions extends AnyRef
7.  trait ConsFunctions extends AnyRef
8.  trait ConsInstancesScalaVersionSpecific extends AnyRef
9.  abstract class Curry[F, G] extends Serializable

   Annotations

   @implicitNotFound("Could not find an instance of Curry[${F},${G}], please check Monocle instance location policy to " + "find out which import is necessary")

10.  trait CurryFunctions extends AnyRef
11.  trait CurryInstances extends CurryInstances1
12.  trait CurryInstances1 extends CurryInstances2
13.  trait CurryInstances2 extends AnyRef
14.  abstract class Each[S, A] extends Serializable

    Typeclass that defines a Traversal from a monomorphic container S to all of its elements of type A

    Typeclass that defines a Traversal from a monomorphic container S to all of its elements of type A

    S

    source of Traversal

    A

    target of Traversal, A is supposed to be unique for a given S

    Annotations

    @implicitNotFound("Could not find an instance of Each[${S},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

15.  trait EachFunctions extends AnyRef
16.  trait EachInstancesScalaVersionSpecific extends AnyRef
17.  abstract class Empty[S] extends Serializable

    Typeclass that defines a Prism from an S and its empty value

    Typeclass that defines a Prism from an S and its empty value

    S

    source of Prism

    Annotations

    @implicitNotFound("Could not find an instance of Empty[${S}], please check Monocle instance location policy to " + "find out which import is necessary")

18.  trait EmptyFunctions extends AnyRef
19.  trait EmptyInstancesScalaVersionSpecific extends AnyRef
20.  abstract class Field1[S, A] extends Serializable

    Typeclass that defines a Lens from an S to its first element of type A

    Typeclass that defines a Lens from an S to its first element of type A

    S

    source of Lens

    A

    target of Lens, A is supposed to be unique for a given S

    Annotations

    @implicitNotFound("Could not find an instance of Field1[${S},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

21.  trait Field1Functions extends AnyRef
22.  abstract class Field2[S, A] extends Serializable

    Typeclass that defines a Lens from an S to its second element of type A

    Typeclass that defines a Lens from an S to its second element of type A

    S

    source of Lens

    A

    target of Lens, A is supposed to be unique for a given S

    Annotations

    @implicitNotFound("Could not find an instance of Field2[${S},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

23.  trait Field2Functions extends AnyRef
24.  abstract class Field3[S, A] extends Serializable

    Typeclass that defines a Lens from an S to its third element of type A

    Typeclass that defines a Lens from an S to its third element of type A

    S

    source of Lens

    A

    target of Lens, A is supposed to be unique for a given S

    Annotations

    @implicitNotFound("Could not find an instance of Field3[${S},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

25.  trait Field3Functions extends AnyRef
26.  abstract class Field4[S, A] extends Serializable

    Typeclass that defines a Lens from an S to its fourth element of type A

    Typeclass that defines a Lens from an S to its fourth element of type A

    S

    source of Lens

    A

    target of Lens, A is supposed to be unique for a given S

    Annotations

    @implicitNotFound("Could not find an instance of Field4[${S},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

27.  trait Field4Functions extends AnyRef
28.  abstract class Field5[S, A] extends Serializable

    Typeclass that defines a Lens from an S to its fifth element of type A

    Typeclass that defines a Lens from an S to its fifth element of type A

    S

    source of Lens

    A

    target of Lens, A is supposed to be unique for a given S

    Annotations

    @implicitNotFound("Could not find an instance of Field5[${S},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

29.  trait Field5Functions extends AnyRef
30.  abstract class Field6[S, A] extends Serializable

    Typeclass that defines a Lens from an S to its sixth element of type A

    Typeclass that defines a Lens from an S to its sixth element of type A

    S

    source of Lens

    A

    target of Lens, A is supposed to be unique for a given S

    Annotations

    @implicitNotFound("Could not find an instance of Field6[${S},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

31.  trait Field6Functions extends AnyRef
32.  abstract class FilterIndex[S, I, A] extends Serializable

    Typeclass that defines a Traversal from an S to all its elements A whose index I in S satisfies the predicate

    Typeclass that defines a Traversal from an S to all its elements A whose index I in S satisfies the predicate

    S

    source of Traversal

    I

    index

    A

    target of Traversal, A is supposed to be unique for a given pair (S, I)

    Annotations

    @implicitNotFound("Could not find an instance of FilterIndex[${S},${I},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

33.  trait FilterIndexFunctions extends AnyRef
34.  trait FilterIndexInstancesScalaVersionSpecific extends AnyRef
35.  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
36.  abstract class Index[S, I, A] extends Serializable

    Typeclass that defines an Optional from an S to an A at an index I Index is less powerful than At as it cannot create or delete value

    Typeclass that defines an Optional from an S to an A at an index I Index is less powerful than At as it cannot create or delete value

    S

    source of Optional

    I

    index

    A

    target of Optional, A is supposed to be unique for a given pair (S, I)

    Annotations

    @implicitNotFound("Could not find an instance of Index[${S},${I},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

37.  trait IndexFunctions extends AnyRef
38.  trait IndexInstancesScalaVersionSpecific extends AnyRef
39.  abstract class Plated[A] extends Serializable

    Plated is a type-class for types which can extract their immediate self-similar children.

    Plated is a type-class for types which can extract their immediate self-similar children.

    A

    the parent and child type of a Plated

    Annotations

    @implicitNotFound("Could not find an instance of Plated[${A}], please check Monocle instance location policy to " + "find out which import is necessary")

40.  trait PlatedFunctions extends CommonPlatedFunctions with PlatedFunctionsScalaVersionSpecific
41.  trait PlatedFunctionsScalaVersionSpecific extends CommonPlatedFunctions
42.  trait PlatedInstancesScalaVersionSpecific extends AnyRef
43.  abstract class Possible[S, A] extends Serializable

    Typeclass that defines an Optional from a monomorphic container S to a possible value A.

    Typeclass that defines an Optional from a monomorphic container S to a possible value A. There must be at most one A in S.

    S

    source of the Optional

    A

    target of the Optional, A is supposed to be unique for a given S

44.  trait PossibleFunctions extends AnyRef
45.  abstract class Reverse[S, A] extends Serializable

    Annotations

    @implicitNotFound("Could not find an instance of Reverse[${S},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

46.  trait ReverseFunctions extends AnyRef
47.  trait ReverseInstancesScalaVersionSpecific extends AnyRef
48.  abstract class Snoc[S, A] extends Serializable

    Typeclass that defines a Prism between an S and its init S and last S

    Typeclass that defines a Prism between an S and its init S and last S

    S

    source of Prism and init of Prism target

    A

    last of Prism target, A is supposed to be unique for a given S

    Annotations

    @implicitNotFound("Could not find an instance of Snoc[${S},${A}], please check Monocle instance location policy to " + "find out which import is necessary")

49.  abstract class Snoc1[S, I, L] extends Serializable

    Typeclass that defines an Iso between an S and its init H and last T Snoc1 is like Snoc but for types that have *always* an init and a last element, e.g.

    Typeclass that defines an Iso between an S and its init H and last T Snoc1 is like Snoc but for types that have *always* an init and a last element, e.g. a non empty list

    S

    source of Iso

    I

    init of Iso target, I is supposed to be unique for a given S

    L

    last of Iso target, L is supposed to be unique for a given S

    Annotations

    @implicitNotFound("Could not find an instance of Snoc1[${S}, ${I}, ${L}], please check Monocle instance location policy to " + "find out which import is necessary")

50.  trait Snoc1Functions extends AnyRef
51.  trait SnocFunctions extends AnyRef
52.  trait SnocInstancesScalaVersionSpecific extends AnyRef