specs2-fp/org.specs2.fp/ApplicativeSyntax

ApplicativeSyntax

trait ApplicativeSyntax
class Object
trait Matchable
class Any
object syntax.type

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