ValidateEffect

org.atnos.eff.ValidateEffect
See theValidateEffect companion object

Effect for computation which can fail but will accumulate errors

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

Attributes

Companion:
object
Source:
ValidateEffect.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ValidateEffect.type
object all.type

Members list

Concise view

Value members

Inherited methods

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

catch and handle all wrong values

catch and handle all wrong values

Attributes

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

catch and handle the first wrong value

catch and handle the first wrong value

Attributes

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

catch and handle the last wrong value

catch and handle the last wrong value

Attributes

Inherited from:
ValidateInterpretation
Source:
ValidateEffect.scala
def catchWrongs[R, E, A, S[_] : Applicative](effect: Eff[R, A])(handle: S[E] => Eff[R, A])(implicit 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

Attributes

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

create a correct value

create a correct value

Attributes

Inherited from:
ValidateCreation
Source:
ValidateEffect.scala
def runIorMap[R, U, E, L : Semigroup, A](effect: Eff[R, A])(map: E => L)(implicit 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

Attributes

Inherited from:
ValidateInterpretation
Source:
ValidateEffect.scala
def runIorNel[R, U, E, A](r: Eff[R, A])(implicit 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

Attributes

Inherited from:
ValidateInterpretation
Source:
ValidateEffect.scala
def runMap[R, U, E, L : Semigroup, A](effect: Eff[R, A])(map: E => L)(implicit 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

Attributes

Inherited from:
ValidateInterpretation
Source:
ValidateEffect.scala
def runNel[R, U, E, A](r: Eff[R, A])(implicit 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

Attributes

Inherited from:
ValidateInterpretation
Source:
ValidateEffect.scala
def runValidatedNel[R, U, E, A](r: Eff[R, A])(implicit 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

Attributes

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

check a correct condition

check a correct condition

Attributes

Inherited from:
ValidateCreation
Source:
ValidateEffect.scala
def validateEither[R, E, A](either: Either[E, A])(implicit 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

Attributes

Inherited from:
ValidateCreation
Source:
ValidateEffect.scala
def validateIor[R, E, A](ior: Ior[E, A])(implicit 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

Attributes

Inherited from:
ValidateCreation
Source:
ValidateEffect.scala
def validateOption[R, E, A](option: Option[A], e: => E)(implicit 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

Attributes

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

check a correct value

check a correct value

Attributes

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

create a correct value with warning

create a correct value with warning

Attributes

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

create a pure warning

create a pure warning

Attributes

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

create a failed value

create a failed value

Attributes

Inherited from:
ValidateCreation
Source:
ValidateEffect.scala