specs2-fp/org.specs2.fp/Name/name

name

object name extends Monad[Name]
trait Monad[Name]
trait Functor[Name]
class Object
trait Matchable
class Any
name.type

Value members

Concrete methods

def bind[A, B](fa: Name[A])(f: A => Name[B]): Name[B]
def point[A](a: => A): Name[A]

Inherited methods

def ap[A, B](fa: => Name[A])(f: => Name[A => B]): Name[B]
Inherited from:
Monad
def ap2[A, B, C](fa: => Name[A], fb: => Name[B])(f: Name[(A, B) => C]): Name[C]
Inherited from:
Applicative
def ap3[A, B, C, D](fa: => Name[A], fb: => Name[B], fc: => Name[C])(f: Name[(A, B, C) => D]): Name[D]
Inherited from:
Applicative
def ap4[A, B, C, D, E](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D])(f: Name[(A, B, C, D) => E]): Name[E]
Inherited from:
Applicative
def ap5[A, B, C, D, E, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E])(f: Name[(A, B, C, D, E) => R]): Name[R]
Inherited from:
Applicative
def ap6[A, B, C, D, E, FF, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E], ff: => Name[FF])(f: Name[(A, B, C, D, E, FF) => R]): Name[R]
Inherited from:
Applicative
def ap7[A, B, C, D, E, FF, G, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E], ff: => Name[FF], fg: => Name[G])(f: Name[(A, B, C, D, E, FF, G) => R]): Name[R]
Inherited from:
Applicative
def ap8[A, B, C, D, E, FF, G, H, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E], ff: => Name[FF], fg: => Name[G], fh: => Name[H])(f: Name[(A, B, C, D, E, FF, G, H) => R]): Name[R]
Inherited from:
Applicative
def apply10[A, B, C, D, E, FF, G, H, I, J, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E], ff: => Name[FF], fg: => Name[G], fh: => Name[H], fi: => Name[I], fj: => Name[J])(f: (A, B, C, D, E, FF, G, H, I, J) => R): Name[R]
Inherited from:
Applicative
def apply11[A, B, C, D, E, FF, G, H, I, J, K, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E], ff: => Name[FF], fg: => Name[G], fh: => Name[H], fi: => Name[I], fj: => Name[J], fk: => Name[K])(f: (A, B, C, D, E, FF, G, H, I, J, K) => R): Name[R]
Inherited from:
Applicative
def apply12[A, B, C, D, E, FF, G, H, I, J, K, L, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E], ff: => Name[FF], fg: => Name[G], fh: => Name[H], fi: => Name[I], fj: => Name[J], fk: => Name[K], fl: => Name[L])(f: (A, B, C, D, E, FF, G, H, I, J, K, L) => R): Name[R]
Inherited from:
Applicative
def apply2[A, B, C](fa: => Name[A], fb: => Name[B])(f: (A, B) => C): Name[C]
Inherited from:
Applicative
def apply3[A, B, C, D](fa: => Name[A], fb: => Name[B], fc: => Name[C])(f: (A, B, C) => D): Name[D]
Inherited from:
Applicative
def apply4[A, B, C, D, E](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D])(f: (A, B, C, D) => E): Name[E]
Inherited from:
Applicative
def apply5[A, B, C, D, E, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E])(f: (A, B, C, D, E) => R): Name[R]
Inherited from:
Applicative
def apply6[A, B, C, D, E, FF, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E], ff: => Name[FF])(f: (A, B, C, D, E, FF) => R): Name[R]
Inherited from:
Applicative
def apply7[A, B, C, D, E, FF, G, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E], ff: => Name[FF], fg: => Name[G])(f: (A, B, C, D, E, FF, G) => R): Name[R]
Inherited from:
Applicative
def apply8[A, B, C, D, E, FF, G, H, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E], ff: => Name[FF], fg: => Name[G], fh: => Name[H])(f: (A, B, C, D, E, FF, G, H) => R): Name[R]
Inherited from:
Applicative
def apply9[A, B, C, D, E, FF, G, H, I, R](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E], ff: => Name[FF], fg: => Name[G], fh: => Name[H], fi: => Name[I])(f: (A, B, C, D, E, FF, G, H, I) => R): Name[R]
Inherited from:
Applicative
def as[A, B](fa: Name[A])(b: => B): Name[B]
Inherited from:
Functor
def filterM[A](l: List[A])(f: A => Name[Boolean]): Name[List[A]]

