Fields
v1.0.0
API
Generated with
Fields/fields/CatsInteropInstances0/FromCatsValidated

FromCatsValidated

fields.CatsInteropInstances0.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

Attributes

Source
CatsInterop.scala
Graph
Supertypes
trait AccumulateLike[[_] =>> ValidatedAccumulate[K, _$4]]
trait Validated[[_] =>> ValidatedAccumulate[K, _$4]]
class Object
trait Matchable
class Any

Members list

Type members

Types

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

Attributes

Source
CatsInterop.scala

Value members

Concrete methods

def and[E](a: V[E], b: V[E]): V[E]

Combines a and b using AND

Combines a and b using AND

Attributes

Source
CatsInterop.scala
def invalid[E](e: E): V[E]

Returns invalid V[E] with given error

Returns invalid V[E] with given error

Attributes

Source
CatsInterop.scala
def isValid[E](v: V[E]): Boolean

Checks if v is valid

Checks if v is valid

Attributes

Source
CatsInterop.scala
def map[E](v: V[E])(f: E => E): V[E]

Attributes

Source
CatsInterop.scala
def valid[E]: V[E]

Returns valid V[E]

Returns valid V[E]

Attributes

Source
CatsInterop.scala

Inherited methods

def andAll[E](list: List[ValidatedAccumulate[K, E]]): [_] =>> ValidatedAccumulate[K, _$4][E]

Combines all list using AND from left to right.

Combines all list using AND from left to right.

Attributes

Inherited from:
Validated
Source
Validated.scala
def asError[E](v: ValidatedAccumulate[K, E])(error: E): [_] =>> ValidatedAccumulate[K, _$4][E]

Returns error if v is invalid

Returns error if v is invalid

Attributes

Inherited from:
Validated
Source
Validated.scala
def asInvalid[E](v: ValidatedAccumulate[K, E])(invalid: ValidatedAccumulate[K, E]): [_] =>> ValidatedAccumulate[K, _$4][E]

Returns invalid if v is invalid

Returns invalid if v is invalid

Attributes

Inherited from:
Validated
Source
Validated.scala
def invalidAll[E](list: E*): [_] =>> ValidatedAccumulate[K, _$4][E]

Combines all errors in single result

Combines all errors in single result

Attributes

Inherited from:
Validated
Source
Validated.scala
def invalidAll[E](list: List[E]): [_] =>> ValidatedAccumulate[K, _$4][E]

Combines all errors in single result

Combines all errors in single result

Attributes

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

Checks if v is invalid

Checks if v is invalid

Attributes

Inherited from:
Validated
Source
Validated.scala
def or[E](va: ValidatedAccumulate[K, E], vb: ValidatedAccumulate[K, E]): [_] =>> ValidatedAccumulate[K, _$4][E]

Combines a and b using OR

Combines a and b using OR

Attributes

Inherited from:
Validated
Source
Validated.scala
def orAll[E](list: List[ValidatedAccumulate[K, E]]): [_] =>> ValidatedAccumulate[K, _$4][E]

Combines all list using OR from left to right.

Combines all list using OR from left to right.

Attributes

Inherited from:
Validated
Source
Validated.scala
def sequence[E](list: List[ValidatedAccumulate[K, E]]): [_] =>> ValidatedAccumulate[K, _$4][E]

Validated.andAll alias

Validated.andAll alias

Attributes

Inherited from:
Validated
Source
Validated.scala
def traverse[A, E](list: A*)(f: A => ValidatedAccumulate[K, E]): [_] =>> ValidatedAccumulate[K, _$4][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

Attributes

Inherited from:
Validated
Source
Validated.scala
def traverse[A, E](list: List[A])(f: A => ValidatedAccumulate[K, E]): [_] =>> ValidatedAccumulate[K, _$4][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

Attributes

Inherited from:
Validated
Source
Validated.scala
def unless[E](cond: Boolean)(v: => ValidatedAccumulate[K, E]): [_] =>> ValidatedAccumulate[K, _$4][E]

Returns v if cond is false else returns valid

Returns v if cond is false else returns valid

Attributes

Inherited from:
Validated
Source
Validated.scala
def when[E](cond: Boolean)(v: => ValidatedAccumulate[K, E]): [_] =>> ValidatedAccumulate[K, _$4][E]

Returns v if cond is true else returns valid

Returns v if cond is true else returns valid

Attributes

Inherited from:
Validated
Source
Validated.scala
def whenInvalid[E](v: ValidatedAccumulate[K, E])(f: (ValidatedAccumulate[K, E]) => ValidatedAccumulate[K, E]): [_] =>> ValidatedAccumulate[K, _$4][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

Attributes

Inherited from:
Validated
Source
Validated.scala
def whenValid[E](va: ValidatedAccumulate[K, E])(vb: => ValidatedAccumulate[K, E]): [_] =>> ValidatedAccumulate[K, _$4][E]

Returns o if a is valid else returns a

Returns o if a is valid else returns a

Attributes

Inherited from:
Validated
Source
Validated.scala
Generated with