given_Monad_Gen
org.specs2.scalacheck.GenInstances.given_Monad_Gen
object given_Monad_Gen extends Monad[Gen]
Attributes
- Graph
-
- Supertypes
-
trait Monad[Gen]trait Applicative[Gen]trait Functor[Gen]class Objecttrait Matchableclass AnyShow all
- Self type
-
given_Monad_Gen.type
Members list
Value members
Inherited methods
Attributes
- Inherited from:
- Monad
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
def ap4[A, B, C, D, E](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D])(f: Gen[(A, B, C, D) => E]): F[E]
Attributes
- Inherited from:
- Applicative
def ap5[A, B, C, D, E, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E])(f: Gen[(A, B, C, D, E) => R]): F[R]
Attributes
- Inherited from:
- Applicative
def ap6[A, B, C, D, E, FF, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E], ff: => Gen[FF])(f: Gen[(A, B, C, D, E, FF) => R]): F[R]
Attributes
- Inherited from:
- Applicative
def ap7[A, B, C, D, E, FF, G, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E], ff: => Gen[FF], fg: => Gen[G])(f: Gen[(A, B, C, D, E, FF, G) => R]): F[R]
Attributes
- Inherited from:
- Applicative
def ap8[A, B, C, D, E, FF, G, H, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E], ff: => Gen[FF], fg: => Gen[G], fh: => Gen[H])(f: Gen[(A, B, C, D, E, FF, G, H) => R]): F[R]
Attributes
- Inherited from:
- Applicative
def apply10[A, B, C, D, E, FF, G, H, I, J, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E], ff: => Gen[FF], fg: => Gen[G], fh: => Gen[H], fi: => Gen[I], fj: => Gen[J])(f: (A, B, C, D, E, FF, G, H, I, J) => R): F[R]
Attributes
- Inherited from:
- Applicative
def apply11[A, B, C, D, E, FF, G, H, I, J, K, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E], ff: => Gen[FF], fg: => Gen[G], fh: => Gen[H], fi: => Gen[I], fj: => Gen[J], fk: => Gen[K])(f: (A, B, C, D, E, FF, G, H, I, J, K) => R): F[R]
Attributes
- Inherited from:
- Applicative
def apply12[A, B, C, D, E, FF, G, H, I, J, K, L, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E], ff: => Gen[FF], fg: => Gen[G], fh: => Gen[H], fi: => Gen[I], fj: => Gen[J], fk: => Gen[K], fl: => Gen[L])(f: (A, B, C, D, E, FF, G, H, I, J, K, L) => R): F[R]
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
def apply4[A, B, C, D, E](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D])(f: (A, B, C, D) => E): F[E]
Attributes
- Inherited from:
- Applicative
def apply5[A, B, C, D, E, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E])(f: (A, B, C, D, E) => R): F[R]
Attributes
- Inherited from:
- Applicative
def apply6[A, B, C, D, E, FF, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E], ff: => Gen[FF])(f: (A, B, C, D, E, FF) => R): F[R]
Attributes
- Inherited from:
- Applicative
def apply7[A, B, C, D, E, FF, G, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E], ff: => Gen[FF], fg: => Gen[G])(f: (A, B, C, D, E, FF, G) => R): F[R]
Attributes
- Inherited from:
- Applicative
def apply8[A, B, C, D, E, FF, G, H, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E], ff: => Gen[FF], fg: => Gen[G], fh: => Gen[H])(f: (A, B, C, D, E, FF, G, H) => R): F[R]
Attributes
- Inherited from:
- Applicative
def apply9[A, B, C, D, E, FF, G, H, I, R](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E], ff: => Gen[FF], fg: => Gen[G], fh: => Gen[H], fi: => Gen[I])(f: (A, B, C, D, E, FF, G, H, I) => R): F[R]
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Functor
Filter l
according to an applicative predicate.
Filter l
according to an applicative predicate.
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Monad
Execute an action repeatedly until its result satisfies the given predicate and return that result, discarding all others.
Execute an action repeatedly until its result satisfies the given predicate and return that result, discarding all others.
Attributes
- Inherited from:
- Monad
Attributes
- Inherited from:
- Monad
Attributes
- Inherited from:
- Monad
def lift10[A, B, C, D, E, FF, G, H, I, J, R](f: (A, B, C, D, E, FF, G, H, I, J) => R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I], F[J]) => F[R]
Attributes
- Inherited from:
- Applicative
def lift11[A, B, C, D, E, FF, G, H, I, J, K, R](f: (A, B, C, D, E, FF, G, H, I, J, K) => R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I], F[J], F[K]) => F[R]
Attributes
- Inherited from:
- Applicative
def lift12[A, B, C, D, E, FF, G, H, I, J, K, L, R](f: (A, B, C, D, E, FF, G, H, I, J, K, L) => R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I], F[J], F[K], F[L]) => F[R]
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
def lift6[A, B, C, D, E, FF, R](f: (A, B, C, D, E, FF) => R): (F[A], F[B], F[C], F[D], F[E], F[FF]) => F[R]
Attributes
- Inherited from:
- Applicative
def lift7[A, B, C, D, E, FF, G, R](f: (A, B, C, D, E, FF, G) => R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G]) => F[R]
Attributes
- Inherited from:
- Applicative
def lift8[A, B, C, D, E, FF, G, H, R](f: (A, B, C, D, E, FF, G, H) => R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H]) => F[R]
Attributes
- Inherited from:
- Applicative
def lift9[A, B, C, D, E, FF, G, H, I, R](f: (A, B, C, D, E, FF, G, H, I) => R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I]) => F[R]
Attributes
- Inherited from:
- Applicative
Attributes
- Definition Classes
-
Monad -> Applicative -> Functor
- Inherited from:
- Monad
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Monad
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Applicative
def tuple5[A, B, C, D, E](fa: => Gen[A], fb: => Gen[B], fc: => Gen[C], fd: => Gen[D], fe: => Gen[E]): F[(A, B, C, D, E)]
Attributes
- Inherited from:
- Applicative
Returns the given argument if cond
is false
, otherwise, unit lifted into F.
Returns the given argument if cond
is false
, otherwise, unit lifted into F.
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Functor
Returns the given argument if cond
is true
, otherwise, unit lifted into F.
Returns the given argument if cond
is true
, otherwise, unit lifted into F.
Attributes
- Inherited from:
- Applicative
Attributes
- Inherited from:
- Functor
In this article