Validation

object Validation
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

final class CatchOnlyBuilder[T >: Null <: Throwable]
final implicit implicit class Ops[I, O](val validation: Validation[I, O]) extends AnyVal

Value members

Concrete methods

def ask[A]: Validation[A, A]
def catchOnly[T >: Null <: Throwable]: CatchOnlyBuilder[T]
def cond[I](constraints: NonEmptyList[Constraint])(f: I => Boolean): Validation[I, Unit]
def condNel[I](constraint: Constraint)(f: I => Boolean): Validation[I, Unit]
def fromOption[I, O](constraints: NonEmptyList[Constraint])(f: I => Option[O]): Validation[I, O]
def fromOptionNel[I, O](constraint: Constraint)(f: I => Option[O]): Validation[I, O]
def invalid(errors: NonEmptyList[Violation]): Validation[Any, Unit]
def invalidNel(error: Violation): Validation[Any, Unit]
def lift[A, B](f: A => B): Validation[A, B]
def valid[O](value: => O): Validation[Any, O]

Implicits

Implicits

final implicit def Ops[I, O](validation: Validation[I, O]): Ops[I, O]
implicit def applicative[I]: Applicative[[_] =>> Validation[I, _$12]]
implicit val arrow: Arrow[Validation]