zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/ZValidation

ZValidation

zio.prelude.ZValidation
See theZValidation companion trait
object ZValidation extends LowPriorityValidationImplicits

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Classlikes

final case class Failure[+W, +E](log: Chunk[W], errors: NonEmptyChunk[E]) extends ZValidation[W, E, Nothing]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ZValidation[W, E, Nothing]
class Object
trait Matchable
class Any
Show all
final case class Success[+W, +A](log: Chunk[W], value: A) extends ZValidation[W, Nothing, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ZValidation[W, Nothing, A]
class Object
trait Matchable
class Any
Show all

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def apply[A](a: => A): Validation[Throwable, A]

Attempts to evaluate the specified value, catching any error that occurs during evaluation and capturing it as a failure.

Attempts to evaluate the specified value, catching any error that occurs during evaluation and capturing it as a failure.

Attributes

def fail[E](error: E): Validation[E, Nothing]

Constructs a ZValidation that fails with the specified error.

Constructs a ZValidation that fails with the specified error.

Attributes

def failNonEmptyChunk[E](errors: NonEmptyChunk[E]): Validation[E, Nothing]

Constructs a ZValidation that fails with the specified NonEmptyChunk of errors.

Constructs a ZValidation that fails with the specified NonEmptyChunk of errors.

Attributes

def fromEither[E, A](value: Either[E, A]): Validation[E, A]

Constructs a ZValidation from an Either.

Constructs a ZValidation from an Either.

Attributes

def fromEitherNonEmptyChunk[E, A](value: Either[NonEmptyChunk[E], A]): Validation[E, A]

Constructs a ZValidation from an Either that fails with a NonEmptyChunk of errors.

Constructs a ZValidation from an Either that fails with a NonEmptyChunk of errors.

Attributes

def fromOption[A](value: Option[A]): Validation[Unit, A]

Constructs a ZValidation from an Option.

Constructs a ZValidation from an Option.

Attributes

def fromOptionWith[E, A](error: => E)(value: Option[A]): Validation[E, A]

Constructs a Validation from an Option, failing with the error provided.

Constructs a Validation from an Option, failing with the error provided.

Attributes

def fromPredicate[A](value: A)(f: A => Boolean): Validation[None.type, A]

Constructs a Validation from a predicate, failing with None.

Constructs a Validation from a predicate, failing with None.

Attributes

def fromPredicateWith[E, A](error: => E)(value: A)(f: A => Boolean): Validation[E, A]

Constructs a Validation from a predicate, failing with the error provided.

Constructs a Validation from a predicate, failing with the error provided.

Attributes

def fromTry[A](value: => Try[A]): Validation[Throwable, A]

Constructs a ZValidation from a Try.

Constructs a ZValidation from a Try.

Attributes

def log[W](w: W): ZValidation[W, Nothing, Unit]

Constructs a ZValidation that succeeds with the Unit value with a log containing the specified entry.

Constructs a ZValidation that succeeds with the Unit value with a log containing the specified entry.

Attributes

def noneOrFail[E](option: Option[E]): Validation[E, Unit]

Converts an Option to a ZValidation, treating None as a success with no information and Some as a failure with the specified error.

Converts an Option to a ZValidation, treating None as a success with no information and Some as a failure with the specified error.

Attributes

def partition[F[_] : IdentityEither, W, E, A, B](fa: F[A])(f: A => ZValidation[W, E, B]): ZValidation[W, Nothing, (F[E], F[B])]

Validates each element in a collection, collecting the results into a collection of failed results and a collection of successful results.

Validates each element in a collection, collecting the results into a collection of failed results and a collection of successful results.

Attributes

def succeed[A](value: A): Validation[Nothing, A]

Constructs a Validation that succeeds with the specified value.

Constructs a Validation that succeeds with the specified value.

Attributes

def validate[W, E, A0, A1](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1]): ZValidation[W, E, (A0, A1)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2]): ZValidation[W, E, (A0, A1, A2)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3]): ZValidation[W, E, (A0, A1, A2, A3)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4]): ZValidation[W, E, (A0, A1, A2, A3, A4)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16], a17: ZValidation[W, E, A17]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16], a17: ZValidation[W, E, A17], a18: ZValidation[W, E, A18]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16], a17: ZValidation[W, E, A17], a18: ZValidation[W, E, A18], a19: ZValidation[W, E, A19]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16], a17: ZValidation[W, E, A17], a18: ZValidation[W, E, A18], a19: ZValidation[W, E, A19], a20: ZValidation[W, E, A20]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validate[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16], a17: ZValidation[W, E, A17], a18: ZValidation[W, E, A18], a19: ZValidation[W, E, A19], a20: ZValidation[W, E, A20], a21: ZValidation[W, E, A21]): ZValidation[W, E, (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21)]

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values into a tuple, failing with the accumulation of all errors if any fail.

Attributes

def validateAll[F[_] : ForEach, W, E, A](validations: F[ZValidation[W, E, A]]): ZValidation[W, E, F[A]]

Combine a collection of ZValidation values into a single ZValidation that either returns the values of all of them, if they all succeed, or else fails with all of their errors.

Combine a collection of ZValidation values into a single ZValidation that either returns the values of all of them, if they all succeed, or else fails with all of their errors.

Attributes

def validateAll[W, E, A](validations: Set[ZValidation[W, E, A]]): ZValidation[W, E, Set[A]]

Combine a set of ZValidation values into a single ZValidation that either returns the values of all of them, if they all succeed, or else fails with all of their errors.

Combine a set of ZValidation values into a single ZValidation that either returns the values of all of them, if they all succeed, or else fails with all of their errors.

Attributes

