FoldableK

perspective.FoldableK
See theFoldableK companion object
trait FoldableK[F[_[_], _]]

A higher kinded Foldable typeclass.

Attributes

Companion
object
Source
FoldableK.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TraverseK[F]

Members list

Extensions

Extensions

extension [A[_], C](fa: F[A, C])
def foldLeftK[B](b: B)(f: B => A :~>#: B): B

A higher kinded equivalent of Foldable.foldLeft.

A higher kinded equivalent of Foldable.foldLeft.

Attributes

Source
FoldableK.scala
def foldMapK[B](f: A :~>#: B)(using B: Monoid[B]): B

A higher kinded equivalent of Foldable.foldMap.

A higher kinded equivalent of Foldable.foldMap.

Attributes

Source
FoldableK.scala
def foldRightK[B](b: B)(f: A :~>#: (B => B)): B

Attributes

Source
FoldableK.scala
extension [A, C](fa: F[Const[A], C])
def toListK: List[A]

A higher kinded equivalent of Foldable.toList.

A higher kinded equivalent of Foldable.toList.

Attributes

Source
FoldableK.scala