core/org.atnos.eff/ValidateEffect

ValidateEffect

trait ValidateEffect extends ValidateCreation with ValidateInterpretation

Effect for computation which can fail but will accumulate errors

Effect for computation which can fail but will accumulate errors

The runValidate interpreter just collects the messages and returns them at the end

Companion
object
class Object
trait Matchable
class Any
object all

Value members

Inherited methods

def catchAllWrongs[R, E, A](effect: Eff[R, A])(handle: NonEmptyList[E] => Eff[R, A])(member: Member[[_] =>> Validate[E, _$36], R]): Eff[R, A]

catch and handle all wrong values

catch and handle all wrong values

Inherited from
ValidateInterpretation
def catchFirstWrong[R, E, A](effect: Eff[R, A])(handle: E => Eff[R, A])(member: Member[[_] =>> Validate[E, _$32], R]): Eff[R, A]

catch and handle the first wrong value

catch and handle the first wrong value

Inherited from
ValidateInterpretation
def catchLastWrong[R, E, A](effect: Eff[R, A])(handle: E => Eff[R, A])(member: Member[[_] =>> Validate[E, _$34], R]): Eff[R, A]

catch and handle the last wrong value

catch and handle the last wrong value

Inherited from
ValidateInterpretation
def catchWrongs[R, E, A, S[_]](effect: Eff[R, A])(handle: S[E] => Eff[R, A])(`evidence$4`: Applicative[S], member: Member[[_] =>> Validate[E, _$29], R], semi: Semigroup[S[E]]): Eff[R, A]

catch and handle possible wrong values

catch and handle possible wrong values

Inherited from
ValidateInterpretation
def correct[R, E, A](a: A)(m: MemberIn[[_] =>> Validate[E, _$10], R]): Eff[R, A]

create a correct value

create a correct value

Inherited from
ValidateCreation
def runIorMap[R, U, E, L, A](effect: Eff[R, A])(map: E => L)(`evidence$2`: Semigroup[L], m: Aux[[_] =>> Validate[E, _$22], R, U]): Eff[U, Ior[L, A]]

run the validate effect, yielding a list of failures or A or both

run the validate effect, yielding a list of failures or A or both

Inherited from
ValidateInterpretation
def runIorNel[R, U, E, A](r: Eff[R, A])(m: Aux[[_] =>> Validate[E, _$21], R, U]): Eff[U, IorNel[E, A]]

run the validate effect, yielding a non-empty list of failures or A or both

run the validate effect, yielding a non-empty list of failures or A or both

Inherited from
ValidateInterpretation
def runMap[R, U, E, L, A](effect: Eff[R, A])(map: E => L)(`evidence$1`: Semigroup[L], m: Aux[[_] =>> Validate[E, _$19], R, U]): Eff[U, Either[L, A]]

run the validate effect, yielding a list of failures Either A

run the validate effect, yielding a list of failures Either A

Inherited from
ValidateInterpretation
def runNel[R, U, E, A](r: Eff[R, A])(m: Aux[[_] =>> Validate[E, _$18], R, U]): Eff[U, Either[NonEmptyList[E], A]]

run the validate effect, yielding a non-empty list of failures Either A

run the validate effect, yielding a non-empty list of failures Either A

Inherited from
ValidateInterpretation
def runValidatedNel[R, U, E, A](r: Eff[R, A])(m: Aux[[_] =>> Validate[E, _$17], R, U]): Eff[U, ValidatedNel[E, A]]

run the validate effect, yielding a ValidatedNel

run the validate effect, yielding a ValidatedNel

Inherited from
ValidateInterpretation
def validateCheck[R, E](condition: Boolean, e: => E)(m: MemberIn[[_] =>> Validate[E, _$15], R]): Eff[R, Unit]

check a correct condition

check a correct condition

Inherited from
ValidateCreation
def validateEither[R, E, A](either: Either[E, A])(m: MemberIn[[_] =>> Validate[E, _$3], R]): Eff[R, Unit]

create an Validate effect from a single Either value

create an Validate effect from a single Either value

Inherited from
ValidateCreation
def validateIor[R, E, A](ior: Ior[E, A])(m: MemberIn[[_] =>> Validate[E, _$5], R]): Eff[R, Unit]

create an Validate effect from a single Ior value

create an Validate effect from a single Ior value

Inherited from
ValidateCreation
def validateOption[R, E, A](option: Option[A], e: => E)(m: MemberIn[[_] =>> Validate[E, _$1], R]): Eff[R, Unit]

create an Validate effect from a single Option value

create an Validate effect from a single Option value

Inherited from
ValidateCreation
def validateValue[R, E, A](condition: Boolean, a: => A, e: => E)(m: MemberIn[[_] =>> Validate[E, _$16], R]): Eff[R, A]

check a correct value

check a correct value

Inherited from
ValidateCreation
def warning[R, E, A](a: A, e: E)(m: MemberIn[[_] =>> Validate[E, _$14], R]): Eff[R, A]

create a correct value with warning

create a correct value with warning

Inherited from
ValidateCreation
def warning[R, E](e: E)(m: MemberIn[[_] =>> Validate[E, _$12], R]): Eff[R, Unit]

create a pure warning

create a pure warning

Inherited from
ValidateCreation
def wrong[R, E](e: E)(m: MemberIn[[_] =>> Validate[E, _$8], R]): Eff[R, Unit]

create a failed value

create a failed value

Inherited from
ValidateCreation

Deprecated and Inherited methods

@deprecated("Use catchFirstWrong or more general catchWrongs instead", "5.4.2")
def catchWrong[R, E, A](effect: Eff[R, A])(handle: E => Eff[R, A])(member: Member[[_] =>> Validate[E, _$37], R]): Eff[R, A]

catch and handle possible wrong values

catch and handle possible wrong values

Deprecated
Inherited from
ValidateInterpretation