fundamentals-bio
API
Generated with
fundamentals-bio/izumi.functional.bio/Monad3

Monad3

izumi.functional.bio.Monad3
trait Monad3[F[_, _, _]] extends Applicative3[F]

Attributes

Graph
Supertypes
trait Applicative3[F]
trait Functor3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
object BioIdentity3.type

Members list

Concise view

Type members

Inherited types

type Divergence = Nondivergent

Attributes

Inherited from:
DivergenceHelper
type IsPredefined = NotPredefined

Attributes

Inherited from:
PredefinedHelper

Value members

Abstract methods

def flatMap[R, E, A, B](r: F[R, E, A])(f: A => F[R, E, B]): F[R, E, B]

Concrete methods

override def *>[R, E, A, B](f: F[R, E, A], next: => F[R, E, B]): F[R, E, B]

execute two operations in order, return result of second operation

execute two operations in order, return result of second operation

Attributes

Definition Classes
override def <*[R, E, A, B](f: F[R, E, A], next: => F[R, E, B]): F[R, E, A]

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
def flatten[R, E, A](r: F[R, E, F[R, E, A]]): F[R, E, A]
def fromOptionF[R, E, A](fallbackOnNone: => F[R, E, A], r: F[R, E, Option[A]]): F[R, E, A]

Extracts the optional value, or executes the fallbackOnNone effect

Extracts the optional value, or executes the fallbackOnNone effect

Attributes

final def ifThenElse[R, E, E1, A](cond: F[R, E, Boolean])(ifTrue: => F[R, E1, A], ifFalse: => F[R, E1, A])(implicit ev: E <:< E1): F[R, E1, A]
def iterateUntil[R, E, A](r: F[R, E, A])(p: A => Boolean): F[R, E, A]

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

def iterateUntilF[R, E, A](init: A)(f: A => F[R, E, A])(p: A => Boolean): F[R, E, A]

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

def iterateWhile[R, E, A](r: F[R, E, A])(p: A => Boolean): F[R, E, A]

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

def iterateWhileF[R, E, A](init: A)(f: A => F[R, E, A])(p: A => Boolean): F[R, E, A]

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

override def map[R, E, A, B](r: F[R, E, A])(f: A => B): F[R, E, B]

Attributes

Definition Classes
override def map2[R, E, A, B, C](r1: F[R, E, A], r2: => F[R, E, B])(f: (A, B) => C): F[R, E, C]

execute two operations in order, map their results

execute two operations in order, map their results

Attributes

Definition Classes
def tailRecM[R, E, A, B](a: A)(f: A => F[R, E, Either[A, B]]): F[R, E, B]
def tap[R, E, A](r: F[R, E, A], f: A => F[R, E, Unit]): F[R, E, A]
final def unless[R, E, E1](cond: F[R, E, Boolean])(ifFalse: => F[R, E1, Unit])(implicit ev: E <:< E1): F[R, E1, Unit]
final def when[R, E, E1](cond: F[R, E, Boolean])(ifTrue: => F[R, E1, Unit])(implicit ev: E <:< E1): F[R, E1, Unit]

Inherited methods

def as[R, E, A, B](r: F[R, E, A])(v: => B): F[R, E, B]

Attributes

Inherited from:
Functor3
final def forever[R, E, A](r: F[R, E, A]): F[R, E, Nothing]

Attributes

Inherited from:
Applicative3
def fromOptionOr[R, E, A](valueOnNone: => A, r: F[R, E, Option[A]]): F[R, E, A]

Extracts the optional value, or returns the given valueOnNone value

Extracts the optional value, or returns the given valueOnNone value

Attributes

Inherited from:
Functor3
final def ifThenElse[R, E, A](cond: Boolean)(ifTrue: => F[R, E, A], ifFalse: => F[R, E, A]): F[R, E, A]

Attributes

Inherited from:
Applicative3
def pure[A](a: A): F[Any, Nothing, A]

Attributes

Inherited from:
Applicative3
def sequence[R, E, A, B](l: Iterable[F[R, E, A]]): F[R, E, List[A]]

Attributes

Inherited from:
Applicative3
def sequence_[R, E](l: Iterable[F[R, E, Unit]]): F[R, E, Unit]

Attributes

Inherited from:
Applicative3
final def traverse[R, E, A, B](o: Option[A])(f: A => F[R, E, B]): F[R, E, Option[B]]

Attributes

Inherited from:
Applicative3
def traverse[R, E, A, B](l: Iterable[A])(f: A => F[R, E, B]): F[R, E, List[B]]

Attributes

Inherited from:
Applicative3
def traverse_[R, E, A](l: Iterable[A])(f: A => F[R, E, Unit]): F[R, E, Unit]

Attributes

Inherited from:
Applicative3
def unit: F[Any, Nothing, Unit]

Attributes

Inherited from:
Applicative3
final def unless[R, E](cond: Boolean)(ifFalse: => F[R, E, Unit]): F[R, E, Unit]

Attributes

Inherited from:
Applicative3
def void[R, E, A](r: F[R, E, A]): F[R, E, Unit]

Attributes

Inherited from:
Functor3
final def when[R, E](cond: Boolean)(ifTrue: => F[R, E, Unit]): F[R, E, Unit]

Attributes

Inherited from:
Applicative3
final def widen[R, E, A, A1](r: F[R, E, A])(implicit ev: A <:< A1): F[R, E, A1]

Attributes

Inherited from:
Functor3
Generated with