fields-cats/jap.fields/CatsInteropInstances0/FromCatsValidated

FromCatsValidated

class FromCatsValidated[K[_]](implicit A: Applicative[K], SK: SemigroupK[K]) extends AccumulateLike[[_] =>> ValidatedAccumulate[K, _$4]]

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

trait AccumulateLike[[_] =>> ValidatedAccumulate[K, _$4]]
trait Validated[[_] =>> ValidatedAccumulate[K, _$4]]
class Object
trait Matchable
class Any

Type members

Types

type V[E] = ValidatedAccumulate[K, E]

Value members

Concrete methods

def and[E](a: V[E], b: V[E]): V[E]
def invalid[E](e: E): V[E]
def isValid[E](v: V[E]): Boolean
def valid[E]: V[E]

Inherited methods

def andAll[E](list: List[ValidatedAccumulate[K, E]]): ValidatedAccumulate[K, E]

Combiness all list using AND

Combiness all list using AND

Inherited from:
Validated
def asError[E](v: ValidatedAccumulate[K, E])(error: E): ValidatedAccumulate[K, E]

Returns error if v is invalid

Returns error if v is invalid

Inherited from:
Validated
def asInvalid[E](v: ValidatedAccumulate[K, E])(invalid: ValidatedAccumulate[K, E]): ValidatedAccumulate[K, E]

Returns invalid if v is invalid

Returns invalid if v is invalid

Inherited from:
Validated
def isInvalid[E](v: ValidatedAccumulate[K, E]): Boolean

Checks if v is invalid

Checks if v is invalid

Inherited from:
Validated
def or[E](va: ValidatedAccumulate[K, E], vb: ValidatedAccumulate[K, E]): ValidatedAccumulate[K, E]

Combines a and b using OR

Combines a and b using OR

Inherited from:
Validated
def orAll[E](list: List[ValidatedAccumulate[K, E]]): ValidatedAccumulate[K, E]

Combiness all list using OR

Combiness all list using OR

Inherited from:
Validated
def sequence[E](list: List[ValidatedAccumulate[K, E]]): ValidatedAccumulate[K, E]

Validated.andAll alias

Validated.andAll alias

Inherited from:
Validated
def traverse[A, E](list: A*)(f: A => ValidatedAccumulate[K, E]): ValidatedAccumulate[K, E]

Traverse over list applying f to each element and combining all using Validated.sequence

Traverse over list applying f to each element and combining all using Validated.sequence

Inherited from:
Validated
def traverse[A, E](list: List[A])(f: A => ValidatedAccumulate[K, E]): ValidatedAccumulate[K, E]

Traverse over list applying f to each element and combining all using Validated.sequence

Traverse over list applying f to each element and combining all using Validated.sequence

Inherited from:
Validated
def unless[E](cond: Boolean)(v: => ValidatedAccumulate[K, E]): ValidatedAccumulate[K, E]

Returns v if cond is false else returns valid

Returns v if cond is false else returns valid

Inherited from:
Validated
def when[E](cond: Boolean)(v: => ValidatedAccumulate[K, E]): ValidatedAccumulate[K, E]

Returns v if cond is true else returns valid

Returns v if cond is true else returns valid

Inherited from:
Validated
def whenInvalid[E](v: ValidatedAccumulate[K, E])(f: ValidatedAccumulate[K, E] => ValidatedAccumulate[K, E]): ValidatedAccumulate[K, 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:
Validated
def whenValid[E](va: ValidatedAccumulate[K, E])(vb: => ValidatedAccumulate[K, E]): ValidatedAccumulate[K, E]

Returns o if a is valid else returns a

Returns o if a is valid else returns a

Inherited from:
Validated

Inherited fields