trait Guarantee2[F[+_, +_]] extends Applicative2[F]
- Alphabetic
- By Inheritance
- Guarantee2
- Applicative2
- Functor2
- RootBifunctor
- Root
- PredefinedHelper
- DivergenceHelper
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- type Divergence = Nondivergent
- Definition Classes
- DivergenceHelper
- type IsPredefined = NotPredefined
- Definition Classes
- PredefinedHelper
Abstract Value Members
- abstract def guarantee[E, A](f: F[E, A], cleanup: F[Nothing, Unit]): F[E, A]
- abstract def map[E, A, B](r: F[E, A])(f: (A) => B): F[E, B]
- Definition Classes
- Functor2
- abstract def map2[E, A, B, C](firstOp: F[E, A], secondOp: => F[E, B])(f: (A, B) => C): F[E, C]
execute two operations in order, map their results
execute two operations in order, map their results
- Definition Classes
- Applicative2
- abstract def pure[A](a: A): F[Nothing, A]
- Definition Classes
- Applicative2
Concrete Value Members
- def *>[E, A, B](firstOp: F[E, A], secondOp: => F[E, B]): F[E, B]
execute two operations in order, return result of second operation
execute two operations in order, return result of second operation
- Definition Classes
- Applicative2
- def <*[E, A, B](firstOp: F[E, A], secondOp: => F[E, B]): F[E, A]
execute two operations in order, same as
*>
, but return result of first operationexecute two operations in order, same as
*>
, but return result of first operation- Definition Classes
- Applicative2
- def as[E, A, B](r: F[E, A])(v: => B): F[E, B]
- Definition Classes
- Functor2
- def collect[E, A, B](l: Iterable[A])(f: (A) => F[E, Option[B]]): F[E, List[B]]
- Definition Classes
- Applicative2
- def filter[E, A](l: Iterable[A])(f: (A) => F[E, Boolean]): F[E, List[A]]
- Definition Classes
- Applicative2
- def flatSequence[E, A](l: Iterable[F[E, Iterable[A]]]): F[E, List[A]]
- Definition Classes
- Applicative2
- def flatTraverse[E, A, B](l: Iterable[A])(f: (A) => F[E, Iterable[B]]): F[E, List[B]]
- Definition Classes
- Applicative2
- final def forever[E, A](r: F[E, A]): F[E, Nothing]
- Definition Classes
- Applicative2
- Annotations
- @inline()
- def fromOptionOr[E, A](valueOnNone: => A, r: F[E, Option[A]]): F[E, A]
Extracts the optional value, or returns the given
valueOnNone
valueExtracts the optional value, or returns the given
valueOnNone
value- Definition Classes
- Functor2
- final def ifThenElse[E, A](cond: Boolean)(ifTrue: => F[E, A], ifFalse: => F[E, A]): F[E, A]
- Definition Classes
- Applicative2
- Annotations
- @inline()
- def sequence[E, A](l: Iterable[F[E, A]]): F[E, List[A]]
- Definition Classes
- Applicative2
- def sequence_[E](l: Iterable[F[E, Unit]]): F[E, Unit]
- Definition Classes
- Applicative2
- final def traverse[E, A, B](o: Option[A])(f: (A) => F[E, B]): F[E, Option[B]]
- Definition Classes
- Applicative2
- Annotations
- @inline()
- def traverse[E, A, B](l: Iterable[A])(f: (A) => F[E, B]): F[E, List[B]]
- Definition Classes
- Applicative2
- def traverse_[E, A](l: Iterable[A])(f: (A) => F[E, Unit]): F[E, Unit]
- Definition Classes
- Applicative2
- def unit: F[Nothing, Unit]
- Definition Classes
- Applicative2
- final def unless[E](cond: Boolean)(ifFalse: => F[E, Unit]): F[E, Unit]
- Definition Classes
- Applicative2
- Annotations
- @inline()
- def void[E, A](r: F[E, A]): F[E, Unit]
- Definition Classes
- Functor2
- final def when[E](cond: Boolean)(ifTrue: => F[E, Unit]): F[E, Unit]
- Definition Classes
- Applicative2
- Annotations
- @inline()
- final def widen[E, A, A1](r: F[E, A])(implicit ev: <:<[A, A1]): F[E, A1]
- Definition Classes
- Functor2
- Annotations
- @inline()