Filter l according to an applicative predicate.

Filter l according to an applicative predicate.

Inherited from:
Applicative
def flatMap[A, B](fa: Name[A])(f: A => Name[B]): Name[B]
Inherited from:
Monad
def iterateUntil[A](f: Name[A])(p: A => Boolean): Name[A]

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.

Inherited from:
Monad
def iterateWhile[A](f: Name[A])(p: A => Boolean): Name[A]
Inherited from:
Monad
def join[A](ffa: Name[Name[A]]): Name[A]
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): (Name[A], Name[B], Name[C], Name[D], Name[E], Name[FF], Name[G], Name[H], Name[I], Name[J]) => Name[R]
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): (Name[A], Name[B], Name[C], Name[D], Name[E], Name[FF], Name[G], Name[H], Name[I], Name[J], Name[K]) => Name[R]
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): (Name[A], Name[B], Name[C], Name[D], Name[E], Name[FF], Name[G], Name[H], Name[I], Name[J], Name[K], Name[L]) => Name[R]
Inherited from:
Applicative
def lift2[A, B, C](f: (A, B) => C): (Name[A], Name[B]) => Name[C]
Inherited from:
Applicative
def lift3[A, B, C, D](f: (A, B, C) => D): (Name[A], Name[B], Name[C]) => Name[D]
Inherited from:
Applicative
def lift4[A, B, C, D, E](f: (A, B, C, D) => E): (Name[A], Name[B], Name[C], Name[D]) => Name[E]
Inherited from:
Applicative
def lift5[A, B, C, D, E, R](f: (A, B, C, D, E) => R): (Name[A], Name[B], Name[C], Name[D], Name[E]) => Name[R]
Inherited from:
Applicative
def lift6[A, B, C, D, E, FF, R](f: (A, B, C, D, E, FF) => R): (Name[A], Name[B], Name[C], Name[D], Name[E], Name[FF]) => Name[R]
Inherited from:
Applicative
def lift7[A, B, C, D, E, FF, G, R](f: (A, B, C, D, E, FF, G) => R): (Name[A], Name[B], Name[C], Name[D], Name[E], Name[FF], Name[G]) => Name[R]
Inherited from:
Applicative
def lift8[A, B, C, D, E, FF, G, H, R](f: (A, B, C, D, E, FF, G, H) => R): (Name[A], Name[B], Name[C], Name[D], Name[E], Name[FF], Name[G], Name[H]) => Name[R]
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): (Name[A], Name[B], Name[C], Name[D], Name[E], Name[FF], Name[G], Name[H], Name[I]) => Name[R]
Inherited from:
Applicative
override def map[A, B](fa: Name[A])(f: A => B): Name[B]
Definition Classes
Inherited from:
Monad
final def pure[A](a: => A): Name[A]
Inherited from:
Applicative
def sequence[A, G[_]](as: G[Name[A]])(using evidence$1: Traverse[G]): Name[G[A]]
Inherited from:
Applicative
def tailrecM[A, B](a: A)(f: A => Name[Either[A, B]]): Name[B]
Inherited from:
Monad
def traverse[A, G[_], B](value: G[A])(f: A => Name[B])(using G: Traverse[G]): Name[G[B]]
Inherited from:
Applicative
def tuple2[A, B](fa: => Name[A], fb: => Name[B]): Name[(A, B)]
Inherited from:
Applicative
def tuple3[A, B, C](fa: => Name[A], fb: => Name[B], fc: => Name[C]): Name[(A, B, C)]
Inherited from:
Applicative
def tuple4[A, B, C, D](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D]): Name[(A, B, C, D)]
Inherited from:
Applicative
def tuple5[A, B, C, D, E](fa: => Name[A], fb: => Name[B], fc: => Name[C], fd: => Name[D], fe: => Name[E]): Name[(A, B, C, D, E)]
Inherited from:
Applicative
def unless[A](cond: Boolean)(f: => Name[A]): Name[Unit]

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.

Inherited from:
Applicative
def void[A](fa: Name[A]): Name[Unit]
Inherited from:
Functor
def when[A](cond: Boolean)(f: => Name[A]): Name[Unit]

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.

Inherited from:
Applicative
def xmap[A, B](fa: Name[A], f: A => B, g: B => A): Name[B]
Inherited from:
Functor