def validateWith[W, E, A0, A1, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1])(f: (A0, A1) => B): ZValidation[W, E, B]

Combines the results of the specified ZValidation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified ZValidation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2])(f: (A0, A1, A2) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3])(f: (A0, A1, A2, A3) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4])(f: (A0, A1, A2, A3, A4) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5])(f: (A0, A1, A2, A3, A4, A5) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6])(f: (A0, A1, A2, A3, A4, A5, A6) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7])(f: (A0, A1, A2, A3, A4, A5, A6, A7) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16], a17: ZValidation[W, E, A17])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16], a17: ZValidation[W, E, A17], a18: ZValidation[W, E, A18])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16], a17: ZValidation[W, E, A17], a18: ZValidation[W, E, A18], a19: ZValidation[W, E, A19])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16], a17: ZValidation[W, E, A17], a18: ZValidation[W, E, A18], a19: ZValidation[W, E, A19], a20: ZValidation[W, E, A20])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

def validateWith[W, E, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, B](a0: ZValidation[W, E, A0], a1: ZValidation[W, E, A1], a2: ZValidation[W, E, A2], a3: ZValidation[W, E, A3], a4: ZValidation[W, E, A4], a5: ZValidation[W, E, A5], a6: ZValidation[W, E, A6], a7: ZValidation[W, E, A7], a8: ZValidation[W, E, A8], a9: ZValidation[W, E, A9], a10: ZValidation[W, E, A10], a11: ZValidation[W, E, A11], a12: ZValidation[W, E, A12], a13: ZValidation[W, E, A13], a14: ZValidation[W, E, A14], a15: ZValidation[W, E, A15], a16: ZValidation[W, E, A16], a17: ZValidation[W, E, A17], a18: ZValidation[W, E, A18], a19: ZValidation[W, E, A19], a20: ZValidation[W, E, A20], a21: ZValidation[W, E, A21])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21) => B): ZValidation[W, E, B]

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Combines the results of the specified Validation values using the function f, failing with the accumulation of all errors if any fail.

Attributes

Concrete fields

val unit: Validation[Nothing, Unit]

The Validation that succeeds with the Unit value.

The Validation that succeeds with the Unit value.

Attributes

Implicits

Implicits

implicit def ZValidationCovariant[W, E]: Covariant[{ type lambda = [a] =>> ZValidation[W, E, a]; }#<none>]

The Covariant instance for ZValidation.

The Covariant instance for ZValidation.

Attributes

implicit def ZValidationDebug[W : Debug, E : Debug, A : Debug]: Debug[ZValidation[W, E, A]]

Derives a Debug[ZValidation[W, E, A]] given a Debug[W], aDebug[E], and aDebug[A]`.

Derives a Debug[ZValidation[W, E, A]] given a Debug[W], aDebug[E], and aDebug[A]`.

Attributes

implicit def ZValidationDeriveEqual[W, E]: DeriveEqual[{ type lambda = [a] =>> ZValidation[W, E, a]; }#<none>]

The DeriveEqual instance for ZValidation.

The DeriveEqual instance for ZValidation.

Attributes

implicit def ZValidationEqual[W, E, A : Equal]: Equal[ZValidation[W, E, A]]

Derives an Equal[ZValidation[W, E, A]] given an Equal[A].

Derives an Equal[ZValidation[W, E, A]] given an Equal[A].

Attributes

implicit def ZValidationFailureCovariant[W, A]: Covariant[{ type lambda = [e] =>> newtypeF.Type[ZValidation[W, e, A]]; }#<none>]

The Covariant instance for ZValidation with respect to its error type.

The Covariant instance for ZValidation with respect to its error type.

Attributes

implicit def ZValidationFailureDeriveEqual[W, A : Equal]: DeriveEqual[{ type lambda = [e] =>> newtypeF.Type[ZValidation[W, e, A]]; }#<none>]

The DeriveEqual instance for ZValidation with respect to its error type.

The DeriveEqual instance for ZValidation with respect to its error type.

Attributes

implicit def ZValidationForEach[W, E]: ForEach[{ type lambda = [a] =>> ZValidation[W, E, a]; }#<none>]

The ForEach instance for ZValidation.

The ForEach instance for ZValidation.

Attributes

implicit def ZValidationIdentityBoth[W, E]: IdentityBoth[{ type lambda = [a] =>> ZValidation[W, E, a]; }#<none>]

The IdentityBoth instance for ZValidation.

The IdentityBoth instance for ZValidation.

Attributes

implicit def ZValidationIdentityFlatten[W, E]: IdentityFlatten[{ type lambda = [a] =>> ZValidation[W, E, a]; }#<none>]

The IdentityFlatten instance for ZValidation.

The IdentityFlatten instance for ZValidation.

Attributes

implicit def ZValidationPartialOrd[W, E, A : PartialOrd]: PartialOrd[ZValidation[W, E, A]]

Derives a PartialOrd[ZValidation[W, E, A]] given an Ord[E] and an Ord[A].

Derives a PartialOrd[ZValidation[W, E, A]] given an Ord[E] and an Ord[A].

Attributes

Inherited implicits

implicit def ZValidationCommutativeBoth[W, E]: CommutativeBoth[{ type lambda = [a] =>> ZValidation[W, E, a]; }#<none>]

The CommutativeBoth instance for Validation.

The CommutativeBoth instance for Validation.

Attributes

Inherited from:
LowPriorityValidationImplicits
implicit def ZValidationHash[W, E, A : Hash]: Hash[ZValidation[W, E, A]]

Derives a Hash[ZValidation[W, E, A]] given a Hash[A].

Derives a Hash[ZValidation[W, E, A]] given a Hash[A].

Attributes

Inherited from:
LowPriorityValidationImplicits
Generated with