all
- Source:
- package.scala
Value members
Inherited methods
def attemptDisjunction[R, A](action: Eff[R, A])(implicit m: MemberInOut[Safe, R]): Eff[R, Throwable \/ A]
- Inherited from:
- safe
- Source:
- safe.scala
def attemptSafeDisjunction[R, A](r: Eff[R, A])(implicit m: MemberInOut[Safe, R]): Eff[R, (Throwable \/ A, List[Throwable])]
- Inherited from:
- safe
- Source:
- safe.scala
def catchLeftCombine[R, E, A](r: Eff[R, A])(handle: E => Eff[R, A])(implicit member: MemberInOut[[_] =>> Either[E, _$6], R], s: Semigroup[E]): Eff[R, A]
catch and handle a possible left value. The value is the combination of all failures in case of an applicative
catch and handle a possible left value. The value is the combination of all failures in case of an applicative
- Inherited from:
- either
- Source:
- either.scala
def fromDisjunction[R, E, A](ea: E \/ A)(implicit member: MemberIn[[_] =>> Either[E, _$1], R]): Eff[R, A]
- Inherited from:
- either
- Source:
- either.scala
def runDisjunction[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[_] =>> Either[E, _$2], R, U]): Eff[U, E \/ A]
- Inherited from:
- either
- Source:
- either.scala
def runDisjunctionCombine[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[_] =>> Either[E, _$4], R, U], s: Semigroup[E]): Eff[U, E \/ A]
run the Either effect, yielding E Either A and combine all Es
run the Either effect, yielding E Either A and combine all Es
- Inherited from:
- either
- Source:
- either.scala
def runMapDisjunction[R, U, E, L : Semigroup, A](r: Eff[R, A])(map: E => L)(implicit evidence$1: Semigroup[L], m: Aux[[_] =>> Validate[E, _$5], R, U]): Eff[U, L \/ A]
- Inherited from:
- validate
- Source:
- validate.scala
def runNelDisjunction[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[_] =>> Validate[E, _$3], R, U]): Eff[U, NonEmptyList[E] \/ A]
- Inherited from:
- validate
- Source:
- validate.scala
def runValidationNel[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[_] =>> Validate[E, _$1], R, U]): Eff[U, ValidationNel[E, A]]
- Inherited from:
- validate
- Source:
- validate.scala