trait ValidateEffect extends ValidateCreation with ValidateInterpretation
Effect for computation which can fail but will accumulate errors
The runValidate interpreter just collects the messages and returns them at the end
- Source
- ValidateEffect.scala
- Alphabetic
- By Inheritance
- ValidateEffect
- ValidateInterpretation
- ValidateCreation
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def catchAllWrongs[R, E, A](effect: Eff[R, A])(handle: (NonEmptyList[E]) => Eff[R, A])(implicit member: <=[[β$23$]Validate[E, β$23$], R]): Eff[R, A]
catch and handle all wrong values
catch and handle all wrong values
- Definition Classes
- ValidateInterpretation
- def catchFirstWrong[R, E, A](effect: Eff[R, A])(handle: (E) => Eff[R, A])(implicit member: <=[[β$21$]Validate[E, β$21$], R]): Eff[R, A]
catch and handle the first wrong value
catch and handle the first wrong value
- Definition Classes
- ValidateInterpretation
- def catchLastWrong[R, E, A](effect: Eff[R, A])(handle: (E) => Eff[R, A])(implicit member: <=[[β$22$]Validate[E, β$22$], R]): Eff[R, A]
catch and handle the last wrong value
catch and handle the last wrong value
- Definition Classes
- ValidateInterpretation
- def catchWrongs[R, E, A, S[_]](effect: Eff[R, A])(handle: (S[E]) => Eff[R, A])(implicit arg0: Applicative[S], member: <=[[β$19$]Validate[E, β$19$], R], semi: Semigroup[S[E]]): Eff[R, A]
catch and handle possible wrong values
catch and handle possible wrong values
- Definition Classes
- ValidateInterpretation
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def correct[R, E, A](a: A)(implicit m: |=[[β$5$]Validate[E, β$5$], R]): Eff[R, A]
create a correct value
create a correct value
- Definition Classes
- ValidateCreation
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def runIorMap[R, U, E, L, A](effect: Eff[R, A])(map: (E) => L)(implicit arg0: Semigroup[L], m: Aux[[β$16$]Validate[E, β$16$], 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
- Definition Classes
- ValidateInterpretation
- def runIorNel[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[β$15$]Validate[E, β$15$], 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
- Definition Classes
- ValidateInterpretation
- def runMap[R, U, E, L, A](effect: Eff[R, A])(map: (E) => L)(implicit arg0: Semigroup[L], m: Aux[[β$14$]Validate[E, β$14$], 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
- Definition Classes
- ValidateInterpretation
- def runNel[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[β$13$]Validate[E, β$13$], 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
- Definition Classes
- ValidateInterpretation
- def runValidatedNel[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[β$12$]Validate[E, β$12$], R, U]): Eff[U, ValidatedNel[E, A]]
run the validate effect, yielding a ValidatedNel
run the validate effect, yielding a ValidatedNel
- Definition Classes
- ValidateInterpretation
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def validateCheck[R, E](condition: Boolean, e: => E)(implicit m: |=[[β$10$]Validate[E, β$10$], R]): Eff[R, Unit]
check a correct condition
check a correct condition
- Definition Classes
- ValidateCreation
- def validateEither[R, E, A](either: Either[E, A])(implicit m: |=[[β$1$]Validate[E, β$1$], R]): Eff[R, Unit]
create an Validate effect from a single Either value
create an Validate effect from a single Either value
- Definition Classes
- ValidateCreation
- def validateIor[R, E, A](ior: Ior[E, A])(implicit m: |=[[β$2$]Validate[E, β$2$], R]): Eff[R, Unit]
create an Validate effect from a single Ior value
create an Validate effect from a single Ior value
- Definition Classes
- ValidateCreation
- def validateOption[R, E, A](option: Option[A], e: => E)(implicit m: |=[[β$0$]Validate[E, β$0$], R]): Eff[R, Unit]
create an Validate effect from a single Option value
create an Validate effect from a single Option value
- Definition Classes
- ValidateCreation
- def validateValue[R, E, A](condition: Boolean, a: => A, e: => E)(implicit m: |=[[β$11$]Validate[E, β$11$], R]): Eff[R, A]
check a correct value
check a correct value
- Definition Classes
- ValidateCreation
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def warning[R, E, A](a: A, e: E)(implicit m: |=[[β$9$]Validate[E, β$9$], R]): Eff[R, A]
create a correct value with warning
create a correct value with warning
- Definition Classes
- ValidateCreation
- def warning[R, E](e: E)(implicit m: |=[[β$7$]Validate[E, β$7$], R]): Eff[R, Unit]
create a pure warning
create a pure warning
- Definition Classes
- ValidateCreation
- def wrong[R, E](e: E)(implicit m: |=[[β$3$]Validate[E, β$3$], R]): Eff[R, Unit]
create a failed value
create a failed value
- Definition Classes
- ValidateCreation