IsomorphismFoldable1

Whether all As in fa yield true from p.

all with monadic traversal.

Whether any As in fa yield true from p.

any with monadic traversal.

Alias for psum. asum is the name used in Haskell.

The composition of Foldable F and Bifoldable G, [x, y]F[G[x, y]], is a Bifoldable

The composition of Foldables F and G, [x]F[G[x]], is a Foldable

The composition of Foldable1 F and G, [x]F[G[x]], is a Foldable1

Alias for length.

O(n log n) complexity

O(n log n) complexity

O(n^2^) complexity

O(n^2^) complexity

Whether a is an element of fa.

always return false

The smallest and largest elements of fa or None if fa is empty

The elements (amin, amax) of fa which yield the smallest and largest values of f(a), respectively, or None if fa is empty

The smallest and largest values of f(a) for each element a of fa , or None if fa is empty

map elements in a Foldable with a monadic function and return the first element that is mapped successfully

Combine the elements of a structure using a monoid.

Like fold but returning None if the foldable is empty and Some otherwise

Left-associative fold of a structure.

Left-associative, monadic fold of a structure.

Specialization of foldRightM when B has a Monoid.

Right-associative fold of a structure.

Right-associative, monadic fold of a structure.

Curried version of foldLeft

Curried foldLeft1.

Curried version of foldLeftM

Curried version of foldLeftM1

Curried version of foldRight

Curried foldRight1.

Curried version of foldRightM

Curried version of foldRightM1

Insert an A between every A, yielding the sum.

Deforested alias for toStream(fa).size.

The greatest element of fa.

The element a of fa which yield the greatest value of f(a).

The greatest value of f(a) for each element a of fa.

The smallest element of fa.

The element a of fa which yield the smallest value of f(a).

The smallest value of f(a) for each element a of fa.

The product of Foldables F and G, [x](F[x], G[x]]), is a Foldable

The product of Foldable1 F and G, [x](F[x], G[x]]), is a Foldable1

The product of Foldable F and Foldable1 G, [x](F[x], G[x]]), is a Foldable1

The product of Foldable1 F and Foldable G, [x](F[x], G[x]]), is a Foldable1

Sum using a polymorphic monoid (PlusEmpty). Should support early termination, i.e. summing no more elements than is needed to determine the result.

Map elements to G[B] and sum using a polymorphic monoid (PlusEmpty). Should support early termination, i.e. mapping and summing no more elements than is needed to determine the result.

Selects groups of elements that satisfy p and discards others.

sequence_ for Free. collapses into a single Free *

sequence_ specialized to State *

Strict sequencing in an applicative functor M that ignores the value in fa.

Splits the elements into groups that produce the same result by a function f.

Splits into groups of elements that are transitively dependant by a relation r.

Splits the elements into groups that alternatively satisfy and don't satisfy the predicate p.

traverse_ specialized to State *

A version of traverse_ that infers the type constructor M.

Strict traversal in an applicative functor M that ignores the result of f.