AsyncOps

izumi.functional.bio.syntax.Syntax3$.AsyncOps
class AsyncOps[FR[_, _, _], -R, +E, +A](val r: FR[R, E, A])(implicit val F: Async3[FR]) extends IOOps[FR, R, E, A]

Attributes

Graph
Supertypes
class IOOps[FR, R, E, A]
class PanicOps[FR, R, E, A]
class BracketOps[FR, R, E, A]
class ErrorOps[FR, R, E, A]
class ApplicativeErrorOps[FR, R, E, A]
class GuaranteeOps[FR, R, E, A]
class ApplicativeOps[FR, R, E, A]
class FunctorOps[FR, R, E, A]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

final def race[R1 <: R, E1 >: E, A1 >: A](that: FR[R1, E1, A1]): FR[R1, E1, A1]
final def racePairUnsafe[R1 <: R, E1 >: E, A1 >: A](that: FR[R1, E1, A1]): FR[R1, E1, Either[(Exit[E1, A], Fiber3[FR, E1, A1]), (Fiber3[FR, E1, A], Exit[E1, A1])]]
final def zipPar[R1 <: R, E1 >: E, B](that: FR[R1, E1, B]): FR[R1, E1, (A, B)]
final def zipParLeft[R1 <: R, E1 >: E, B](that: FR[R1, E1, B]): FR[R1, E1, A]
final def zipParRight[R1 <: R, E1 >: E, B](that: FR[R1, E1, B]): FR[R1, E1, B]
final def zipWithPar[R1 <: R, E1 >: E, B, C](that: FR[R1, E1, B])(f: (A, B) => C): FR[R1, E1, C]

Inherited methods

final def *>[R1 <: R, E1 >: E, B](f0: => FR[R1, E1, B]): FR[R1, 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 <*[R1 <: R, E1 >: E, B](f0: => FR[R1, E1, B]): FR[R1, 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 def as[B](b: => B): FR[R, E, B]

Attributes

Inherited from:
FunctorOps
final def attempt: FR[R, Nothing, Either[E, A]]

Attributes

Inherited from:
ErrorOps
final def bimap[E2, B](f: E => E2, g: A => B): FR[R, E2, B]

Attributes

Inherited from:
ApplicativeErrorOps
final def bracket[R1 <: R, E1 >: E, B](release: A => FR[R1, Nothing, Unit])(use: A => FR[R1, E1, B]): FR[R1, E1, B]

Attributes

Inherited from:
BracketOps
final def bracketAuto[R1 <: R, E1 >: E, B](use: A => FR[R1, E1, B])(implicit ev: A <:< AutoCloseable): FR[R1, E1, B]

Attributes

Inherited from:
IOOps
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]

Attributes

Inherited from:
BracketOps
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]

Attributes

Inherited from:
BracketOps
final def catchAll[R1 <: R, E2, A2 >: A](h: E => FR[R1, E2, A2]): FR[R1, E2, A2]

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
final def flatMap[R1 <: R, E1 >: E, B](f0: A => FR[R1, E1, B]): FR[R1, E1, B]

Attributes

Inherited from:
ErrorOps
final def flatten[R1 <: R, E1 >: E, A1](implicit ev: A <:< FR[R1, E1, A1]): FR[R1, E1, A1]

Attributes

Inherited from:
ErrorOps
final def flip: FR[R, A, E]

Attributes

Inherited from:
ErrorOps
final def forever: FR[R, E, Nothing]

Attributes

Inherited from:
ApplicativeOps
final def fromEither[R1 <: R, E1 >: E, A1](implicit ev: A <:< Either[E1, A1]): FR[R1, E1, A1]

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
final def fromOptionOr[B](valueOnNone: => B)(implicit ev: A <:< Option[B]): FR[R, E, B]

Attributes

Inherited from:
FunctorOps
final def guarantee[R1 <: R](cleanup: FR[R1, Nothing, Unit]): FR[R1, E, A]

Attributes

Inherited from:
GuaranteeOps
final def guaranteeCase[R1 <: R](cleanup: Exit[E, A] => FR[R1, Nothing, Unit]): FR[R1, E, A]

Attributes

