IsomorphismTraverse

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 map.

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 Functor F and Bifunctor G, [x, y]F[G[x, y]], is a Bifunctor

The composition of Traverse F and Bitraverse G, [x, y]F[G[x, y]], is a Bitraverse

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

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

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

Alias for length.

O(n log n) complexity

O(n^2^) complexity

Whether a is an element of fa.

Deforested alias for toStream(fa).isEmpty.

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, monadic fold of a structure.

As foldMap but returning None if the foldable is empty and Some otherwise

Specialization of foldRightM when B has a Monoid.

Right-associative, monadic fold of a structure.

Curried version of foldLeft

Curried version of foldLeftM

Curried version of foldRight

Curried version of foldRightM

Twin all As in fa.

Pair all As in fa with the result of function application.

The composition of Functor F and Contravariant G, [x]F[G[x]], is contravariant.

Insert an A between every A, yielding the sum.

Deforested alias for toStream(fa).size.

Lift f into F.

Lift apply(a), and apply the result to f.

The greatest element of fa, or None if fa is empty.

The element a of fa which yields the greatest value of f(a), or None if fa is empty.

The greatest value of f(a) for each element a of fa, or None if fa is empty.

The smallest element of fa, or None if fa is empty.

The element a of fa which yields the smallest value of f(a), or None if fa is empty.

The smallest value of f(a) for each element a of fa, or None if fa is empty.

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

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

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

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

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

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.

Traverse with the identity function.

sequence_ for Free. collapses into a single Free *

A version of sequence where a subsequent monadic join is applied to the inner result

Traverse with State.

sequence_ specialized to State *

A version of sequence that infers the nested type constructor.

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.

Inject a to the left of Bs in f.

Inject b to the right of As in f.

Traverse fa with a Kleisli[G, S, B], internally using a Trampoline to avoid stack overflow.

A version of traverse where a subsequent monadic join is applied to the inner result.

Traverse with State.

Traverse fa with a State[S, G[B]], internally using a Trampoline to avoid stack overflow.

traverse_ specialized to State *

A version of traverse that infers the type constructor G.

A version of traverse_ that infers the type constructor M.

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

Empty fa of meaningful pure values, preserving its structure.

Functors are covariant by nature, so we can treat an F[A] as an F[B] if A is a subtype of B.

Converts ma to a value of type F[B] using the provided bijection.

Converts ma to a value of type F[B] using the provided isomorphism.