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

ValidateEffectOps

implicit class ValidateEffectOps[R, A](e: Eff[R, A])
Source:
validate.scala
class Object
trait Matchable
class Any

Value members

Concrete methods

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