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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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( ... )

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