specs2-fp/org.specs2.fp/ApplicativeSyntax

ApplicativeSyntax

trait ApplicativeSyntax
class Object
trait Matchable
class Any
object syntax

Value members

Concrete methods

def unless[F[_], A](condition: Boolean)(fa: => F[A])(using evidence$10: Applicative[F]): F[Unit]
def when[F[_], A](condition: Boolean)(fa: => F[A])(using evidence$9: Applicative[F]): F[Unit]

Extensions

Extensions

extension (fa: List[A])
def filterM[F[_], A](f: A => F[Boolean])(using evidence$8: Applicative[F]): F[List[A]]
extension (fa: F[A])
def unless[F[_], A](condition: Boolean)(using evidence$7: Applicative[F]): F[Unit]
def when[F[_], A](condition: Boolean)(using evidence$6: Applicative[F]): F[Unit]
extension (fa: F[A])
def *>[F[_], A, B](fb: F[B])(using evidence$5: Applicative[F]): F[B]
def ap[F[_], A, B](f: F[A => B])(using evidence$3: Applicative[F]): F[B]
def tuple2[F[_], A, B](fb: F[B])(using evidence$4: Applicative[F]): F[(A, B)]
extension (fa: F[A])
def |@|[F[_], A, B, C](fb: F[B])(f: (A, B) => C)(using evidence$2: Applicative[F]): F[C]