ErrorOps
izumi.functional.bio.syntax.Syntax2$.ErrorOps
class ErrorOps[F[_, _], +E, +A](val r: F[E, A])(implicit val F: Error2[F]) extends ApplicativeErrorOps[F, E, A]
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
Members list
Concise view
Value members
Concrete methods
final def fromOptionF[E1 >: E, B](fallbackOnNone: => F[E1, B])(implicit ev: A <:< Option[B]): F[E1, B]
final def withFilter[A1 >: A, E1 >: E](predicate: A => Boolean)(implicit filter: WithFilter[E1], pos: SourceFilePositionMaterializer): F[E1, A]
for-comprehensions sugar:
for-comprehensions sugar:
for {
(1, 2) <- F.pure((2, 1))
} yield ()
Use widenError 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 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:
- ApplicativeOps
Attributes
- Inherited from:
- FunctorOps
Attributes
- Inherited from:
- GuaranteeOps
Attributes
- Inherited from:
- ApplicativeErrorOps
Attributes
- Inherited from:
- ApplicativeErrorOps
Attributes
- Inherited from:
- FunctorOps
execute two operations in order, map their results
Attributes
- Inherited from:
- ApplicativeErrorOps
Attributes
- Inherited from:
- FunctorOps
Attributes
- Inherited from:
- FunctorOps
Attributes
- Inherited from:
- ApplicativeErrorOps
Attributes
- Inherited from:
- ApplicativeErrorOps
execute two operations in order, return result of both operations
execute two operations in order, return result of both operations
Attributes
- Inherited from:
- ApplicativeOps