function

Type Members

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

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

5. trait Cons1Functions extends AnyRef

   

6. trait ConsFunctions extends AnyRef

   

7. trait Curry[F, G] extends Serializable

   

   Annotations

   @implicitNotFound( ... )

8. trait CurryFunctions extends AnyRef

   

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

10. trait EachFunctions extends AnyRef

    

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

12. trait EmptyFunctions extends AnyRef

    

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

14. trait Field1Functions extends AnyRef

    

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

16. trait Field2Functions extends AnyRef

    

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

18. trait Field3Functions extends AnyRef

    

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

20. trait Field4Functions extends AnyRef

    

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

22. trait Field5Functions extends AnyRef

    

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

24. trait Field6Functions extends AnyRef

    

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

26. trait FilterIndexFunctions extends AnyRef

    

27. 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 ReverseFunctions with SnocFunctions with Snoc1Functions

    

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

29. trait IndexFunctions extends AnyRef

    

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

31. trait PlatedFunctions extends AnyRef

    

32. trait Reverse[S, A] extends Serializable

    

    Annotations

    @implicitNotFound( ... )

33. trait ReverseFunctions extends AnyRef

    

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

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

36. trait Snoc1Functions extends AnyRef

    

37. trait SnocFunctions extends AnyRef