GuaranteeOps

izumi.functional.bio.syntax.Syntax2.GuaranteeOps
open class GuaranteeOps[F[_, _], +E, +A](val r: F[E, A])(implicit val F: Guarantee2[F]) extends ApplicativeOps[F, E, A]

Attributes

Graph
Supertypes
class ApplicativeOps[F, E, A]
class FunctorOps[F, E, A]
class Object
trait Matchable
class Any
Known subtypes
class ApplicativeErrorOps[F, E, A]
class ErrorOps[F, E, A]
class BracketOps[F, E, A]
class PanicOps[F, E, A]
class IOOps[F, E, A]
class AsyncOps[F, E, A]
class WeakAsyncOps[F, E, A]
Show all

Members list

Value members

Concrete methods

final def guarantee(cleanup: F[Nothing, Unit]): F[E, A]

Inherited methods

final def *>[E1 >: E, B](f0: => F[E1, B]): F[E1, B]

execute two operations in order, return result of second operation

execute two operations in order, return result of second operation

Attributes

Inherited from:
ApplicativeOps
final def <*[E1 >: E, B](f0: => F[E1, B]): F[E1, 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:
ApplicativeOps
final infix def as[B](b: => B): F[E, B]

Attributes

Inherited from:
FunctorOps
final def forever: F[E, Nothing]

Attributes

Inherited from:
ApplicativeOps
final def fromOptionOr[B, C](valueOnNone: => C)(implicit ev: A <:< Option[B], ev2: C <:< B): F[E, B]

Attributes

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

Attributes

Inherited from:
FunctorOps
final def map2[E2 >: E, B, C](r2: => F[E2, B])(f: (A, B) => C): F[E2, C]

execute two operations in order, map their results

execute two operations in order, map their results

Attributes

Inherited from:
ApplicativeOps
final def void: F[E, Unit]

Attributes

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

Attributes

Inherited from:
FunctorOps
final infix def zip[E2 >: E, B, C](r2: => F[E2, B]): F[E2, (A, B)]

execute two operations in order, return result of both operations

execute two operations in order, return result of both operations

Attributes

Inherited from:
ApplicativeOps