mouse/mouse/FOptionOps

FOptionOps

final class FOptionOps[F[_], A](foa: F[Option[A]]) extends AnyVal
Source:
foption.scala
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def cata[B](default: => B, f: A => B)(implicit F: Functor[F]): F[B]
def cataF[B](default: => F[B], f: A => F[B])(implicit F: FlatMap[F]): F[B]
def existsF(f: A => F[Boolean])(implicit F: Monad[F]): F[Boolean]
def existsIn(f: A => Boolean)(implicit F: Functor[F]): F[Boolean]
def filterF(f: A => F[Boolean])(implicit F: Monad[F]): F[Option[A]]
def filterIn(f: A => Boolean)(implicit F: Functor[F]): F[Option[A]]
def flatMapF[B](f: A => F[Option[B]])(implicit F: Monad[F]): F[Option[B]]
def flatMapIn[B](f: A => Option[B])(implicit F: Functor[F]): F[Option[B]]
def foldF[B](default: => F[B])(f: A => F[B])(implicit F: FlatMap[F]): F[B]
def foldIn[B](default: => B)(f: A => B)(implicit F: Functor[F]): F[B]
def forallF(f: A => F[Boolean])(implicit F: Monad[F]): F[Boolean]
def forallIn(f: A => Boolean)(implicit F: Functor[F]): F[Boolean]
def getOrElse[B >: A](a: => B)(implicit F: Functor[F]): F[B]
def getOrElseF[B >: A](fa: => F[B])(implicit F: Monad[F]): F[B]
def getOrRaise[E](e: => E)(implicit F: MonadError[F, _ >: E]): F[A]
def getOrRaiseMsg(msg: => String)(implicit F: MonadThrow[F]): F[A]
def liftEitherT[E](ifNone: => E)(implicit F: Functor[F]): EitherT[F, E, A]
def mapIn[B](f: A => B)(implicit F: Functor[F]): F[Option[B]]
def orElseF(defaultF: => F[Option[A]])(implicit F: Monad[F]): F[Option[A]]
def orElseIn(default: Option[A])(implicit F: Functor[F]): F[Option[A]]
def toLeftIn[R](right: => R)(implicit F: Functor[F]): F[Either[A, R]]
def toLeftInF[R](right: => F[R])(implicit F: Monad[F]): F[Either[A, R]]
def toRightIn[L](left: => L)(implicit F: Functor[F]): F[Either[L, A]]
def toRightInF[L](left: => F[L])(implicit F: Monad[F]): F[Either[L, A]]
def traverseF[G[_] : Applicative, B](f: A => G[B])(implicit evidence$2: Applicative[G], F: Traverse[F]): G[F[Option[B]]]
def traverseIn[G[_] : Applicative, B](f: A => G[B])(implicit evidence$1: Applicative[G], F: Functor[F]): F[G[Option[B]]]