trait ValidateInterpretation extends ValidateCreation
- Alphabetic
- By Inheritance
- ValidateInterpretation
- ValidateCreation
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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
-
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
-
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
-
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
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @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: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- 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
-
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
-
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
-
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
-
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
-
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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @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
Deprecated Value Members
-
def
catchWrong[R, E, A](effect: Eff[R, A])(handle: (E) ⇒ Eff[R, A])(implicit member: <=[[β$24$]Validate[E, β$24$], R]): Eff[R, A]
catch and handle possible wrong values
catch and handle possible wrong values
- Annotations
- @deprecated
- Deprecated
(Since version 5.4.2) Use catchFirstWrong or more general catchWrongs instead