p

zio

optics

package optics

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. optics
  2. Optics
  3. OpticTypesModule
  4. OpticResultModule
  5. OpticModule
  6. OpticFailureModule
  7. OpticComposeModule
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Package Members

  1. package opticsm
  2. package toptics

Type Members

  1. implicit class AtZRefSyntax[EA >: EB, EB >: OpticFailure, A] extends AnyRef

    Provides implicit syntax for accessing the specified index of a chunk in a ZRef.

  2. implicit class ConsZRefSyntax[EA, EB >: OpticFailure, A] extends AnyRef

    Provides implicit syntax for accessing the :: case of a List in a ZRef.

  3. type EOptic[-GetWhole, -SetWholeBefore, -SetPiece, +Error, +GetPiece, +SetWholeAfter] = Optic[GetWhole, SetWholeBefore, SetPiece, Error, Error, GetPiece, SetWholeAfter]
    Definition Classes
    OpticTypesModule
  4. implicit class ERefSyntax[EA >: EB, EB, A, B] extends AnyRef

    Providing implicit syntax for accessing pieces of a value in a ZRef when the error types are unified.

  5. implicit class FilterZRefSyntax[EA >: EB, EB >: OpticFailure, A] extends AnyRef

    Provides implicit syntax for accessing a filtered subset of a chunk in a ZRef.

  6. implicit class FirstZRefSyntax[EA >: EB, EB, A, B, C] extends AnyRef

    Provides implicit syntax for accessing the first element of a tuple in a ZRef.

  7. type Fold[-S, +A] = Optic[S, Nothing, Nothing, OpticFailure, Any, Chunk[A], Any]
    Definition Classes
    OpticTypesModule
  8. type Getter[-S, +A] = Optic[S, Nothing, Nothing, OpticFailure, Any, A, Any]
    Definition Classes
    OpticTypesModule
  9. implicit class HeadZRefSyntax[EA >: EB, EB >: OpticFailure, A] extends AnyRef

    Provides implicit syntax for accessing the head of a list in a ZRef.

  10. type Iso[S, A] = Optic[S, Any, A, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  11. type IsoPartiallyApplied[+S, A] = Optic[Any, Any, A, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  12. implicit class KeyZRefSyntax[EA >: EB, EB >: OpticFailure, K, V] extends AnyRef

    Provides implicit syntax for accessing the value at the specified key in a map in a ZRef.

  13. implicit class LeftZRefSyntax[EA, EB >: OpticFailure, A, B, C] extends AnyRef

    Provides implicit syntax for accessing the Left case of an Either in a ZRef.

  14. type Lens[S, A] = Optic[S, S, A, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  15. type LensPartiallyApplied[+S, A] = Optic[Any, Any, A, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  16. implicit class NoneZRefSyntax[EA, EB >: OpticFailure, A] extends AnyRef

    Provides implicit syntax for accessing the None case of an Option in a ZRef.

  17. trait OpticComposeModule extends AnyRef
  18. trait LowPriorityOpticCompose extends AnyRef
    Definition Classes
    OpticComposeModule
  19. trait OpticCompose[GetWhole, SetWholeBefore, SetWholeBefore1, SetWholeBefore2, GetError, SetError, SetError1, GetPiece] extends AnyRef

    OpticCompose abstracts over the different ways that optics can be composed together, allowing all optics to be composed with a single operator.

    OpticCompose abstracts over the different ways that optics can be composed together, allowing all optics to be composed with a single operator.

    Definition Classes
    OpticComposeModule
  20. trait OpticFailureModule extends AnyRef
  21. case class OpticFailure(message: String) extends Exception with Product with Serializable

    An OpticFailure describes how getting or setting a piece of a whole using an optic failed.

    An OpticFailure describes how getting or setting a piece of a whole using an optic failed.

    Definition Classes
    OpticFailureModule
  22. trait OpticModule extends AnyRef
  23. case class Optic[-GetWhole, -SetWholeBefore, -SetPiece, +GetError, +SetError, +GetPiece, +SetWholeAfter](getOptic: (GetWhole) => (OpticModule.this)#OpticResult[(GetError, SetWholeAfter), GetPiece], setOptic: (SetPiece) => (SetWholeBefore) => (OpticModule.this)#OpticResult[(SetError, SetWholeAfter), SetWholeAfter]) extends Product with Serializable

    An Optic is able to get and set a piece of a whole, possibly failing.

    An Optic is able to get and set a piece of a whole, possibly failing. In the most general possible case the get and set types are distinct and getting may fail with a different error than setting.

    Definition Classes
    OpticModule
  24. type OpticPartiallyApplied[-SetPiece, +GetError, +SetError, +GetPiece, +SetWhole] = Optic[Any, Any, SetPiece, GetError, SetError, GetPiece, SetWhole]
    Definition Classes
    OpticTypesModule
  25. abstract type OpticResult[+E, +A]

    An OpticResult represents the result from getting or setting a piece of a whole using an optic.

    An OpticResult represents the result from getting or setting a piece of a whole using an optic. This allows the library to abstract over pure optics, transactional optics, and effectual optics.

    Definition Classes
    OpticResultModule
  26. trait OpticResultModule extends AnyRef
  27. trait OpticTypesModule extends AnyRef
  28. trait Optics extends OpticComposeModule with OpticFailureModule with OpticModule with OpticResultModule with OpticTypesModule
  29. implicit final class OpticSyntax[Whole] extends AnyRef

    Provides implicit syntax for working with any value as a partially applied optic.

    Provides implicit syntax for working with any value as a partially applied optic.

    Definition Classes
    Optics
  30. type Optional[S, A] = Optic[S, S, A, OpticFailure, OpticFailure, A, S]
    Definition Classes
    OpticTypesModule
  31. type OptionalPartiallyApplied[+S, A] = Optic[Any, Any, A, OpticFailure, OpticFailure, A, S]
    Definition Classes
    OpticTypesModule
  32. type Prism[S, A] = Optic[S, Any, A, OpticFailure, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  33. type PrismPartiallyApplied[+S, A] = Optic[Any, Any, A, OpticFailure, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  34. implicit class RightZRefSyntax[EA, EB >: OpticFailure, A, B, C] extends AnyRef

    Provides implicit syntax for accessing the Right case of an Either in a ZRef.

  35. implicit class SecondZRefSyntax[EA >: EB, EB, A, B, C] extends AnyRef

    Provides implicit syntax for accessing the second element of a tuple in a ZRef.

  36. type Setter[S, -A] = Optic[Nothing, S, A, Any, OpticFailure, Any, S]
    Definition Classes
    OpticTypesModule
  37. implicit class SliceZRefSyntax[EA >: EB, EB >: OpticFailure, A] extends AnyRef

    Provides implicit syntax for accessing a slice of a chunk in a ZRef.

  38. implicit class SomeZRefSyntax[EA, EB >: OpticFailure, A, B] extends AnyRef

    Provides implicit syntax for accessing the Some case of an Option in a ZRef.

  39. implicit class TailZRefSyntax[EA >: EB, EB >: OpticFailure, A] extends AnyRef

    Provides implicit syntax for accessing the tail of a list in a ZRef.

  40. type Traversal[S, A] = Optic[S, S, Chunk[A], OpticFailure, OpticFailure, Chunk[A], S]
    Definition Classes
    OpticTypesModule
  41. type TraversalPartiallyApplied[+S, A] = Optic[Any, Any, Chunk[A], OpticFailure, OpticFailure, Chunk[A], S]
    Definition Classes
    OpticTypesModule
  42. type ZIso[-S, +T, +A, -B] = Optic[S, Any, B, Nothing, Nothing, A, T]
    Definition Classes
    OpticTypesModule
  43. type ZIsoPartiallyApplied[+S, +A, -B] = Optic[Any, Any, B, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  44. type ZLens[-S, +T, +A, -B] = Optic[S, S, B, Nothing, Nothing, A, T]
    Definition Classes
    OpticTypesModule
  45. type ZLensPartiallyApplied[+S, +A, -B] = Optic[Any, Any, B, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  46. type ZOptional[-S, +T, +A, -B] = Optic[S, S, B, OpticFailure, OpticFailure, A, T]
    Definition Classes
    OpticTypesModule
  47. type ZOptionalPartiallyApplied[+S, +A, -B] = Optic[Any, Any, B, OpticFailure, OpticFailure, A, S]
    Definition Classes
    OpticTypesModule
  48. type ZPrism[-S, +T, +A, -B] = Optic[S, Any, B, OpticFailure, Nothing, A, T]
    Definition Classes
    OpticTypesModule
  49. type ZPrismPartiallyApplied[+S, +A, -B] = Optic[Any, Any, B, OpticFailure, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  50. implicit class ZRefSyntax[EA, EB, A, B] extends AnyRef

    Providing implicit syntax for accessing pieces of a value in a ZRef.

  51. type ZSetter[-S, +T, -A] = Optic[Nothing, S, A, Any, OpticFailure, Any, T]
    Definition Classes
    OpticTypesModule
  52. type ZTraversal[-S, +T, +A, -B] = Optic[S, S, Chunk[B], OpticFailure, OpticFailure, Chunk[A], T]
    Definition Classes
    OpticTypesModule
  53. type ZTraversalPartiallyApplied[+S, +A, -B] = Optic[Any, Any, Chunk[B], OpticFailure, OpticFailure, Chunk[A], S]
    Definition Classes
    OpticTypesModule

Abstract Value Members

  1. abstract def fail[E](e: E): optics.OpticResult[E, Nothing]

    Constructs an optic result that fails with the specified value.

    Constructs an optic result that fails with the specified value.

    Attributes
    protected
    Definition Classes
    OpticResultModule
  2. abstract def flatMap[E, A, B](opticResult: optics.OpticResult[E, A])(f: (A) => optics.OpticResult[E, B]): optics.OpticResult[E, B]

    Constructs an optic result by applying a function that returns an optic result to the success value of the specified optic result.

    Constructs an optic result by applying a function that returns an optic result to the success value of the specified optic result.

    Attributes
    protected
    Definition Classes
    OpticResultModule
  3. abstract def foldM[E, E2, A, B](opticResult: optics.OpticResult[E, A])(f: (E) => optics.OpticResult[E2, B], g: (A) => optics.OpticResult[E2, B]): optics.OpticResult[E2, B]

    Constructs an optic results that folds over the success and failure values of the specified optic result, transforming them with the functions f and g that return an optic result.

    Constructs an optic results that folds over the success and failure values of the specified optic result, transforming them with the functions f and g that return an optic result.

    Attributes
    protected
    Definition Classes
    OpticResultModule
  4. abstract def map[E, A, B](opticResult: optics.OpticResult[E, A])(f: (A) => B): optics.OpticResult[E, B]

    Constructs an optic result by applying a function to the success value of this optic result.

    Constructs an optic result by applying a function to the success value of this optic result.

    Attributes
    protected
    Definition Classes
    OpticResultModule
  5. abstract def succeed[A](a: A): optics.OpticResult[Nothing, A]

    Constructs an optic result that succeeds with the specified value.

    Constructs an optic result that succeeds with the specified value.

    Attributes
    protected
    Definition Classes
    OpticResultModule

Concrete Value Members

  1. final def collectAllSuccesses[E, A](iterable: Iterable[optics.OpticResult[E, A]]): optics.OpticResult[Nothing, Chunk[A]]

    Constructs an optic result that succeeds with all the success values in the specified collection of optic results, discarding the failures.

    Constructs an optic result that succeeds with all the success values in the specified collection of optic results, discarding the failures.

    Attributes
    protected
    Definition Classes
    OpticResultModule
  2. final def foreach[E, A, B](iterable: Iterable[A])(f: (A) => optics.OpticResult[E, B]): optics.OpticResult[E, Chunk[B]]

    Constructs an optic result that applies a function returning an optic result to each element in the specified collection and collects the results into a single optic result.

    Constructs an optic result that applies a function returning an optic result to each element in the specified collection and collects the results into a single optic result.

    Attributes
    protected
    Definition Classes
    OpticResultModule
  3. final def mapError[E, E2, A](opticResult: optics.OpticResult[E, A])(f: (E) => E2): optics.OpticResult[E2, A]

    Constructs an optic result by applying a function to the failure value of this optic result.

    Constructs an optic result by applying a function to the failure value of this optic result.

    Attributes
    protected
    Definition Classes
    OpticResultModule
  4. final def orElse[E, E2, A](left: => optics.OpticResult[E, A], right: => optics.OpticResult[E2, A]): optics.OpticResult[E2, A]

    Constructs an optic result that is equal to the left optic result if it is successful or else the right optic result.

    Constructs an optic result that is equal to the left optic result if it is successful or else the right optic result.

    Attributes
    protected
    Definition Classes
    OpticResultModule
  5. final def zip[E, A, B](left: => optics.OpticResult[E, A], right: => optics.OpticResult[E, B]): optics.OpticResult[E, (A, B)]

    Constructs an optic result that combines the left and right optic results.

    Constructs an optic result that combines the left and right optic results.

    Attributes
    protected
    Definition Classes
    OpticResultModule
  6. final def zipWith[E, A, B, C](left: => optics.OpticResult[E, A], right: => optics.OpticResult[E, B])(f: (A, B) => C): optics.OpticResult[E, C]

    Constructs an optic result that combines the left and right optic results, transforming their success values with the specified function.

    Constructs an optic result that combines the left and right optic results, transforming their success values with the specified function.

    Attributes
    protected
    Definition Classes
    OpticResultModule
  7. case object BuildInfo extends Product with Serializable

    This object was generated by sbt-buildinfo.

  8. object OpticCompose extends (OpticComposeModule.this)#LowPriorityOpticCompose
    Definition Classes
    OpticComposeModule
  9. object Optic extends Serializable
    Definition Classes
    OpticModule
  10. object Iso
    Definition Classes
    OpticTypesModule
  11. object Lens
    Definition Classes
    OpticTypesModule
  12. object Optional
    Definition Classes
    OpticTypesModule
  13. object Prism
    Definition Classes
    OpticTypesModule
  14. object Traversal
    Definition Classes
    OpticTypesModule
  15. object ZIso
    Definition Classes
    OpticTypesModule
  16. object ZLens
    Definition Classes
    OpticTypesModule
  17. object ZOptional
    Definition Classes
    OpticTypesModule
  18. object ZPrism
    Definition Classes
    OpticTypesModule
  19. object ZTraversal
    Definition Classes
    OpticTypesModule

Inherited from Optics

Inherited from OpticTypesModule

Inherited from OpticResultModule

Inherited from OpticModule

Inherited from OpticFailureModule

Inherited from OpticComposeModule

Inherited from AnyRef

Inherited from Any

Ungrouped