core/org.atnos.eff.syntax/validate/ValidateEffectOps

ValidateEffectOps

class ValidateEffectOps[R, A](e: Eff[R, A])
class Object
trait Matchable
class Any

Value members

Concrete methods

def catchAllWrongs[E](handle: NonEmptyList[E] => Eff[R, A])(m: Member[[_] =>> Validate[E, _$11], R]): Eff[R, A]
def catchFirstWrong[E](handle: E => Eff[R, A])(m: Member[[_] =>> Validate[E, _$9], R]): Eff[R, A]
def catchLastWrong[E](handle: E => Eff[R, A])(m: Member[[_] =>> Validate[E, _$10], R]): Eff[R, A]
def catchWrongs[E, S[_]](handle: S[E] => Eff[R, A])(`evidence$3`: Applicative[S], m: Member[[_] =>> Validate[E, _$8], R], semi: Semigroup[S[E]]): Eff[R, A]
def runIorMap[E, L](map: E => L)(`evidence$2`: Semigroup[L], m: Member[[_] =>> Validate[E, _$4], R]): Eff[Out, Ior[L, A]]
def runIorNel[E](m: Member[[_] =>> Validate[E, _$5], R]): Eff[Out, IorNel[E, A]]
def runMap[E, L](map: E => L)(`evidence$1`: Semigroup[L], m: Member[[_] =>> Validate[E, _$2], R]): Eff[Out, Either[L, A]]
def runNel[E](m: Member[[_] =>> Validate[E, _$1], R]): Eff[Out, Either[NonEmptyList[E], A]]
def runValidatedNel[E](m: Member[[_] =>> Validate[E, _$3], R]): Eff[Out, ValidatedNel[E, A]]

Deprecated methods

@deprecated("Use catchFirstWrong or more general catchWrongs instead", "5.4.2")
def catchWrong[E](handle: E => Eff[R, A])(m: Member[[_] =>> Validate[E, _$6], R]): Eff[R, A]
Deprecated