Formal Verification for Scala

Fixes #2739.

import zio.prelude.Validation


def method[E, A](list: Validation[E, A]*): Validation[E, List[A]] =
 list.foldLeft(Validation.succeed(List.empty[A]): Validation[E, List[A]]) {
   case (acc, next) => Validation.validateWith(acc, next)(_ :+ _)
 }


// tests
def validateInt(s: String): Validation[String, Int] =
 Validation(s.toInt).mapError(_.getMessage)

def validatePositive(age: Int): Validation[String, Int] =
 Validation.fromPredicateWith(s"less than zero")(age)(_ > 0)

method(validateInt("dfgdf"), validatePositive(10))
method(validateInt("10"), validatePositive(-1))
method(validateInt("asdsad"), validatePositive(-1))
method(validateInt("10"), validatePositive(123))

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration - zio-prelude/ZValidation.scala at 1583d4b8cf61d4fceebea0e0da4f77a215f177f0 · zio/zio-prelude