object validate extends ValidateCreation with ValidateInterpretation
- Alphabetic
- By Inheritance
- validate
- 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
catchWrong[R, E, A](effect: Eff[R, A])(handle: (E) ⇒ Eff[R, A])(implicit member: <=[[β$12$]Validate[E, β$12$], R]): Eff[R, A]
catch and handle possible wrong values
catch and handle possible wrong values
- Definition Classes
- ValidateInterpretation
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
correct[R, E, A](a: A)(implicit m: |=[[β$4$]Validate[E, β$4$], 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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
runMap[R, U, E, L, A](effect: Eff[R, A])(map: (E) ⇒ L)(implicit arg0: Semigroup[L], m: Aux[[β$10$]Validate[E, β$10$], 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[[β$9$]Validate[E, β$9$], 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[[β$8$]Validate[E, β$8$], 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: |=[[β$6$]Validate[E, β$6$], 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
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: |=[[β$7$]Validate[E, β$7$], 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( ... )
-
def
wrong[R, E](e: E)(implicit m: |=[[β$2$]Validate[E, β$2$], R]): Eff[R, Unit]
create a failed value
create a failed value
- Definition Classes
- ValidateCreation