Inherited from:
BracketOps
final def guaranteeExceptOnInterrupt[R1 <: R](cleanupOnNonInterruption: Either[Termination, Either[Error[E], Success[A]]] => FR[R1, Nothing, Unit]): FR[R1, E, A]

Attributes

Inherited from:
BracketOps
final def guaranteeOnFailure[R1 <: R](cleanupOnFailure: Failure[E] => FR[R1, Nothing, Unit]): FR[R1, E, A]

Attributes

Inherited from:
BracketOps
final def guaranteeOnInterrupt[R1 <: R](cleanupOnInterruption: Interruption => FR[R1, Nothing, Unit]): FR[R1, E, A]

Attributes

Inherited from:
BracketOps
final def iterateUntil(p: A => Boolean): FR[R, E, A]

Attributes

Inherited from:
ErrorOps
final def iterateWhile(p: A => Boolean): FR[R, E, A]

Attributes

Inherited from:
ErrorOps
final def leftFlatMap[R1 <: R, E2](f: E => FR[R1, Nothing, E2]): FR[R1, E2, A]

Attributes

Inherited from:
ErrorOps
final def leftMap[E2](f: E => E2): FR[R, E2, A]

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
final def map[B](f: A => B): FR[R, E, B]

Attributes

Inherited from:
FunctorOps
final def map2[R1 <: R, E1 >: E, B, C](r2: => FR[R1, E1, B])(f: (A, B) => C): FR[R1, E1, C]

execute two operations in order, map their results

execute two operations in order, map their results

Attributes

Inherited from:
ApplicativeOps
final def orElse[R1 <: R, E2, A1 >: A](r2: => FR[R1, E2, A1]): FR[R1, E2, A1]

Attributes

Inherited from:
ApplicativeErrorOps
final def orTerminate(implicit ev: E <:< Throwable): FR[R, Nothing, A]

Convert Throwable typed error into a defect

Convert Throwable typed error into a defect

Attributes

Inherited from:
PanicOps
final def redeem[R1 <: R, E2, B](err: E => FR[R1, E2, B], succ: A => FR[R1, E2, B]): FR[R1, E2, B]

Attributes

Inherited from:
ErrorOps
final def redeemPure[B](err: E => B, succ: A => B): FR[R, Nothing, B]

Attributes

Inherited from:
ErrorOps
final def retryUntil(f: E => Boolean): FR[R, E, A]

Attributes

Inherited from:
ErrorOps
final def retryUntilF[R1 <: R](f: E => FR[R1, Nothing, Boolean]): FR[R1, E, A]

Attributes

Inherited from:
ErrorOps
final def retryWhile(f: E => Boolean): FR[R, E, A]

Attributes

Inherited from:
ErrorOps
final def retryWhileF[R1 <: R](f: E => FR[R1, Nothing, Boolean]): FR[R1, E, A]

Attributes

Inherited from:
ErrorOps
final def sandbox: FR[R, Failure[E], A]

Attributes

Inherited from:
PanicOps
final def sandboxExit: FR[R, Nothing, Exit[E, A]]

Attributes

Inherited from:
PanicOps
final def sandboxToThrowable(implicit ev: E <:< Throwable): FR[R, Throwable, A]

Catch all defects in this effect and convert them to Throwable Example:

Catch all defects in this effect and convert them to Throwable Example:

 F.pure(1)
   .map(_ => ???)
   .sandboxThrowable
   .catchAll(_ => IO3(println("Caught error!")))

Attributes

Inherited from:
PanicOps
final def tap[R1 <: R, E1 >: E](f0: A => FR[R1, E1, Unit]): FR[R1, E1, A]

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
final def tapError[R1 <: R, E1 >: E](f: E => FR[R1, E1, Unit]): FR[R1, E1, A]

Attributes

Inherited from:
ErrorOps
final def uninterruptible: FR[R, E, A]

Attributes

Inherited from:
PanicOps
final def void: FR[R, E, Unit]

Attributes

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

Attributes

Inherited from:
FunctorOps
final def widenBoth[E1 >: E, A1](implicit ev2: A <:< A1): FR[R, E1, A1]

Attributes

Inherited from:
ApplicativeErrorOps
final def widenError[E1 >: E]: FR[R, E1, A]

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
final def zip[R1 <: R, E1 >: E, B, C](r2: => FR[R1, E1, B]): FR[R1, E1, (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