MonadOps

izumi.functional.bio.syntax.Syntax2$.MonadOps
final class MonadOps[F[_, _], +E, +A](val r: F[E, A])(implicit val F: Monad2[F]) extends ApplicativeOps[F, E, A]

Attributes

Graph
Supertypes
class ApplicativeOps[F, E, A]
class FunctorOps[F, E, A]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

final def flatMap[E1 >: E, B](f0: A => F[E1, B]): F[E1, B]
final def flatten[E1 >: E, A1](implicit ev: A <:< F[E1, A1]): F[E1, A1]
final def fromOptionF[E1 >: E, B](fallbackOnNone: => F[E1, B])(implicit ev: A <:< Option[B]): F[E1, B]
final def iterateUntil(p: A => Boolean): F[E, A]
final def iterateWhile(p: A => Boolean): F[E, A]
final def tap[E1 >: E](f0: A => F[E1, Unit]): F[E1, A]

Inherited methods

final def *>[E1 >: E, B](f0: => F[E1, B]): F[E1, B]

execute two operations in order, return result of second operation

execute two operations in order, return result of second operation

Attributes

Inherited from:
ApplicativeOps
final def <*[E1 >: E, B](f0: => F[E1, B]): F[E1, 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

Inherited from:
ApplicativeOps
final def as[B](b: => B): F[E, B]

Attributes

Inherited from:
FunctorOps
final def forever: F[E, Nothing]

Attributes

Inherited from:
ApplicativeOps
final def fromOptionOr[B](valueOnNone: => B)(implicit ev: A <:< Option[B]): F[E, B]

Attributes

Inherited from:
FunctorOps
final def map[B](f: A => B): F[E, B]

Attributes

Inherited from:
FunctorOps
final def map2[E2 >: E, B, C](r2: => F[E2, B])(f: (A, B) => C): F[E2, C]

execute two operations in order, map their results

execute two operations in order, map their results

Attributes

Inherited from:
ApplicativeOps
final def void: F[E, Unit]

Attributes

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

Attributes

Inherited from:
FunctorOps
final def zip[E2 >: E, B, C](r2: => F[E2, B]): F[E2, (A, B)]

execute two operations in order, return result of both operations

execute two operations in order, return result of both operations

Attributes

Inherited from:
ApplicativeOps