Attributes
- Companion:
- object
- Graph
- Supertypes
- Known subtypes
- object Error2Instance.type
Members list
Type members
Value members
Concrete methods
execute two operations in order, return result of second operation
execute two operations in order, return result of second operation
Attributes
- Definition Classes
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
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Inherited methods
Attributes
- Definition Classes
- Inherited from:
- ApplicativeError3
Attributes
- Inherited from:
- Error3
Attributes
- Definition Classes
- Error3 -> Bifunctor3
- Inherited from:
- Error3
Attributes
- Inherited from:
- Monad3
Attributes
- Inherited from:
- Applicative3
Extracts the optional value or fails with the errorOnNone
error
Extracts the optional value, or executes the fallbackOnNone
effect
Extracts the optional value, or returns the given valueOnNone
value
Extracts the optional value, or returns the given valueOnNone
value
Attributes
- Inherited from:
- Functor3
Attributes
- Inherited from:
- Monad3
Attributes
- Inherited from:
- Applicative3
Execute an action repeatedly until its result satisfies the given predicate and return that result, discarding all others.
Execute an action repeatedly until its result satisfies the given predicate and return that result, discarding all others.
Attributes
- Inherited from:
- Monad3
Apply an effectful function iteratively until its result satisfies the given predicate and return that result.
Apply an effectful function iteratively until its result satisfies the given predicate and return that result.
Attributes
- Inherited from:
- Monad3
Execute an action repeatedly until its result fails to satisfy the given predicate and return that result, discarding all others.
Execute an action repeatedly until its result fails to satisfy the given predicate and return that result, discarding all others.
Attributes
- Inherited from:
- Monad3
Apply an effectful function iteratively until its result fails to satisfy the given predicate and return that result.
Apply an effectful function iteratively until its result fails to satisfy the given predicate and return that result.
Attributes
- Inherited from:
- Monad3
Attributes
- Inherited from:
- Error3
Attributes
- Inherited from:
- Bifunctor3
map errors from two operations into a new error if both fail
map errors from two operations into a new error if both fail
Attributes
- Definition Classes
- Inherited from:
- Error3
execute two operations in order, map their results
execute two operations in order, map their results
Attributes
- Definition Classes
- Inherited from:
- Monad3
execute second operation only if the first one fails
execute second operation only if the first one fails
Attributes
- Definition Classes
- Inherited from:
- Error3
Attributes
- Inherited from:
- Error3
Attributes
- Inherited from:
- Error3
Retries this effect until its error satisfies the specified predicate.
Retries this effect until its error satisfies the specified predicate.
Attributes
- Inherited from:
- Error3
Retries this effect until its error satisfies the specified effectful predicate.
Retries this effect until its error satisfies the specified effectful predicate.
Attributes
- Inherited from:
- Error3
Retries this effect while its error satisfies the specified predicate.
Retries this effect while its error satisfies the specified predicate.
Attributes
- Inherited from:
- Error3
Retries this effect while its error satisfies the specified effectful predicate.
Retries this effect while its error satisfies the specified effectful predicate.
Attributes
- Inherited from:
- Error3
Attributes
- Inherited from:
- Applicative3
Attributes
- Inherited from:
- Applicative3
Attributes
- Inherited from:
- Monad3
Attributes
- Inherited from:
- Monad3
Attributes
- Inherited from:
- Error3
Attributes
- Inherited from:
- Error3
Attributes
- Inherited from:
- Applicative3
Attributes
- Inherited from:
- Applicative3
Attributes
- Inherited from:
- Applicative3
Attributes
- Inherited from:
- Applicative3
Attributes
- Inherited from:
- Monad3
Attributes
- Inherited from:
- Applicative3
Attributes
- Inherited from:
- Monad3
Attributes
- Inherited from:
- Applicative3
Attributes
- Inherited from:
- Functor3
Attributes
- Inherited from:
- Bifunctor3
Attributes
- Inherited from:
- Bifunctor3
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:
- Error3