Guarantee3

izumi.functional.bio.Guarantee3
trait Guarantee3[F[_, _, _]] extends Applicative3[F]

Attributes

Graph
Supertypes
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 guarantee[R, E, A](f: F[R, E, A], cleanup: F[R, Nothing, Unit]): F[R, E, A]

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
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
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 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](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