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. type EOptic[-GetWhole, -SetWholeBefore, -SetPiece, +Error, +GetPiece, +SetWholeAfter] = Optic[GetWhole, SetWholeBefore, SetPiece, Error, Error, GetPiece, SetWholeAfter]
    Definition Classes
    OpticTypesModule
  2. type Fold[-S, +A] = Optic[S, Nothing, Nothing, OpticFailure, Any, Chunk[A], Any]
    Definition Classes
    OpticTypesModule
  3. type Getter[-S, +A] = Optic[S, Nothing, Nothing, OpticFailure, Any, A, Any]
    Definition Classes
    OpticTypesModule
  4. type Iso[S, A] = Optic[S, Any, A, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  5. type IsoPartiallyApplied[+S, A] = Optic[Any, Any, A, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  6. type Lens[S, A] = Optic[S, S, A, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  7. type LensPartiallyApplied[+S, A] = Optic[Any, Any, A, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  8. trait OpticComposeModule extends AnyRef
  9. trait LowPriorityOpticCompose extends AnyRef
    Definition Classes
    OpticComposeModule
  10. 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
  11. trait OpticFailureModule extends AnyRef
  12. 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
  13. trait OpticModule extends AnyRef
  14. 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
  15. type OpticPartiallyApplied[-SetPiece, +GetError, +SetError, +GetPiece, +SetWhole] = Optic[Any, Any, SetPiece, GetError, SetError, GetPiece, SetWhole]
    Definition Classes
    OpticTypesModule
  16. 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
  17. trait OpticResultModule extends AnyRef
  18. trait OpticTypesModule extends AnyRef
  19. trait Optics extends OpticComposeModule with OpticFailureModule with OpticModule with OpticResultModule with OpticTypesModule
  20. 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
  21. type Optional[S, A] = Optic[S, S, A, OpticFailure, OpticFailure, A, S]
    Definition Classes
    OpticTypesModule
  22. type OptionalPartiallyApplied[+S, A] = Optic[Any, Any, A, OpticFailure, OpticFailure, A, S]
    Definition Classes
    OpticTypesModule
  23. type Prism[S, A] = Optic[S, Any, A, OpticFailure, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  24. type PrismPartiallyApplied[+S, A] = Optic[Any, Any, A, OpticFailure, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  25. type Setter[S, -A] = Optic[Nothing, S, A, Any, OpticFailure, Any, S]
    Definition Classes
    OpticTypesModule
  26. type Traversal[S, A] = Optic[S, S, Chunk[A], OpticFailure, OpticFailure, Chunk[A], S]
    Definition Classes
    OpticTypesModule
  27. type TraversalPartiallyApplied[+S, A] = Optic[Any, Any, Chunk[A], OpticFailure, OpticFailure, Chunk[A], S]
    Definition Classes
    OpticTypesModule
  28. type ZIso[-S, +T, +A, -B] = Optic[S, Any, B, Nothing, Nothing, A, T]
    Definition Classes
    OpticTypesModule
  29. type ZIsoPartiallyApplied[+S, +A, -B] = Optic[Any, Any, B, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  30. type ZLens[-S, +T, +A, -B] = Optic[S, S, B, Nothing, Nothing, A, T]
    Definition Classes
    OpticTypesModule
  31. type ZLensPartiallyApplied[+S, +A, -B] = Optic[Any, Any, B, Nothing, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  32. type ZOptional[-S, +T, +A, -B] = Optic[S, S, B, OpticFailure, OpticFailure, A, T]
    Definition Classes
    OpticTypesModule
  33. type ZOptionalPartiallyApplied[+S, +A, -B] = Optic[Any, Any, B, OpticFailure, OpticFailure, A, S]
    Definition Classes
    OpticTypesModule
  34. type ZPrism[-S, +T, +A, -B] = Optic[S, Any, B, OpticFailure, Nothing, A, T]
    Definition Classes
    OpticTypesModule
  35. type ZPrismPartiallyApplied[+S, +A, -B] = Optic[Any, Any, B, OpticFailure, Nothing, A, S]
    Definition Classes
    OpticTypesModule
  36. type ZSetter[-S, +T, -A] = Optic[Nothing, S, A, Any, OpticFailure, Any, T]
    Definition Classes
    OpticTypesModule
  37. type ZTraversal[-S, +T, +A, -B] = Optic[S, S, Chunk[B], OpticFailure, OpticFailure, Chunk[A], T]
    Definition Classes
    OpticTypesModule
  38. 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, Zipped](left: => optics.OpticResult[E, A], right: => optics.OpticResult[E, B])(implicit zippable: Out[A, B, Zipped]): optics.OpticResult[E, Zipped]

    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