microsite
API
Generated with
microsite/izumi/izumi.functional/izumi.functional.bio/ApplicativeError2

ApplicativeError2

izumi.functional.bio.ApplicativeError2
trait ApplicativeError2[F[_, _]] extends Guarantee2[F], Bifunctor2[F]

Attributes

Graph
Supertypes
trait Bifunctor2[F]
trait Guarantee2[F]
trait Applicative2[F]
trait Functor2[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Error2[F]
class Error2Instance[S]
class BioEither
object BioEither
trait Bracket2[F]
trait Panic2[F]
class Panic2Instance[S]
trait IO2[F]
trait WeakAsync2[F]
trait Async2[F]
class AsyncZio[R]
object AsyncZio
class TemporalZio[R]
object TemporalZio
Show all

Members list

Type members

Inherited types

type Divergence = Nondivergent

Attributes

Inherited from:
DivergenceHelper
type IsPredefined = NotPredefined

Attributes

Inherited from:
PredefinedHelper

Value members

Abstract methods

def fail[E](v: => E): F[E, Nothing]
def fromAttempt[A](effect: => A): F[Throwable, A]

For lazy monads: alias for IO2#syncThrowable. For strict monads, shorthand for F.fromTry(Try(effect))

For lazy monads: alias for IO2#syncThrowable. For strict monads, shorthand for F.fromTry(Try(effect))

Attributes

def fromEither[E, V](effect: => Either[E, V]): F[E, V]
def fromOption[E, A](errorOnNone: => E)(effect: => Option[A]): F[E, A]
def fromTry[A](effect: => Try[A]): F[Throwable, A]
def leftMap2[E, A, E2, E3](firstOp: F[E, A], secondOp: => F[E2, A])(f: (E, E2) => E3): F[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[E, A, E2](r: F[E, A], f: => F[E2, A]): F[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: Functor2[F]

Attributes

Definition Classes
final def ifThenFail[E](cond: Boolean)(errorIfTrue: => E): F[E, Unit]

Inherited methods

def *>[E, A, B](firstOp: F[E, A], secondOp: => F[E, B]): F[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:
Applicative2
def <*[E, A, B](firstOp: F[E, A], secondOp: => F[E, B]): F[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:
Applicative2
def as[E, A, B](r: F[E, A])(v: => B): F[E, B]

Attributes

Inherited from:
Functor2
def collect[E, A, B](l: Iterable[A])(f: A => F[E, Option[B]]): F[E, List[B]]

Attributes

Inherited from:
Applicative2
def filter[E, A](l: Iterable[A])(f: A => F[E, Boolean]): F[E, List[A]]

Attributes

Inherited from:
Applicative2
def flatSequence[E, A](l: Iterable[F[E, Iterable[A]]]): F[E, List[A]]

Attributes

Inherited from:
Applicative2
def flatTraverse[E, A, B](l: Iterable[A])(f: A => F[E, Iterable[B]]): F[E, List[B]]

Attributes

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

Attributes

Inherited from:
Applicative2
def fromOptionOr[E, A](valueOnNone: => A, r: F[E, Option[A]]): F[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:
Functor2
final def ifThenElse[E, A](cond: Boolean)(ifTrue: => F[E, A], ifFalse: => F[E, A]): F[E, A]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Applicative2
def unit: F[Nothing, Unit]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Bifunctor2
def zip[E, A, B](firstOp: F[E, A], secondOp: => F[E, B]): F[E, (A, B)]

Attributes

Inherited from:
Applicative2

Inherited and Abstract methods

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

Attributes

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

Attributes

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

Attributes

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

execute two operations in order, map their results

execute two operations in order, map their results

Attributes

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

Attributes

Inherited from:
Applicative2
Generated with