ApplicativeError3

izumi.functional.bio.ApplicativeError3
trait ApplicativeError3[F[_, _, _]] extends Guarantee3[F] with Bifunctor3[F]

Attributes

Graph
Supertypes
trait Bifunctor3[F]
trait Guarantee3[F]
trait Applicative3[F]
trait Functor3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type

Members list

Concise view

Type members

Inherited types

Attributes

Inherited from:
DivergenceHelper

Attributes

Inherited from:
PredefinedHelper

Value members

Abstract methods

def fail[E](v: => E): F[Any, E, Nothing]
def fromEither[E, V](effect: => Either[E, V]): F[Any, E, V]
def fromOption[E, A](errorOnNone: => E)(effect: => Option[A]): F[Any, E, A]
def fromTry[A](effect: => Try[A]): F[Any, Throwable, A]
def leftMap2[R, E, A, E2, E3](firstOp: F[R, E, A], secondOp: => F[R, E2, A])(f: (E, E2) => E3): F[R, E3, A]

map errors from two operations into a new error if both fail

map errors from two operations into a new error if both fail

Attributes

def orElse[R, E, A, E2](r: F[R, E, A], f: => F[R, E2, A]): F[R, E2, A]

execute second operation only if the first one fails

execute second operation only if the first one fails

Attributes

Concrete methods

override def InnerF: Functor3[F]

Attributes

Definition Classes

Inherited methods

def *>[R, E, A, B](firstOp: F[R, E, A], secondOp: => F[R, E, B]): F[R, E, B]

execute two operations in order, return result of second operation

execute two operations in order, return result of second operation

Attributes

Inherited from:
Applicative3
def <*[R, E, A, B](firstOp: F[R, E, A], secondOp: => F[R, E, B]): F[R, E, A]

execute two operations in order, same as *>, but return result of first operation

execute two operations in order, same as *>, but return result of first operation

Attributes

Inherited from:
Applicative3
def as[R, E, A, B](r: F[R, E, A])(v: => B): F[R, E, B]

Attributes

Inherited from:
Functor3
def bimap[R, E, A, E2, A2](r: F[R, E, A])(f: E => E2, g: A => A2): F[R, E2, A2]

Attributes

Inherited from:
Bifunctor3
final def forever[R, E, A](r: F[R, E, A]): F[R, E, Nothing]

Attributes

Inherited from:
Applicative3
def fromOptionOr[R, E, A](valueOnNone: => A, r: F[R, E, Option[A]]): F[R, E, A]

Extracts the optional value, or returns the given valueOnNone value

Extracts the optional value, or returns the given valueOnNone value

Attributes

Inherited from:
Functor3
def guarantee[R, E, A](f: F[R, E, A], cleanup: F[R, Nothing, Unit]): F[R, E, A]

Attributes

Inherited from:
Guarantee3
final def ifThenElse[R, E, A](cond: Boolean)(ifTrue: => F[R, E, A], ifFalse: => F[R, E, A]): F[R, E, A]

Attributes

Inherited from:
Applicative3
def leftMap[R, E, A, E2](r: F[R, E, A])(f: E => E2): F[R, E2, A]

Attributes

Inherited from:
Bifunctor3
def map[R, E, A, B](r: F[R, E, A])(f: A => B): F[R, E, B]

Attributes

Inherited from:
Functor3
def map2[R, E, A, B, C](firstOp: F[R, E, A], secondOp: => F[R, E, B])(f: (A, B) => C): F[R, E, C]

execute two operations in order, map their results

execute two operations in order, map their results

Attributes

Inherited from:
Applicative3
def pure[A](a: A): F[Any, Nothing, A]

Attributes

Inherited from:
Applicative3
def sequence[R, E, A, B](l: Iterable[F[R, E, A]]): F[R, E, List[A]]

Attributes

Inherited from:
Applicative3
def sequence_[R, E](l: Iterable[F[R, E, Unit]]): F[R, E, Unit]

Attributes

Inherited from:
Applicative3
final def traverse[R, E, A, B](o: Option[A])(f: A => F[R, E, B]): F[R, E, Option[B]]

Attributes

Inherited from:
Applicative3
def traverse[R, E, A, B](l: Iterable[A])(f: A => F[R, E, B]): F[R, E, List[B]]

Attributes

Inherited from:
Applicative3
def traverse_[R, E, A](l: Iterable[A])(f: A => F[R, E, Unit]): F[R, E, Unit]

Attributes

Inherited from:
Applicative3
def unit: F[Any, Nothing, Unit]

Attributes

Inherited from:
Applicative3
final def unless[R, E](cond: Boolean)(ifFalse: => F[R, E, Unit]): F[R, E, Unit]

Attributes

Inherited from:
Applicative3
def void[R, E, A](r: F[R, E, A]): F[R, E, Unit]

Attributes

Inherited from:
Functor3
final def when[R, E](cond: Boolean)(ifTrue: => F[R, E, Unit]): F[R, E, Unit]

Attributes

Inherited from:
Applicative3
final def widen[R, E, A, A1](r: F[R, E, A])(implicit ev: A <:< A1): F[R, E, A1]

Attributes

Inherited from:
Functor3
final def widenBoth[R, E, A, E1, A1](r: F[R, E, A])(implicit ev: E <:< E1, ev2: A <:< A1): F[R, E1, A1]

Attributes

Inherited from:
Bifunctor3
final def widenError[R, E, A, E1](r: F[R, E, A])(implicit ev: E <:< E1): F[R, E1, A]

Attributes

Inherited from:
Bifunctor3