extras-cats/extras.cats.syntax/OptionSyntax

OptionSyntax

trait OptionSyntax
Since:

2021-07-22

class Object
trait Matchable
class Any
trait AllSyntax
object all.type
object option.type

Extensions

Extensions

extension [A](a: A)
inline def someTF[F[_] : Applicative]: OptionT[F, A]
extension [F[_], A](fOfOption: F[Option[A]])
inline def optionT: OptionT[F, A]
inline def t: OptionT[F, A]
extension [F[_], A](fOfOption: F[Option[A]])
inline def innerCollect[B](pf: PartialFunction[A, B])(using F: Functor[F]): F[Option[B]]
inline def innerContains(a: A)(using F: Functor[F]): F[Boolean]
inline def innerExists(f: A => Boolean)(using F: Functor[F]): F[Boolean]
inline def innerFilter(f: A => Boolean)(using F: Functor[F]): F[Option[A]]
inline def innerFlatMap[B](f: A => Option[B])(using F: Functor[F]): F[Option[B]]
inline def innerFlatMapF[B](f: A => F[Option[B]])(using F: Monad[F]): F[Option[B]]
inline def innerFold[B](ifEmpty: => B)(f: A => B)(using F: Functor[F]): F[B]
inline def innerFoldF[B](ifEmpty: => F[B])(f: A => F[B])(using F: FlatMap[F]): F[B]
inline def innerForall(f: A => Boolean)(using F: Functor[F]): F[Boolean]
inline def innerForeach(f: A => Unit)(using F: Functor[F]): F[Unit]
inline def innerForeachF(f: A => F[Unit])(using F: FlatMap[F], AP: Applicative[F]): F[Unit]
inline def innerGetOrElse[B >: A](ifEmpty: => B)(using F: Functor[F]): F[B]
inline def innerGetOrElseF[B >: A](ifEmpty: => F[B])(using F: Monad[F]): F[B]
inline def innerMap[B](f: A => B)(using F: Functor[F]): F[Option[B]]
inline def innerOrElse[B >: A](alternative: => Option[B])(using F: Functor[F]): F[Option[B]]
inline def innerOrElseF[B >: A](alternative: => F[Option[B]])(using F: Monad[F]): F[Option[B]]
extension [F[_], A](fa: F[A])
inline def someT(using F: Functor[F]): OptionT[F, A]
extension [A](option: Option[A])
inline def optionT[F[_] : Applicative]: OptionT[F, A]
inline def t[F[_] : Applicative]: OptionT[F, A]