Attributes
- Companion
- object
- Graph
-
- Supertypes
-
trait Error2[Either]trait ErrorAccumulatingOps2[Either]trait Monad2[Either]trait ApplicativeError2[Either]trait Bifunctor2[Either]trait Guarantee2[Either]trait Applicative2[Either]trait Functor2[Either]trait RootBifunctor[Either]trait Roottrait PredefinedHelpertrait DivergenceHelperclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
object BioEither
Members list
Type members
Inherited types
Attributes
- Inherited from:
- DivergenceHelper
Attributes
- Inherited from:
- PredefinedHelper
Value members
Concrete methods
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
For lazy monads: alias for IO2#syncThrowable. For strict monads, shorthand for F.fromTry(Try(effect))
For lazy monads: alias for IO2#syncThrowable. For strict monads, shorthand for F.fromTry(Try(effect))
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
execute two operations in order, map their results
execute two operations in order, map their results
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Inherited methods
execute two operations in order, return result of second operation
execute two operations in order, return result of second operation
Attributes
- Definition Classes
- Inherited from:
- Monad2
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
- Inherited from:
- Monad2
Attributes
- Definition Classes
- Inherited from:
- ApplicativeError2
Attributes
- Definition Classes
-
Error2 -> Bifunctor2
- Inherited from:
- Error2
Attributes
- Inherited from:
- Error2
Attributes
- Inherited from:
- Applicative2
Attributes
- Inherited from:
- Applicative2
Attributes
- Inherited from:
- Applicative2
flatSequence with error accumulation
Attributes
- Inherited from:
- Applicative2
flatTraverse with error accumulation
Attributes
- Inherited from:
- Applicative2
Extracts the optional value or fails with the errorOnNone error
Extracts the optional value, or executes the fallbackOnNone effect
Extracts the optional value, or executes the fallbackOnNone effect
Attributes
- Inherited from:
- Monad2
Extracts the optional value, or returns the given valueOnNone value
Extracts the optional value, or returns the given valueOnNone value
Attributes
- Inherited from:
- Functor2
Attributes
- Inherited from:
- Monad2
Attributes
- Inherited from:
- Applicative2
Attributes
- Inherited from:
- ApplicativeError2
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:
- Monad2
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:
- Monad2
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:
- Monad2
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:
- Monad2
Attributes
- Inherited from:
- Error2
Attributes
- Inherited from:
- Bifunctor2
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:
- Error2
execute second operation only if the first one fails
execute second operation only if the first one fails
Attributes
- Definition Classes
- Inherited from:
- Error2
Attributes
- Inherited from:
- Error2
Attributes
- Inherited from:
- Error2
Retries this effect until its error satisfies the specified predicate.
Retries this effect until its error satisfies the specified predicate.
Attributes
- Inherited from:
- Error2
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:
- Error2
Retries this effect while its error satisfies the specified predicate.
Retries this effect while its error satisfies the specified predicate.
Attributes
- Inherited from:
- Error2
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:
- Error2
Attributes
- Inherited from:
- Applicative2
sequence with error accumulation
sequence with error accumulation
sequence_ with error accumulation
Attributes
- Inherited from:
- Applicative2
Attributes
- Inherited from:
- Monad2
Attributes
- Inherited from:
- Monad2
Attributes
- Inherited from:
- Error2
Attributes
- Inherited from:
- Error2
Attributes
- Inherited from:
- Applicative2
traverse with error accumulation
traverse with error accumulation
traverse_ with error accumulation
Attributes
- Inherited from:
- Applicative2
Attributes
- Inherited from:
- Applicative2
Attributes
- Inherited from:
- Monad2
Attributes
- Inherited from:
- Applicative2
Attributes
- Inherited from:
- Monad2
Attributes
- Inherited from:
- Applicative2
Attributes
- Inherited from:
- Functor2
Attributes
- Inherited from:
- Bifunctor2
Attributes
- Inherited from:
- Bifunctor2
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:
- Error2
Attributes
- Inherited from:
- Applicative2