syntax
org.specs2.fp.package$.syntax$
object syntax extends FunctorSyntax with ApplicativeSyntax with MonadSyntax with TraverseSyntax with FoldableSyntax with SemigroupSyntax with ShowSyntax with EitherSyntax with Identityx
Attributes
- Graph
- Supertypes
- trait Identityxtrait EitherSyntaxtrait ShowSyntaxtrait SemigroupSyntaxtrait FoldableSyntaxtrait TraverseSyntaxtrait MonadSyntaxtrait ApplicativeSyntaxtrait FunctorSyntaxclass Objecttrait Matchableclass Any
- Self type
- syntax.type
Members list
Concise view
Type members
Inherited classlikes
Attributes
- Inherited from:
- MonadSyntax
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Attributes
- Inherited from:
- MonadSyntax
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Value members
Inherited methods
Attributes
- Inherited from:
- ApplicativeSyntax
Attributes
- Inherited from:
- ApplicativeSyntax
Extensions
Inherited extensions
extension [A](a: A)
Attributes
- Inherited from:
- ShowSyntax
extension [A, B](eab: Either[A, B])
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
extension [F[_], A, B, AA >: A, C](eab: Either[A, B])
Attributes
- Inherited from:
- EitherSyntax
extension [A, B, C, D](eab: Either[A, B])
Attributes
- Inherited from:
- EitherSyntax
extension [A, B, AA >: A, BB >: B, C](eab: Either[A, B])
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
Attributes
- Inherited from:
- EitherSyntax
extension [F[_], A, B](fa: F[A])
Attributes
- Inherited from:
- FunctorSyntax
Attributes
- Inherited from:
- FunctorSyntax
extension [F[_], A, B](fa: F[A])
Attributes
- Inherited from:
- ApplicativeSyntax
Attributes
- Inherited from:
- ApplicativeSyntax
Attributes
- Inherited from:
- ApplicativeSyntax
extension [F[_], A](fa: F[A])
Attributes
- Inherited from:
- FoldableSyntax
extension [F[_], A, B, C](fa: F[A])
Attributes
- Inherited from:
- ApplicativeSyntax
extension [F[_], M[_], A, B](fa: F[A])
Attributes
- Inherited from:
- FoldableSyntax
extension [A, B, F[_], M[_]](fa: F[A])
Attributes
- Inherited from:
- FoldableSyntax
def foldRightM(z: B)(f: (A, => B) => M[B])(using evidence$11: Foldable[F], evidence$12: Monad[M]): M[B]
Attributes
- Inherited from:
- FoldableSyntax
extension [F[_], A](fa: List[A])
Attributes
- Inherited from:
- ApplicativeSyntax
extension [F[_], A](fa: F[A])
Attributes
- Inherited from:
- FunctorSyntax
extension [F[_], A](fa: F[A])
Attributes
- Inherited from:
- FoldableSyntax
Attributes
- Inherited from:
- FoldableSyntax
extension [F[_], A](fa: F[A])
Attributes
- Inherited from:
- FoldableSyntax
extension [F[_], G[_], A](fa: F[G[A]])
Attributes
- Inherited from:
- TraverseSyntax
extension [F[_], A, B](fa: F[A])
Attributes
- Inherited from:
- FoldableSyntax
Attributes
- Inherited from:
- FoldableSyntax
extension [F[_], A](fa: F[A])
Attributes
- Inherited from:
- ApplicativeSyntax
Attributes
- Inherited from:
- ApplicativeSyntax
extension [F[_], A, G[_], B](fa: F[A])
Attributes
- Inherited from:
- TraverseSyntax
extension [T](t: => T)
These extension methods provide the possibility to execute a function on an object if a condition is true If not, the object is returned
These extension methods provide the possibility to execute a function on an object if a condition is true If not, the object is returned
Attributes
- Inherited from:
- Identityx
Implicits
Inherited implicits
final implicit def MonadFlattenOps[F[_], A](fa: F[F[A]])(using evidence$2: Monad[F]): MonadFlattenOps[F, A]
Attributes
- Inherited from:
- MonadSyntax
Attributes
- Inherited from:
- MonadSyntax