Function1FlatMapOps

final class Function1FlatMapOps[F[_], A, B](f: A => F[B])(`evidence$4`: FlatMap[F])
class Object
trait Matchable
class Any

Value members

Concrete methods

@inline
def <=<[C](g: C => F[A]): C => F[B]

Alias for f composeF g.

Alias for f composeF g.

@inline
def >=>[C](g: B => F[C]): A => F[C]

Alias for f andThenF g.

Alias for f andThenF g.

def andThenF[C](g: B => F[C]): A => F[C]

Alias for a => f(a).flatMap(g) or (Kleisli(f) andThen Kleisli(g)).run

Alias for a => f(a).flatMap(g) or (Kleisli(f) andThen Kleisli(g)).run

Example:

scala> import scala.util._
scala> import cats.implicits._

scala> val f: List[String] => Option[String] = _.headOption
scala> val g: String => Option[Int] = str => Try(str.toInt).toOption
scala> (f >=> g)(List("42"))
res0: Option[Int] = Some(42)
scala> (f andThenF g)(List("abc"))
res1: Option[Int] = None
scala> (f andThenF g)(List())
res2: Option[Int] = None
def composeF[C](g: C => F[A]): C => F[B]

Alias for c => g(c).flatMap(f) or (Kleisli(f) compose Kleisli(g)).run

Alias for c => g(c).flatMap(f) or (Kleisli(f) compose Kleisli(g)).run

Example:

scala> import scala.util._
scala> import cats.implicits._

scala> val f: String => Option[Int] = str => Try(str.toInt).toOption
scala> val g: List[String] => Option[String] = _.headOption
scala> (f composeF g)(List("42"))
res0: Option[Int] = Some(42)
scala> (f composeF g)(List("abc"))
res1: Option[Int] = None
scala> (f composeF g)(List())
res2: Option[Int] = None