specs2-fp/org.specs2.fp/FoldableSyntax

FoldableSyntax

trait FoldableSyntax
class Object
trait Matchable
class Any
object syntax

Extensions

Extensions

extension (fa: F[A])
def sumAll[F[_], A](using evidence$15: Foldable[F], evidence$16: Monoid[A]): A
extension (fa: F[A])
def foldLeft[F[_], A, B](z: B)(f: (B, A) => B)(using evidence$14: Foldable[F]): B
def foldMap[F[_], A, B](f: A => B)(using evidence$13: Foldable[F], Monoid[B]): B
extension (fa: F[A])
def foldLeftM[A, B, F[_], M[_]](z: B)(f: (B, A) => M[B])(using evidence$9: Foldable[F], evidence$10: Monad[M]): M[B]
def foldRightM[A, B, F[_], M[_]](z: B)(f: (A, => B) => M[B])(using evidence$11: Foldable[F], evidence$12: Monad[M]): M[B]
extension (fa: F[A])
def toList[F[_], A](using evidence$2: Foldable[F]): List[A]
extension (fa: F[A])
def suml[F[_], A](using evidence$5: Foldable[F], evidence$6: Monoid[A]): A
def sumr[F[_], A](using evidence$3: Foldable[F], evidence$4: Monoid[A]): A
extension (fa: F[A])
def traverse_[F[_], M[_], A, B](f: A => M[B])(using evidence$7: Foldable[F], evidence$8: Applicative[M]): M[Unit]