scalaz
API
Generated with
scalaz/org.atnos.eff/org.atnos.eff.addon.scalaz/all

all

org.atnos.eff.addon.scalaz.all
object all extends either, eval, safe, validate

Attributes

Source
all.scala
Graph
Supertypes
trait validate
trait safe
trait eval
trait either
class Object
trait Matchable
class Any
Show all
Self type
all.type

Members list

Value members

Inherited methods

def attemptDisjunction[R, A](action: Eff[R, A])(using MemberInOut[Safe, R]): Eff[R, Throwable \/ A]

Attributes

Inherited from:
safe
Source
safe.scala
def attemptEvalDisjunction[R, U, A](r: Eff[R, A])(using Aux[Eval, R, U]): Eff[U, Throwable \/ A]

Attributes

Inherited from:
eval
Source
eval.scala
def attemptSafeDisjunction[R, A](r: Eff[R, A])(using MemberInOut[Safe, R]): Eff[R, (Throwable \/ A, List[Throwable])]

Attributes

Inherited from:
safe
Source
safe.scala
def catchLeftCombine[R, E, A](r: Eff[R, A])(handle: E => Eff[R, A])(using 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

Attributes

Inherited from:
either
Source
either.scala
def execSafeDisjunction[R, U, A](r: Eff[R, A])(using Aux[Safe, R, U]): Eff[U, Throwable \/ A]

Attributes

Inherited from:
safe
Source
safe.scala
def fromDisjunction[R, E, A](ea: E \/ A)(using MemberIn[[_] =>> Either[E, _$1], R]): Eff[R, A]

Attributes

Inherited from:
either
Source
either.scala
def runDisjunction[R, U, E, A](r: Eff[R, A])(using Aux[[_] =>> Either[E, _$2], R, U]): Eff[U, E \/ A]

Attributes

Inherited from:
either
Source
either.scala
def runDisjunctionCombine[R, U, E, A](r: Eff[R, A])(using 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

Attributes

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]

Attributes

Inherited from:
validate
Source
validate.scala
def runNelDisjunction[R, U, E, A](r: Eff[R, A])(using Aux[[_] =>> Validate[E, _$3], R, U]): Eff[U, NonEmptyList[E] \/ A]

Attributes

Inherited from:
validate
Source
validate.scala
def runSafeDisjunction[R, U, A](r: Eff[R, A])(using Aux[Safe, R, U]): Eff[U, (Throwable \/ A, List[Throwable])]

Attributes

Inherited from:
safe
Source
safe.scala
def runValidationNel[R, U, E, A](r: Eff[R, A])(using Aux[[_] =>> Validate[E, _$1], R, U]): Eff[U, ValidationNel[E, A]]

Attributes

Inherited from:
validate
Source
validate.scala
Generated with