Validation

object Validation
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

final case class And[I](left: Validation[I, Unit], right: Validation[I, Unit]) extends Validation[I, Unit]
final case class AndThen[I, X, O](left: Validation[I, X], right: Validation[X, O]) extends Validation[I, O]
sealed abstract class Collection[I] extends Validation[I, Unit]
Companion:
object
object Collection
Companion:
class
sealed abstract class Date extends Validation[Instant, Unit]
Companion:
object
object Date
Companion:
class
sealed abstract class Duration extends Validation[FiniteDuration, Unit]
Companion:
object
object Duration
Companion:
class
sealed abstract class Error extends Product with Serializable
Companion:
object
object Error
Companion:
class
final case class Errors(toNem: Type[History, NonEmptyList[Error]])
Companion:
object
object Errors
Companion:
class
final case class First[I, X, O](validation: Validation[I, O]) extends Validation[(I, X), (O, X)]
final case class Invalid(errors: NonEmptyList[Error]) extends Validation[Any, Nothing]
final case class Lift[I, O](f: I => O) extends Validation[I, O]
final case class Mapping[I, O](f: I => Option[O], references: Option[Set[I]])(implicit evidence$2: Show[I]) extends Validation[I, O]
final case class Modify[I, O](validation: Validation[I, O], f: NonEmptyList[Error] => NonEmptyList[Error]) extends Validation[I, O]
final case class Not[I](validation: Validation[I, Unit]) extends Validation[I, Unit]
final case class Number[I](operator: Operator, reference: I, delta: I)(implicit evidence$1: Numeric[I]) extends Validation[I, Unit]
Companion:
object
object Number
Companion:
class
final implicit implicit class Ops[I, O](val validation: Validation[I, O]) extends AnyVal
object Optional
final case class Or[I, O](left: Validation[I, O], right: Validation[I, O]) extends Validation[I, O]
final case class Parsing[O](name: String, parse: String => Option[O]) extends Validation[String, O]
sealed abstract class Text[O] extends Validation[String, O]
Companion:
object
object Text
Companion:
class
final implicit implicit class UnitOps[I](val validation: Validation[I, Unit]) extends AnyVal

Value members

Concrete methods

def ask[A]: Validation[A, A]
def invalid[A](errors: NonEmptyList[Error]): Validation[Any, Nothing]
def invalidNel[A](error: Error): Validation[Any, Nothing]
def valid[A](value: A): Validation[Any, A]

Implicits

Implicits

final implicit def Ops[I, O](validation: Validation[I, O]): Ops[I, O]
final implicit def UnitOps[I](validation: Validation[I, Unit]): UnitOps[I]
implicit val arrow: Arrow[Validation]