BracketOps
izumi.functional.bio.syntax.Syntax3$.BracketOps
class BracketOps[FR[_, _, _], -R, +E, +A](val r: FR[R, E, A])(implicit val F: Bracket3[FR]) extends ErrorOps[FR, R, E, A]
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
Members list
Concise view
Value members
Concrete methods
final def bracket[R1 <: R, E1 >: E, B](release: A => FR[R1, Nothing, Unit])(use: A => FR[R1, E1, B]): FR[R1, E1, B]
final def bracketCase[R1 <: R, E1 >: E, B](release: (A, Exit[E1, B]) => FR[R1, Nothing, Unit])(use: A => FR[R1, E1, B]): FR[R1, E1, B]
final def bracketOnFailure[R1 <: R, E1 >: E, B](cleanupOnFailure: (A, Failure[E1]) => FR[R1, Nothing, Unit])(use: A => FR[R1, E1, B]): FR[R1, E1, B]
final def guaranteeExceptOnInterrupt[R1 <: R](cleanupOnNonInterruption: Either[Termination, Either[Error[E], Success[A]]] => FR[R1, Nothing, Unit]): FR[R1, E, A]
final def guaranteeOnFailure[R1 <: R](cleanupOnFailure: Failure[E] => FR[R1, Nothing, Unit]): FR[R1, E, A]
final def guaranteeOnInterrupt[R1 <: R](cleanupOnInterruption: Interruption => FR[R1, Nothing, Unit]): FR[R1, E, A]
Inherited methods
execute two operations in order, return result of second operation
execute two operations in order, return result of second operation
Attributes
- Inherited from:
- ApplicativeOps
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
Attributes
- Inherited from:
- FunctorOps
Attributes
- Inherited from:
- ApplicativeErrorOps
Attributes
- Inherited from:
- ErrorOps
final def catchSome[R1 <: R, E1 >: E, A2 >: A](h: PartialFunction[E, FR[R1, E1, A2]]): FR[R1, E1, A2]
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ApplicativeOps
Attributes
- Inherited from:
- ErrorOps
final def fromOption[R1 <: R, E1 >: E, A1](errorOnNone: => E1)(implicit ev1: A <:< Option[A1]): FR[R1, E1, A1]
Attributes
- Inherited from:
- ErrorOps
final def fromOptionF[R1 <: R, E1 >: E, B](fallbackOnNone: => FR[R1, E1, B])(implicit ev: A <:< Option[B]): FR[R1, E1, B]
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- FunctorOps
Attributes
- Inherited from:
- GuaranteeOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ApplicativeErrorOps
final def leftMap2[R1 <: R, E2, A1 >: A, E3](r2: => FR[R1, E2, A1])(f: (E, E2) => E3): FR[R1, E3, A1]
Attributes
- Inherited from:
- ApplicativeErrorOps
Attributes
- Inherited from:
- FunctorOps
execute two operations in order, map their results
Attributes
- Inherited from:
- ApplicativeErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
final def tapBoth[R1 <: R, E1 >: E, E2 >: E1](err: E => FR[R1, E1, Unit])(succ: A => FR[R1, E2, Unit]): FR[R1, E2, A]
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- ErrorOps
Attributes
- Inherited from:
- FunctorOps
Attributes
- Inherited from:
- FunctorOps
Attributes
- Inherited from:
- ApplicativeErrorOps
Attributes
- Inherited from:
- ApplicativeErrorOps
final def withFilter[E1 >: E](predicate: A => Boolean)(implicit filter: WithFilter[E1], pos: SourceFilePositionMaterializer): FR[R, E1, A]
for-comprehensions sugar:
for-comprehensions sugar:
for {
(1, 2) <- F.pure((2, 1))
} yield ()
Use widenError to for pattern matching with non-Throwable errors:
val f = for {
(1, 2) <- F.pure((2, 1)).widenError[Option[Unit]]
} yield ()
// f: F[Option[Unit], Unit] = F.fail(Some(())
Attributes
- Inherited from:
- ErrorOps
execute two operations in order, return result of both operations
execute two operations in order, return result of both operations
Attributes
- Inherited from:
- ApplicativeOps