Trait

zio.optics

OpticResultModule

Related Doc: package optics

Permalink

trait OpticResultModule extends AnyRef

Self Type
OpticResultModule
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OpticResultModule
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract type OpticResult[+E, +A]

    Permalink

    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.

Abstract Value Members

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

    Permalink

    Constructs an optic result that fails with the specified value.

    Constructs an optic result that fails with the specified value.

    Attributes
    protected
  2. abstract def flatMap[E, A, B](opticResult: OpticResult[E, A])(f: (A) ⇒ OpticResult[E, B]): OpticResult[E, B]

    Permalink

    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
  3. abstract def foldM[E, E2, A, B](opticResult: OpticResult[E, A])(f: (E) ⇒ OpticResult[E2, B], g: (A) ⇒ OpticResult[E2, B]): OpticResult[E2, B]

    Permalink

    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
  4. abstract def map[E, A, B](opticResult: OpticResult[E, A])(f: (A) ⇒ B): OpticResult[E, B]

    Permalink

    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
  5. abstract def succeed[A](a: A): OpticResult[Nothing, A]

    Permalink

    Constructs an optic result that succeeds with the specified value.

    Constructs an optic result that succeeds with the specified value.

    Attributes
    protected

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def collectAllSuccesses[E, A](iterable: Iterable[OpticResult[E, A]]): OpticResult[Nothing, Chunk[A]]

    Permalink

    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
  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def foreach[E, A, B](iterable: Iterable[A])(f: (A) ⇒ OpticResult[E, B]): OpticResult[E, Chunk[B]]

    Permalink

    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
  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  12. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  14. final def mapError[E, E2, A](opticResult: OpticResult[E, A])(f: (E) ⇒ E2): OpticResult[E2, A]

    Permalink

    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
  15. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  16. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  17. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  18. final def orElse[E, E2, A](left: ⇒ OpticResult[E, A], right: ⇒ OpticResult[E2, A]): OpticResult[E2, A]

    Permalink

    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
  19. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  20. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  21. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def zip[E, A, B, Zipped](left: ⇒ OpticResult[E, A], right: ⇒ OpticResult[E, B])(implicit zippable: Out[A, B, Zipped]): OpticResult[E, Zipped]

    Permalink

    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
  25. final def zipWith[E, A, B, C](left: ⇒ OpticResult[E, A], right: ⇒ OpticResult[E, B])(f: (A, B) ⇒ C): OpticResult[E, C]

    Permalink

    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

Inherited from AnyRef

Inherited from Any

Ungrouped