specs2-fp/org.specs2.fp/FoldableSyntax

FoldableSyntax

trait FoldableSyntax
class Object
trait Matchable
class Any
object syntax.type

Extensions

Extensions

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