Packages

sealed trait ZPure[+W, -S1, +S2, -R, +E, +A] extends AnyRef

ZPure[W, S1, S2, R, E, A] is a purely functional description of a computation that requires an environment R and an initial state S1 and may either fail with an E or succeed with an updated state S2 and an A along with in either case a log with entries of type W. Because of its polymorphism ZPure can be used to model a variety of effects including context, state, failure, and logging.

Self Type
ZPure[W, S1, S2, R, E, A]
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ZPure
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def &>[W1 >: W, S3 >: S2 <: S1, R1 <: R, E1 >: E, B, C](that: ZPure[W1, S3, S3, R1, E1, B]): ZPure[W1, S3, S3, R1, E1, B]

    A symbolic alias for zipParRight.

  4. final def *>[W1 >: W, S3, R1 <: R, E1 >: E, B](that: ZPure[W1, S2, S3, R1, E1, B]): ZPure[W1, S1, S3, R1, E1, B]

    A symbolic alias for zipRight.

  5. final def <&[W1 >: W, S3 >: S2 <: S1, R1 <: R, E1 >: E, B, C](that: ZPure[W1, S3, S3, R1, E1, B]): ZPure[W1, S3, S3, R1, E1, A]

    A symbolic alias for zipParLeft.

  6. final def <&>[W1 >: W, S3 >: S2 <: S1, R1 <: R, E1 >: E, B, C](that: ZPure[W1, S3, S3, R1, E1, B])(implicit zippable: Zippable[A, B]): ZPure[W1, S3, S3, R1, E1, Out]

    A symbolic alias for zipPar.

  7. final def <*[W1 >: W, S3, R1 <: R, E1 >: E, B](that: ZPure[W1, S2, S3, R1, E1, B]): ZPure[W1, S1, S3, R1, E1, A]

    A symbolic alias for zipLeft.

  8. final def <*>[W1 >: W, S3, R1 <: R, E1 >: E, B](that: ZPure[W1, S2, S3, R1, E1, B])(implicit zippable: Zippable[A, B]): ZPure[W1, S1, S3, R1, E1, Out]

    A symbolic alias for zip.

  9. final def <+>[W1 >: W, S0 <: S1, S3 >: S2, R1 <: R, E1, B](that: ⇒ ZPure[W1, S0, S3, R1, E1, B])(implicit ev: CanFail[E]): ZPure[W1, S0, S3, R1, E1, Either[A, B]]

    A symbolic alias for orElseEither.

  10. final def <>[W1 >: W, S0 <: S1, S3 >: S2, R1 <: R, E1, A1 >: A](that: ⇒ ZPure[W1, S0, S3, R1, E1, A1])(implicit ev: CanFail[E]): ZPure[W1, S0, S3, R1, E1, A1]

    A symbolic alias for orElse.

  11. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. final def >>=[W1 >: W, S3, R1 <: R, E1 >: E, B](f: (A) ⇒ ZPure[W1, S2, S3, R1, E1, B]): ZPure[W1, S1, S3, R1, E1, B]

    A symbolic alias for flatMap.

  13. final def ??[W1 >: W](w: W1): ZPure[W1, S1, S2, R, E, A]

    A symbolic alias for log.

  14. final def absolve[E1 >: E, B](implicit ev: <:<[A, Either[E1, B]]): ZPure[W, S1, S2, R, E1, B]

    Submerges the error case of an Either into the error type of this computation.

  15. final def as[B](b: ⇒ B): ZPure[W, S1, S2, R, E, B]

    Maps the success value of this computation to a constant value.

  16. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  17. final def asSome: ZPure[W, S1, S2, R, E, Option[A]]

    Maps the success value of this computation to the optional value.

  18. final def asSomeError(implicit ev: CanFail[E]): ZPure[W, S1, S2, R, Option[E], A]

    Maps the error value of this computation to the optional value.

  19. final def asState[S3](s: S3): ZPure[W, S1, S3, R, E, A]

    Maps the output state to a constant value

  20. final def bimap[E1, B](f: (E) ⇒ E1, g: (A) ⇒ B)(implicit ev: CanFail[E]): ZPure[W, S1, S2, R, E1, B]

    Returns a computation whose error and success channels have been mapped by the specified functions, f and g.

  21. final def catchAll[W1 >: W, S0 <: S1, S3 >: S2, R1 <: R, E1, A1 >: A](f: (E) ⇒ ZPure[W1, S0, S3, R1, E1, A1])(implicit ev: CanFail[E]): ZPure[W1, S0, S3, R1, E1, A1]

    Recovers from all errors.

  22. final def catchSome[W1 >: W, S0 <: S1, S3 >: S2, R1 <: R, E1 >: E, A1 >: A](pf: PartialFunction[E, ZPure[W1, S0, S3, R1, E1, A1]])(implicit ev: CanFail[E]): ZPure[W1, S0, S3, R1, E1, A1]

    Recovers from some or all of the error cases.

  23. final def clearLogOnError: ZPure[W, S1, S2, R, E, A]

    Modifies the behavior of the inner computation regarding logs, so that logs written in a failed computation will be cleared.

  24. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  25. final def collect[E1 >: E, B](e: ⇒ E1)(pf: PartialFunction[A, B]): ZPure[W, S1, S2, R, E1, B]

    Transforms the result of this computation with the specified partial function, failing with the e value if the partial function is not defined for the given input.

  26. final def collectM[W1 >: W, S3, R1 <: R, E1 >: E, B](e: ⇒ E1)(pf: PartialFunction[A, ZPure[W1, S2, S3, R1, E1, B]]): ZPure[W1, S1, S3, R1, E1, B]

    Transforms the result of this computation with the specified partial function which returns a new computation, failing with the e value if the partial function is not defined for the given input.

  27. final def contramapState[S0](f: (S0) ⇒ S1): ZPure[W, S0, S2, R, E, A]

    Transforms the initial state of this computation with the specified function.

  28. final def either[S3 >: S2 <: S1](implicit ev: CanFail[E]): ZPure[W, S3, S3, R, Nothing, Either[E, A]]

    Returns a computation whose failure and success have been lifted into an Either.

    Returns a computation whose failure and success have been lifted into an Either. The resulting computation cannot fail, because the failure case has been exposed as part of the Either success case.

  29. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  31. final def filterOrElse[W1 >: W, S3 >: S2, R1 <: R, E1 >: E, A1 >: A](p: (A) ⇒ Boolean)(f: (A) ⇒ ZPure[W1, S2, S3, R1, E1, A1]): ZPure[W1, S1, S3, R1, E1, A1]

    Applies the specified function if the predicate fails.

  32. final def filterOrElse_[W1 >: W, S3 >: S2, R1 <: R, E1 >: E, A1 >: A](p: (A) ⇒ Boolean)(zPure: ⇒ ZPure[W1, S2, S3, R1, E1, A1]): ZPure[W1, S1, S3, R1, E1, A1]

    Similar to filterOrElse, but instead of a function it accepts the ZPure computation to apply if the predicate fails.

  33. final def filterOrFail[E1 >: E](p: (A) ⇒ Boolean)(e: ⇒ E1): ZPure[W, S1, S2, R, E1, A]

    Fails with the specified error if the predicate fails.

  34. final def flatMap[W1 >: W, S3, R1 <: R, E1 >: E, B](f: (A) ⇒ ZPure[W1, S2, S3, R1, E1, B]): ZPure[W1, S1, S3, R1, E1, B]

    Extends this computation with another computation that depends on the result of this computation by running the first computation, using its result to generate a second computation, and running that computation.

  35. final def flatten[W1 >: W, S3, R1 <: R, E1 >: E, B](implicit ev: <:<[A, ZPure[W1, S2, S3, R1, E1, B]]): ZPure[W1, S1, S3, R1, E1, B]

    Flattens a nested computation to a single computation by running the outer computation and then running the inner computation.

  36. final def flip[S3 >: S2 <: S1]: ZPure[W, S3, S3, R, A, E]

    Swaps the error and success types of this computation.

  37. final def fold[S3 >: S2 <: S1, B](failure: (E) ⇒ B, success: (A) ⇒ B)(implicit ev: CanFail[E]): ZPure[W, S3, S3, R, Nothing, B]

    Folds over the failed or successful results of this computation to yield a computation that does not fail, but succeeds with the value of the left or right function passed to fold.

  38. final def foldCauseM[W1 >: W, S0 <: S1, S3, R1 <: R, E1, B](failure: (Cause[E]) ⇒ ZPure[W1, S0, S3, R1, E1, B], success: (A) ⇒ ZPure[W1, S2, S3, R1, E1, B])(implicit ev: CanFail[E]): ZPure[W1, S0, S3, R1, E1, B]
  39. final def foldM[W1 >: W, S0 <: S1, S3, R1 <: R, E1, B](failure: (E) ⇒ ZPure[W1, S0, S3, R1, E1, B], success: (A) ⇒ ZPure[W1, S2, S3, R1, E1, B])(implicit ev: CanFail[E]): ZPure[W1, S0, S3, R1, E1, B]

    Recovers from errors by accepting one computation to execute for the case of an error, and one computation to execute for the case of success.

  40. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  41. final def getState: ZPure[W, S1, S2, R, E, (S2, A)]

    Exposes the output state into the value channel.

  42. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  43. final def head[B](implicit ev: <:<[A, List[B]]): ZPure[W, S1, S2, R, Option[E], B]

    Returns a successful computation with the head of the list if the list is non-empty or fails with the error None if the list is empty.

  44. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  45. final def keepLogOnError: ZPure[W, S1, S2, R, E, A]

    Modifies the behavior of the inner computation regarding logs, so that logs written in a failed computation will be kept (this is the default behavior).

  46. final def left[B, C](implicit ev: <:<[A, Either[B, C]]): ZPure[W, S1, S2, R, Option[E], B]

    Returns a successful computation if the value is Left, or fails with error None.

  47. final def leftOrFail[B, C, E1 >: E](e: ⇒ E1)(implicit ev: <:<[A, Either[B, C]]): ZPure[W, S1, S2, R, E1, B]

    Returns a successful computation if the value is Left, or fails with error e.

  48. final def leftOrFailWith[B, C, E1 >: E](e: (C) ⇒ E1)(implicit ev: <:<[A, Either[B, C]]): ZPure[W, S1, S2, R, E1, B]

    Returns a successful computation if the value is Left, or fails with the given error function e.

  49. final def leftOrFailWithException[B, C, E1 >: NoSuchElementException](implicit ev: <:<[A, Either[B, C]], ev2: <:<[E, E1]): ZPure[W, S1, S2, R, E1, B]

    Returns a successful computation if the value is Left, or fails with a java.util.NoSuchElementException.

  50. final def log[W1 >: W](w: W1): ZPure[W1, S1, S2, R, E, A]
  51. final def map[B](f: (A) ⇒ B): ZPure[W, S1, S2, R, E, B]

    Transforms the result of this computation with the specified function.

  52. final def mapError[E1](f: (E) ⇒ E1)(implicit ev: CanFail[E]): ZPure[W, S1, S2, R, E1, A]

    Transforms the error type of this computation with the specified function.

  53. final def mapErrorCause[E2](f: (Cause[E]) ⇒ Cause[E2]): ZPure[W, S1, S2, R, E2, A]

    Returns a computation with its full cause of failure mapped using the specified function.

    Returns a computation with its full cause of failure mapped using the specified function. This can be users to transform errors while preserving the original structure of the Cause.

  54. final def mapState[S3](f: (S2) ⇒ S3): ZPure[W, S1, S3, R, E, A]

    Transforms the updated state of this computation with the specified function.

  55. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  56. final def negate(implicit ev: <:<[A, Boolean]): ZPure[W, S1, S2, R, E, Boolean]

    Negates the boolean value of this computation.

  57. final def none[B](implicit ev: <:<[A, Option[B]]): ZPure[W, S1, S2, R, Option[E], Unit]

    Requires the value of this computation to be None, otherwise fails with None.

  58. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  59. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  60. final def orElse[W1 >: W, S0 <: S1, S3 >: S2, R1 <: R, E1, A1 >: A](that: ⇒ ZPure[W1, S0, S3, R1, E1, A1])(implicit ev: CanFail[E]): ZPure[W1, S0, S3, R1, E1, A1]

    Executes this computation and returns its value, if it succeeds, but otherwise executes the specified computation.

  61. final def orElseEither[W1 >: W, S0 <: S1, S3 >: S2, R1 <: R, E1, B](that: ⇒ ZPure[W1, S0, S3, R1, E1, B])(implicit ev: CanFail[E]): ZPure[W1, S0, S3, R1, E1, Either[A, B]]

    Executes this computation and returns its value, if it succeeds, but otherwise executes the specified computation.

  62. final def orElseFail[E1](e1: ⇒ E1)(implicit ev: CanFail[E]): ZPure[W, S1, S2, R, E1, A]

    Executes this computation and returns its value, if it succeeds, but otherwise fails with the specified error.

  63. final def orElseFallback[A1 >: A, S3 >: S2](a1: ⇒ A1, s3: ⇒ S3)(implicit ev: CanFail[E]): ZPure[W, S1, S3, R, Nothing, A1]

    Executes this computation and returns its value, if it succeeds, but otherwise fallbacks to the new state with the specified value.

  64. final def orElseOptional[W1 >: W, S0 <: S1, S3 >: S2, R1 <: R, E1, A1 >: A](that: ⇒ ZPure[W1, S0, S3, R1, Option[E1], A1])(implicit ev: <:<[E, Option[E1]]): ZPure[W1, S0, S3, R1, Option[E1], A1]

    Returns an computation that will produce the value of this computation, unless it fails with the None value, in which case it will produce the value of the specified computation.

  65. final def orElseSucceed[A1 >: A](a1: ⇒ A1)(implicit ev: CanFail[E]): ZPure[W, S1, Any, R, Nothing, A1]

    Executes this computation and returns its value, if it succeeds, but otherwise succeeds with the specified value.

  66. final def provideEnvironment(r: ZEnvironment[R]): ZPure[W, S1, S2, Any, E, A]

    Provides this computation with its required environment.

  67. final def provideService[Service <: R](service: ⇒ Service)(implicit tag: Tag[Service]): ZPure[W, S1, S2, Any, E, A]

    Provides this computation with the single service it requires.

    Provides this computation with the single service it requires. If the computation requires multiple services use provideEnvironment instead.

  68. final def provideSomeEnvironment[R0](f: (ZEnvironment[R0]) ⇒ ZEnvironment[R]): ZPure[W, S1, S2, R0, E, A]

    Provides this computation with part of its required environment, leaving the remainder.

  69. final def provideState(s: S1): ZPure[W, Any, S2, R, E, A]

    Provides this computation with its initial state.

  70. final def refineOrDie[E1](pf: PartialFunction[E, E1])(implicit ev1: <:<[E, Throwable], ev2: CanFail[E]): ZPure[W, S1, S2, R, E1, A]

    Keeps some of the errors, and throw the rest

  71. final def refineOrDieWith[E1](pf: PartialFunction[E, E1])(f: (E) ⇒ Throwable)(implicit ev: CanFail[E]): ZPure[W, S1, S2, R, E1, A]

    Keeps some of the errors, and throw the rest, using the specified function to convert the E into a Throwable.

  72. final def reject[S0 <: S1, S3 >: S2, R1 <: R, E1 >: E](pf: PartialFunction[A, E1]): ZPure[W, S0, S3, R1, E1, A]

    Fail with the returned value if the PartialFunction matches, otherwise continue with our held value.

  73. final def rejectM[W1 >: W, S0 <: S1, S3 >: S2, R1 <: R, E1 >: E](pf: PartialFunction[A, ZPure[W1, S2, S3, R1, E1, E1]]): ZPure[W1, S0, S3, R1, E1, A]

    Continue with the returned computation if the PartialFunction matches, translating the successful match into a failure, otherwise continue with our held value.

  74. final def repeatN(n: Int)(implicit ev: <:<[S2, S1]): ZPure[W, S1, S2, R, E, A]

    Repeats this computation the specified number of times (or until the first failure) passing the updated state to each successive repetition.

  75. final def repeatUntil(f: (A) ⇒ Boolean)(implicit ev: <:<[S2, S1]): ZPure[W, S1, S2, R, E, A]

    Repeats this computation until its value satisfies the specified predicate (or until the first failure) passing the updated state to each successive repetition.

  76. final def repeatUntilEquals[A1 >: A](a: ⇒ A1)(implicit ev: <:<[S2, S1]): ZPure[W, S1, S2, R, E, A1]

    Repeats this computation until its value is equal to the specified value (or until the first failure) passing the updated state to each successive repetition.

  77. final def repeatUntilState(f: (S2) ⇒ Boolean)(implicit ev: <:<[S2, S1]): ZPure[W, S1, S2, R, E, A]

    Repeats this computation until the updated state satisfies the specified predicate (or until the first failure) passing the updated state to each successive repetition.

  78. final def repeatUntilStateEquals[S3 >: S2](s: ⇒ S3)(implicit ev: <:<[S2, S1]): ZPure[W, S1, S3, R, E, A]

    Repeats this computation until the updated state is equal to the specified value (or until the first failure) passing the updated state to each successive repetition.

  79. final def repeatWhile(f: (A) ⇒ Boolean)(implicit ev: <:<[S2, S1]): ZPure[W, S1, S2, R, E, A]

    Repeats this computation for as long as its value satisfies the specified predicate (or until the first failure) passing the updated state to each successive repetition.

  80. final def repeatWhileEquals[A1 >: A](a: ⇒ A1)(implicit ev: <:<[S2, S1]): ZPure[W, S1, S2, R, E, A1]

    Repeats this computation for as long as its value is equal to the specified value (or until the first failure) passing the updated state to each successive repetition.

  81. final def repeatWhileState(f: (S2) ⇒ Boolean)(implicit ev: <:<[S2, S1]): ZPure[W, S1, S2, R, E, A]

    Repeats this computation for as long as the updated state satisfies the specified predicate (or until the first failure) passing the updated state to each successive repetition.

  82. final def right[B, C](implicit ev: <:<[A, Either[B, C]]): ZPure[W, S1, S2, R, Option[E], C]

    Returns a successful computation if the value is Right, or fails with error None.

  83. final def rightOrFail[B, C, E1 >: E](e: ⇒ E1)(implicit ev: <:<[A, Either[B, C]]): ZPure[W, S1, S2, R, E1, C]
  84. final def rightOrFailWith[B, C, E1 >: E](e: (B) ⇒ E1)(implicit ev: <:<[A, Either[B, C]]): ZPure[W, S1, S2, R, E1, C]
  85. final def rightOrFailWithException[B, C, E1 >: NoSuchElementException](implicit ev: <:<[A, Either[B, C]], ev2: <:<[E, E1]): ZPure[W, S1, S2, R, E1, C]
  86. final def run(s: S1)(implicit ev1: <:<[Any, R], ev2: <:<[E, Nothing]): (S2, A)

    Runs this computation with the specified initial state, returning both the updated state and the result.

  87. final def run(implicit ev1: <:<[Unit, S1], ev2: <:<[Any, R], ev3: <:<[E, Nothing]): A

    Runs this computation to produce its result.

  88. final def runAll(s: S1)(implicit ev: <:<[Any, R]): (Chunk[W], Either[Cause[E], (S2, A)])

    Runs this computation with the specified initial state, returning both the log and either all the failures that occurred or the updated state and the result.

  89. final def runEither(implicit ev1: <:<[Unit, S1], ev2: <:<[Any, R]): Either[E, A]

    Runs this computation to produce its result or the first failure to occur.

  90. final def runLog(implicit ev1: <:<[Unit, S1], ev2: <:<[Any, R], ev3: <:<[E, Nothing]): (Chunk[W], A)

    Runs this computation to produce its result and the log.

  91. final def runResult(s: S1)(implicit ev1: <:<[Any, R], ev2: <:<[E, Nothing]): A

    Runs this computation with the specified initial state, returning the result and discarding the updated state.

  92. final def runState(s: S1)(implicit ev1: <:<[Any, R], ev2: <:<[E, Nothing]): S2

    Runs this computation with the specified initial state, returning the updated state and discarding the result.

  93. final def runValidation(implicit ev1: <:<[Unit, S1], ev2: <:<[Any, R]): ZValidation[W, E, A]

    Runs this computation to a ZValidation value.

  94. final def sandbox: ZPure[W, S1, S2, R, Cause[E], A]

    Exposes the full cause of failures of this computation.

  95. final def some[B](implicit ev: <:<[A, Option[B]]): ZPure[W, S1, S2, R, Option[E], B]

    Converts an option on values into an option on errors leaving the state unchanged.

  96. final def someOrElse[B](default: ⇒ B)(implicit ev: <:<[A, Option[B]]): ZPure[W, S1, S2, R, E, B]

    Extracts the optional value or returns the given 'default' leaving the state unchanged.

  97. final def someOrElseM[W1 >: W, S3 >: S2, R1 <: R, E1 >: E, B](that: ZPure[W1, S2, S3, R1, E1, B])(implicit ev: <:<[A, Option[B]]): ZPure[W1, S1, S3, R1, E1, B]

    Extracts the optional value or runs the specified computation passing the updated state from this computation.

  98. final def someOrFail[B, E1 >: E](e: ⇒ E1)(implicit ev: <:<[A, Option[B]]): ZPure[W, S1, S2, R, E1, B]

    Extracts the optional value or fails with the given error 'e'.

  99. final def someOrFailException[B, E1 >: E](implicit ev: <:<[A, Option[B]], ev2: <:<[NoSuchElementException, E1]): ZPure[W, S1, S2, R, E1, B]

    Extracts the optional value or fails with a java.util.NoSuchElementException leaving the state unchanged.

  100. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  101. def toString(): String
    Definition Classes
    AnyRef → Any
  102. def toZIO(implicit ev: <:<[Unit, S1]): ZIO[R, E, A]

    Transforms ZPure to ZIO that either succeeds with A or fails with error(s) E.

    Transforms ZPure to ZIO that either succeeds with A or fails with error(s) E. The original state is supposed to be ().

  103. def toZIOWith(s1: S1): ZIO[R, E, A]

    Transforms ZPure to ZIO that either succeeds with A or fails with error(s) E.

  104. def toZIOWithAll(s1: S1): ZIO[R, E, (Chunk[W], S2, A)]

    Transforms ZPure to ZIO that either succeeds with Chunk[W], S2 and A or fails with error(s) E.

  105. def toZIOWithState(s1: S1): ZIO[R, E, (S2, A)]

    Transforms ZPure to ZIO that either succeeds with S2 and A or fails with error(s) E.

  106. final def unit: ZPure[W, S1, S2, R, E, Unit]

    Maps the value of this computation to unit.

  107. def unsandbox[E1](implicit ev: <:<[E, Cause[E1]]): ZPure[W, S1, S2, R, E1, A]

    Submerges the full cause of failures of this computation.

  108. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  109. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  110. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  111. final def zip[W1 >: W, S3, R1 <: R, E1 >: E, B](that: ZPure[W1, S2, S3, R1, E1, B])(implicit zippable: Zippable[A, B]): ZPure[W1, S1, S3, R1, E1, Out]

    Combines this computation with the specified computation, passing the updated state from this computation to that computation and combining the results of both into a tuple.

  112. final def zipLeft[W1 >: W, S3, R1 <: R, E1 >: E, B](that: ZPure[W1, S2, S3, R1, E1, B]): ZPure[W1, S1, S3, R1, E1, A]

    Combines this computation with the specified computation, passing the updated state from this computation to that computation and returning the result of this computation.

  113. final def zipPar[W1 >: W, S3 >: S2 <: S1, R1 <: R, E1 >: E, B, C](that: ZPure[W1, S3, S3, R1, E1, B])(implicit zippable: Zippable[A, B]): ZPure[W1, S3, S3, R1, E1, Out]
  114. final def zipParLeft[W1 >: W, S3 >: S2 <: S1, R1 <: R, E1 >: E, B, C](that: ZPure[W1, S3, S3, R1, E1, B]): ZPure[W1, S3, S3, R1, E1, A]
  115. final def zipParRight[W1 >: W, S3 >: S2 <: S1, R1 <: R, E1 >: E, B, C](that: ZPure[W1, S3, S3, R1, E1, B]): ZPure[W1, S3, S3, R1, E1, B]
  116. final def zipRight[W1 >: W, S3, R1 <: R, E1 >: E, B](that: ZPure[W1, S2, S3, R1, E1, B]): ZPure[W1, S1, S3, R1, E1, B]

    Combines this computation with the specified computation, passing the updated state from this computation to that computation and returning the result of that computation.

  117. final def zipWith[W1 >: W, S3, R1 <: R, E1 >: E, B, C](that: ZPure[W1, S2, S3, R1, E1, B])(f: (A, B) ⇒ C): ZPure[W1, S1, S3, R1, E1, C]

    Combines this computation with the specified computation, passing the updated state from this computation to that computation and combining the results of both using the specified function.

  118. final def zipWithPar[W1 >: W, S3 >: S2 <: S1, R1 <: R, E1 >: E, B, C](that: ZPure[W1, S3, S3, R1, E1, B])(f: (A, B) ⇒ C): ZPure[W1, S3, S3, R1, E1, C]

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped