A
Applicative instance
This means that we can write:
val mean: Fold[Int, Int] = (sum |@| count)(_ / _)
An Applicative instance is also a Functor instance so we can write:
val meanTimes2 = mean.map(_ * 2)
Value members
Concrete methods
Inherited methods
def ap2[A, B, C](fa: => Fold[M, T, A], fb: => Fold[M, T, B])(f: Fold[M, T, (A, B) => C]): Fold[M, T, C]
- Inherited from
- Applicative
def ap3[A, B, C, D](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C])(f: Fold[M, T, (A, B, C) => D]): Fold[M, T, D]
- Inherited from
- Applicative
def ap4[A, B, C, D, E](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D])(f: Fold[M, T, (A, B, C, D) => E]): Fold[M, T, E]
- Inherited from
- Applicative
def ap5[A, B, C, D, E, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E])(f: Fold[M, T, (A, B, C, D, E) => R]): Fold[M, T, R]
- Inherited from
- Applicative
def ap6[A, B, C, D, E, FF, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E], ff: => Fold[M, T, FF])(f: Fold[M, T, (A, B, C, D, E, FF) => R]): Fold[M, T, R]
- Inherited from
- Applicative
def ap7[A, B, C, D, E, FF, G, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E], ff: => Fold[M, T, FF], fg: => Fold[M, T, G])(f: Fold[M, T, (A, B, C, D, E, FF, G) => R]): Fold[M, T, R]
- Inherited from
- Applicative
def ap8[A, B, C, D, E, FF, G, H, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E], ff: => Fold[M, T, FF], fg: => Fold[M, T, G], fh: => Fold[M, T, H])(f: Fold[M, T, (A, B, C, D, E, FF, G, H) => R]): Fold[M, T, R]
- Inherited from
- Applicative
def apply10[A, B, C, D, E, FF, G, H, I, J, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E], ff: => Fold[M, T, FF], fg: => Fold[M, T, G], fh: => Fold[M, T, H], fi: => Fold[M, T, I], fj: => Fold[M, T, J])(f: (A, B, C, D, E, FF, G, H, I, J) => R): Fold[M, T, R]
- Inherited from
- Applicative
def apply11[A, B, C, D, E, FF, G, H, I, J, K, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E], ff: => Fold[M, T, FF], fg: => Fold[M, T, G], fh: => Fold[M, T, H], fi: => Fold[M, T, I], fj: => Fold[M, T, J], fk: => Fold[M, T, K])(f: (A, B, C, D, E, FF, G, H, I, J, K) => R): Fold[M, T, R]
- Inherited from
- Applicative
def apply12[A, B, C, D, E, FF, G, H, I, J, K, L, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E], ff: => Fold[M, T, FF], fg: => Fold[M, T, G], fh: => Fold[M, T, H], fi: => Fold[M, T, I], fj: => Fold[M, T, J], fk: => Fold[M, T, K], fl: => Fold[M, T, L])(f: (A, B, C, D, E, FF, G, H, I, J, K, L) => R): Fold[M, T, R]
- Inherited from
- Applicative
def apply3[A, B, C, D](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C])(f: (A, B, C) => D): Fold[M, T, D]
- Inherited from
- Applicative
def apply4[A, B, C, D, E](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D])(f: (A, B, C, D) => E): Fold[M, T, E]
- Inherited from
- Applicative
def apply5[A, B, C, D, E, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E])(f: (A, B, C, D, E) => R): Fold[M, T, R]
- Inherited from
- Applicative
def apply6[A, B, C, D, E, FF, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E], ff: => Fold[M, T, FF])(f: (A, B, C, D, E, FF) => R): Fold[M, T, R]
- Inherited from
- Applicative
def apply7[A, B, C, D, E, FF, G, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E], ff: => Fold[M, T, FF], fg: => Fold[M, T, G])(f: (A, B, C, D, E, FF, G) => R): Fold[M, T, R]
- Inherited from
- Applicative
def apply8[A, B, C, D, E, FF, G, H, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E], ff: => Fold[M, T, FF], fg: => Fold[M, T, G], fh: => Fold[M, T, H])(f: (A, B, C, D, E, FF, G, H) => R): Fold[M, T, R]
- Inherited from
- Applicative
def apply9[A, B, C, D, E, FF, G, H, I, R](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E], ff: => Fold[M, T, FF], fg: => Fold[M, T, G], fh: => Fold[M, T, H], fi: => Fold[M, T, I])(f: (A, B, C, D, E, FF, G, H, I) => R): Fold[M, T, R]
- Inherited from
- Applicative
Filter l
according to an applicative predicate.
Filter l
according to an applicative predicate.
- Inherited from
- Applicative
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): (Fold[M, T, A], Fold[M, T, B], Fold[M, T, C], Fold[M, T, D], Fold[M, T, E], Fold[M, T, FF], Fold[M, T, G], Fold[M, T, H], Fold[M, T, I], Fold[M, T, J]) => Fold[M, T, 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): (Fold[M, T, A], Fold[M, T, B], Fold[M, T, C], Fold[M, T, D], Fold[M, T, E], Fold[M, T, FF], Fold[M, T, G], Fold[M, T, H], Fold[M, T, I], Fold[M, T, J], Fold[M, T, K]) => Fold[M, T, 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): (Fold[M, T, A], Fold[M, T, B], Fold[M, T, C], Fold[M, T, D], Fold[M, T, E], Fold[M, T, FF], Fold[M, T, G], Fold[M, T, H], Fold[M, T, I], Fold[M, T, J], Fold[M, T, K], Fold[M, T, L]) => Fold[M, T, R]
- Inherited from
- Applicative
def lift3[A, B, C, D](f: (A, B, C) => D): (Fold[M, T, A], Fold[M, T, B], Fold[M, T, C]) => Fold[M, T, D]
- Inherited from
- Applicative
def lift4[A, B, C, D, E](f: (A, B, C, D) => E): (Fold[M, T, A], Fold[M, T, B], Fold[M, T, C], Fold[M, T, D]) => Fold[M, T, E]
- Inherited from
- Applicative
def lift5[A, B, C, D, E, R](f: (A, B, C, D, E) => R): (Fold[M, T, A], Fold[M, T, B], Fold[M, T, C], Fold[M, T, D], Fold[M, T, E]) => Fold[M, T, R]
- Inherited from
- Applicative
def lift6[A, B, C, D, E, FF, R](f: (A, B, C, D, E, FF) => R): (Fold[M, T, A], Fold[M, T, B], Fold[M, T, C], Fold[M, T, D], Fold[M, T, E], Fold[M, T, FF]) => Fold[M, T, R]
- Inherited from
- Applicative
def lift7[A, B, C, D, E, FF, G, R](f: (A, B, C, D, E, FF, G) => R): (Fold[M, T, A], Fold[M, T, B], Fold[M, T, C], Fold[M, T, D], Fold[M, T, E], Fold[M, T, FF], Fold[M, T, G]) => Fold[M, T, 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): (Fold[M, T, A], Fold[M, T, B], Fold[M, T, C], Fold[M, T, D], Fold[M, T, E], Fold[M, T, FF], Fold[M, T, G], Fold[M, T, H]) => Fold[M, T, 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): (Fold[M, T, A], Fold[M, T, B], Fold[M, T, C], Fold[M, T, D], Fold[M, T, E], Fold[M, T, FF], Fold[M, T, G], Fold[M, T, H], Fold[M, T, I]) => Fold[M, T, R]
- Inherited from
- Applicative
def traverse[A, G[_], B](value: G[A])(f: A => Fold[M, T, B])(using G: Traverse[G]): Fold[M, T, G[B]]
- Inherited from
- Applicative
def tuple3[A, B, C](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C]): Fold[M, T, (A, B, C)]
- Inherited from
- Applicative
def tuple4[A, B, C, D](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D]): Fold[M, T, (A, B, C, D)]
- Inherited from
- Applicative
def tuple5[A, B, C, D, E](fa: => Fold[M, T, A], fb: => Fold[M, T, B], fc: => Fold[M, T, C], fd: => Fold[M, T, D], fe: => Fold[M, T, E]): Fold[M, T, (A, B, C, D, E)]
- 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.
- Inherited from
- Applicative