Bracket3
Attributes
- Graph
- Supertypes
- trait Error3[F]trait Monad3[F]trait ApplicativeError3[F]trait Bifunctor3[F]trait Guarantee3[F]trait Applicative3[F]trait Functor3[F]trait RootBifunctor[F]trait Roottrait PredefinedHelpertrait DivergenceHelperclass Objecttrait Matchableclass Any
- Known subtypes
Members list
Type members
Value members
Abstract methods
Concrete methods
Run release action only on a failure – any failure, INCLUDING interruption.
Do not run release action if use
finished successfully.
Run release action only on a failure – any failure, INCLUDING interruption.
Do not run release action if use
finished successfully.
Attributes
Attributes
- Definition Classes
Run cleanup on both success and failure, if the failure IS NOT an interruption.
Run cleanup on both success and failure, if the failure IS NOT an interruption.
Attributes
Run cleanup only on a failure – any failure, INCLUDING interruption.
Do not run cleanup if use
finished successfully.
Run cleanup only on a failure – any failure, INCLUDING interruption.
Do not run cleanup if use
finished successfully.
Attributes
Run cleanup only on interruption.
Do not run cleanup if use
finished successfully.
Run cleanup only on interruption.
Do not run cleanup if use
finished successfully.
Attributes
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:
- Monad3
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:
- Monad3
Attributes
- Definition Classes
- Inherited from:
- ApplicativeError3
Attributes
- Definition Classes
- Error3 -> Bifunctor3
- Inherited from:
- Error3
Attributes
- Inherited from:
- Error3
Attributes
- Inherited from:
- Error3
Attributes
- Inherited from:
- ApplicativeError3
Attributes
- Inherited from:
- Monad3
Attributes
- Inherited from:
- Applicative3
Attributes
- Inherited from:
- ApplicativeError3
Extracts the optional value or fails with the errorOnNone
error
Attributes
- Inherited from:
- ApplicativeError3
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:
- ApplicativeError3
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:
- Applicative3
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:
- 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