fields-cats/jap.fields/CatsInteropInstances0/FromCatsValidated

FromCatsValidated

class FromCatsValidated[L[_]](implicit A: Applicative[L], SK: SemigroupK[L], F: Foldable[L]) extends AccumulateLike[[_] =>> ValidatedUK[L, _$4]]

ValidationResult instance for cats.data.Validated where error is collection type like cats.data.NonEmptyList or cats.data.NonEmptyChain

trait AccumulateLike[[_] =>> ValidatedUK[L, _$4]]
trait ValidationResult[[_] =>> ValidatedUK[L, _$4]]
class Object
trait Matchable
class Any

Type members

Inherited types

type TypeClass[E] = VR[E]
Inherited from:
ValidationResult

Value members

Concrete methods

def and[E](a: TypeClass[E], b: TypeClass[E]): TypeClass[E]
def errors[E](vr: TypeClass[E]): List[E]
def invalid[E](e: E): TypeClass[E]
def isValid[E](e: TypeClass[E]): Boolean
def map[E, B](a: TypeClass[E])(f: E => B): TypeClass[B]
def valid[E]: TypeClass[E]

Inherited methods

def andAll[E](results: List[ValidatedUK[L, E]]): ValidatedUK[L, E]

Combiness all results using AND

Combiness all results using AND

Inherited from:
ValidationResult
def asError[E](vr: ValidatedUK[L, E])(error: E): ValidatedUK[L, E]

Returns error if vr is invalid

Returns error if vr is invalid

Inherited from:
ValidationResult
def asInvalid[E](vr: ValidatedUK[L, E])(invalid: ValidatedUK[L, E]): ValidatedUK[L, E]

Returns invalid if vr is invalid

Returns invalid if vr is invalid

Inherited from:
ValidationResult
def invalidMany[E](eh: E, et: E*): ValidatedUK[L, E]

Returns invalid VR[E] provided errors. Override this for perfomance

Returns invalid VR[E] provided errors. Override this for perfomance

Inherited from:
ValidationResult
def isInvalid[E](vr: ValidatedUK[L, E]): Boolean

Checks if vr is invalid

Checks if vr is invalid

Inherited from:
ValidationResult
def or[E](a: ValidatedUK[L, E], b: ValidatedUK[L, E]): ValidatedUK[L, E]

Combines a and b using OR

Combines a and b using OR

Inherited from:
ValidationResult
def orAll[E](results: List[ValidatedUK[L, E]]): ValidatedUK[L, E]

Combiness all results using OR

Combiness all results using OR

Inherited from:
ValidationResult
def sequence[E](results: List[ValidatedUK[L, E]]): ValidatedUK[L, E]

Combiness all results using AND

Combiness all results using AND

Inherited from:
ValidationResult
def traverse[A, E](a: A*)(error: A => ValidatedUK[L, E]): ValidatedUK[L, E]
Inherited from:
ValidationResult
def traverse[A, E](a: List[A])(error: A => ValidatedUK[L, E]): ValidatedUK[L, E]
Inherited from:
ValidationResult
def unless[E](cond: Boolean)(vr: => ValidatedUK[L, E]): ValidatedUK[L, E]

Returns vr if cond is false else returns valid

Returns vr if cond is false else returns valid

Inherited from:
ValidationResult
def when[E](cond: Boolean)(vr: => ValidatedUK[L, E]): ValidatedUK[L, E]

Returns vr if cond is true else returns valid

Returns vr if cond is true else returns valid

Inherited from:
ValidationResult
def whenInvalid[E](a: ValidatedUK[L, E])(f: ValidatedUK[L, E] => ValidatedUK[L, E]): ValidatedUK[L, E]

Returns f applied to a if a is invalid else returns a

Returns f applied to a if a is invalid else returns a

Inherited from:
ValidationResult
def whenValid[E](a: ValidatedUK[L, E])(b: => ValidatedUK[L, E]): ValidatedUK[L, E]

Returns b if a is valid else returns a

Returns b if a is valid else returns a

Inherited from:
ValidationResult

Inherited fields

val strategy: Strategy
Inherited from:
AccumulateLike