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.
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Members list
Value members
Concrete methods
A symbolic alias for zipParRight.
A symbolic alias for zipParRight.
Attributes
A symbolic alias for zipRight.
A symbolic alias for zipRight.
Attributes
A symbolic alias for zipParLeft.
A symbolic alias for zipParLeft.
Attributes
A symbolic alias for zipPar.
A symbolic alias for zipPar.
Attributes
A symbolic alias for zipLeft.
A symbolic alias for zipLeft.
Attributes
A symbolic alias for zip.
A symbolic alias for zip.
Attributes
A symbolic alias for orElseEither.
A symbolic alias for orElseEither.
Attributes
A symbolic alias for orElse.
A symbolic alias for orElse.
Attributes
A symbolic alias for flatMap.
A symbolic alias for flatMap.
Attributes
A symbolic alias for log.
A symbolic alias for log.
Attributes
Submerges the error case of an Either into the error type of this computation.
Submerges the error case of an Either into the error type of this computation.
Attributes
Maps the success value of this computation to a constant value.
Maps the success value of this computation to a constant value.
Attributes
Maps the success value of this computation to the optional value.
Maps the success value of this computation to the optional value.
Attributes
Maps the error value of this computation to the optional value.
Maps the error value of this computation to the optional value.
Attributes
Maps the output state to a constant value
Maps the output state to a constant value
Attributes
Returns a computation whose error and success channels have been mapped by the specified functions, f and g.
Returns a computation whose error and success channels have been mapped by the specified functions, f and g.
Attributes
Recovers from all errors.
Recovers from all errors.
Attributes
Recovers from some or all of the error cases.
Recovers from some or all of the error cases.
Attributes
Modifies the behavior of the inner computation regarding logs, so that logs written in a failed computation will be cleared.
Modifies the behavior of the inner computation regarding logs, so that logs written in a failed computation will be cleared.
Attributes
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.
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.
Attributes
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.
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.
Attributes
Transforms the initial state of this computation with the specified function.
Transforms the initial state of this computation with the specified function.
Attributes
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.
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.
Attributes
Applies the specified function if the predicate fails.
Applies the specified function if the predicate fails.
Attributes
Similar to filterOrElse, but instead of a function it accepts the ZPure computation to apply if the predicate fails.
Similar to filterOrElse, but instead of a function it accepts the ZPure computation to apply if the predicate fails.
Attributes
Fails with the specified error if the predicate fails.
Fails with the specified error if the predicate fails.
Attributes
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.
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.
Attributes
Flattens a nested computation to a single computation by running the outer computation and then running the inner computation.
Flattens a nested computation to a single computation by running the outer computation and then running the inner computation.
Attributes
Swaps the error and success types of this computation.
Swaps the error and success types of this computation.
Attributes
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.
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.
Attributes
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.
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.
Attributes
Exposes the output state into the value channel.
Exposes the output state into the value channel.
Attributes
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.
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.
Attributes
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).
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).
Attributes
Returns a successful computation if the value is Left, or fails with error None.
Returns a successful computation if the value is Left, or fails with error None.
Attributes
Returns a successful computation if the value is Left, or fails with error e.
Returns a successful computation if the value is Left, or fails with error e.
Attributes
Returns a successful computation if the value is Left, or fails with the given error function e.
Returns a successful computation if the value is Left, or fails with the given error function e.
Attributes
Returns a successful computation if the value is Left, or fails with a java.util.NoSuchElementException.
Returns a successful computation if the value is Left, or fails with a java.util.NoSuchElementException.
Attributes
Transforms the result of this computation with the specified function.
Transforms the result of this computation with the specified function.
Attributes
Transforms the error type of this computation with the specified function.
Transforms the error type of this computation with the specified function.
Attributes
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.
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.
Attributes
Transforms the updated state of this computation with the specified function.
Transforms the updated state of this computation with the specified function.
Attributes
Negates the boolean value of this computation.
Negates the boolean value of this computation.
Attributes
Requires the value of this computation to be None, otherwise fails with None.
Requires the value of this computation to be None, otherwise fails with None.
Attributes
Executes this computation and returns its value, if it succeeds, but otherwise executes the specified computation.
Executes this computation and returns its value, if it succeeds, but otherwise executes the specified computation.
Attributes
Executes this computation and returns its value, if it succeeds, but otherwise executes the specified computation.
Executes this computation and returns its value, if it succeeds, but otherwise executes the specified computation.
Attributes
Executes this computation and returns its value, if it succeeds, but otherwise fails with the specified error.
Executes this computation and returns its value, if it succeeds, but otherwise fails with the specified error.
Attributes
Executes this computation and returns its value, if it succeeds, but otherwise fallbacks to the new state with the specified value.
Executes this computation and returns its value, if it succeeds, but otherwise fallbacks to the new state with the specified value.
Attributes
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.
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.
Attributes
Executes this computation and returns its value, if it succeeds, but otherwise succeeds with the specified value.
Executes this computation and returns its value, if it succeeds, but otherwise succeeds with the specified value.
Attributes
Provides this computation with its required environment.
Provides this computation with its required environment.
Attributes
Provides this computation with the single service it requires. If the computation requires multiple services use provideEnvironment instead.
Provides this computation with the single service it requires. If the computation requires multiple services use provideEnvironment instead.
Attributes
Provides this computation with part of its required environment, leaving the remainder.
Provides this computation with part of its required environment, leaving the remainder.
Attributes
Provides this computation with its initial state.
Provides this computation with its initial state.
Attributes
Keeps some of the errors, and throw the rest
Keeps some of the errors, and throw the rest
Attributes
Keeps some of the errors, and throw the rest, using the specified function to convert the E into a Throwable.
Keeps some of the errors, and throw the rest, using the specified function to convert the E into a Throwable.
Attributes
Keeps some of the errors, and throw the rest.
Keeps some of the errors, and throw the rest.
Attributes
Fail with the returned value if the PartialFunction matches, otherwise continue with our held value.
Fail with the returned value if the PartialFunction matches, otherwise continue with our held value.
Attributes
Continue with the returned computation if the PartialFunction matches, translating the successful match into a failure, otherwise continue with our held value.
Continue with the returned computation if the PartialFunction matches, translating the successful match into a failure, otherwise continue with our held value.
Attributes
Repeats this computation the specified number of times (or until the first failure) passing the updated state to each successive repetition.
Repeats this computation the specified number of times (or until the first failure) passing the updated state to each successive repetition.
Attributes
Repeats this computation until its value satisfies the specified predicate (or until the first failure) passing the updated state to each successive repetition.
Repeats this computation until its value satisfies the specified predicate (or until the first failure) passing the updated state to each successive repetition.
Attributes
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.
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.
Attributes
Repeats this computation until the updated state satisfies the specified predicate (or until the first failure) passing the updated state to each successive repetition.
Repeats this computation until the updated state satisfies the specified predicate (or until the first failure) passing the updated state to each successive repetition.
Attributes
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.
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.
Attributes
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.
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.
Attributes
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.
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.
Attributes
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.
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.
Attributes
Returns a successful computation if the value is Right, or fails with error None.
Returns a successful computation if the value is Right, or fails with error None.
Attributes
Runs this computation to produce its result.
Runs this computation to produce its result.
Attributes
Runs this computation with the specified initial state, returning both the updated state and the result.
Runs this computation with the specified initial state, returning both the updated state and the result.
Attributes
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.
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.
Attributes
Runs this computation to produce its result or the first failure to occur.
Runs this computation to produce its result or the first failure to occur.
Attributes
Runs this computation to produce its result and the log.
Runs this computation to produce its result and the log.
Attributes
Runs this computation with the specified initial state, returning the result and discarding the updated state.
Runs this computation with the specified initial state, returning the result and discarding the updated state.
Attributes
Runs this computation with the specified initial state, returning the updated state and discarding the result.
Runs this computation with the specified initial state, returning the updated state and discarding the result.
Attributes
Runs this computation to a ZValidation value.
Runs this computation to a ZValidation value.
Attributes
Exposes the full cause of failures of this computation.
Exposes the full cause of failures of this computation.
Attributes
Converts an option on values into an option on errors leaving the state unchanged.
Converts an option on values into an option on errors leaving the state unchanged.
Attributes
Extracts the optional value or returns the given 'default' leaving the state unchanged.
Extracts the optional value or returns the given 'default' leaving the state unchanged.
Attributes
Extracts the optional value or runs the specified computation passing the updated state from this computation.
Extracts the optional value or runs the specified computation passing the updated state from this computation.
Attributes
Extracts the optional value or fails with the given error 'e'.
Extracts the optional value or fails with the given error 'e'.
Attributes
Extracts the optional value or fails with a java.util.NoSuchElementException leaving the state unchanged.
Extracts the optional value or fails with a java.util.NoSuchElementException leaving the state unchanged.
Attributes
Transforms ZPure to ZIO that either succeeds with A or fails with error(s) E. The original state is supposed to be ().
Transforms ZPure to ZIO that either succeeds with A or fails with error(s) E. The original state is supposed to be ().
Attributes
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.
Attributes
Transforms ZPure to ZIO that either succeeds with Chunk[W], S2 and A or fails with error(s) E.
Transforms ZPure to ZIO that either succeeds with Chunk[W], S2 and A or fails with error(s) E.
Attributes
Transforms ZPure to ZIO that either succeeds with S2 and A or fails with error(s) E.
Transforms ZPure to ZIO that either succeeds with S2 and A or fails with error(s) E.
Attributes
Maps the value of this computation to unit.
Maps the value of this computation to unit.
Attributes
Submerges the full cause of failures of this computation.
Submerges the full cause of failures of this computation.
Attributes
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.
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.
Attributes
Combines this computation with the specified computation, passing the updated state from this computation to that computation and returning the result of this computation.
Combines this computation with the specified computation, passing the updated state from this computation to that computation and returning the result of this computation.
Attributes
Combines this computation with the specified computation, passing the updated state from this computation to that computation and returning the result of that computation.
Combines this computation with the specified computation, passing the updated state from this computation to that computation and returning the result of that computation.
Attributes
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.
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.