core/cats.derived/DerivedFoldable

DerivedFoldable

object DerivedFoldable
class Object
trait Matchable
class Any

Type members

Classlikes

trait Coproduct[T <: ([x[_]] =>> Foldable[x]), F[_]](using inst: CoproductInstances[T, F]) extends Foldable[F]
trait Product[T <: ([x[_]] =>> Foldable[x]), F[_]](using inst: ProductInstances[T, F]) extends Foldable[F]

Types

type Or[F[_]] = Or[Foldable[F]]

Value members

Concrete methods

inline def apply[F[_]]: Foldable[F]

Givens

Givens

given DerivedFoldable_F: DerivedFoldable[[x] =>> F[G[x]]]