FoldableSyntax

org.specs2.fp.FoldableSyntax

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object syntax.type

Members list

Extensions

Extensions

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