FoldableK

perspective.FoldableK
See theFoldableK companion trait
object FoldableK

Attributes

Companion
trait
Source
FoldableK.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
FoldableK.type

Members list

Givens

Givens

given composeCatsInside[F[_[_]], G[_]](using F: FoldableKC[F], G: Foldable[G]): composeCatsInside[F, G]

Attributes

Source
FoldableK.scala
given composeCatsOutside[F[_], G[_[_]]](using F: Foldable[F], G: FoldableKC[G]): composeCatsOutside[F, G]

Attributes

Source
FoldableK.scala
given composeId[F[_], X](using F: Foldable[F]): FoldableKC[[H[_]] =>> F[H[X]]]

Attributes

Source
FoldableK.scala
given idInstanceC[A]: FoldableKC[IdFC[A]]

Attributes

Source
FoldableK.scala