trait
ValidateInterpretation extends ValidateCreation
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
correct[R, E, A](a: A)(implicit m: Member[[β]Validate[E, β], R]): Eff[R, A]
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
runMap[R <: Effects, U <: Effects, E, L, A](r: Eff[R, A])(map: (E) ⇒ L)(implicit arg0: Semigroup[L], m: Aux[[β]Validate[E, β], R, U]): Eff[U, Xor[L, A]]
-
def
runNel[R <: Effects, U <: Effects, E, A](r: Eff[R, A])(implicit m: Aux[[β]Validate[E, β], R, U]): Eff[U, Xor[NonEmptyList[E], A]]
-
def
runValidatedNel[R <: Effects, U <: Effects, E, A](r: Eff[R, A])(implicit m: Aux[[β]Validate[E, β], R, U]): Eff[U, ValidatedNel[E, A]]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
validateCheck[R, E](condition: Boolean, e: E)(implicit m: Member[[β]Validate[E, β], R]): Eff[R, Unit]
-
def
validateOption[R, E, A](option: Option[A], e: E)(implicit m: Member[[β]Validate[E, β], R]): Eff[R, Unit]
-
def
validateValue[R, E, A](condition: Boolean, a: A, e: E)(implicit m: Member[[β]Validate[E, β], R]): Eff[R, A]
-
def
validateXor[R, E, A](xor: Xor[E, A])(implicit m: Member[[β]Validate[E, β], R]): Eff[R, Unit]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
wrong[R, E](e: E)(implicit m: Member[[β]Validate[E, β], R]): Eff[R, Unit]