Left-associative fold of a structure.
Map each element of the structure to a Monoid, and combine the results.
Right-associative fold of a structure.
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 length.
Deforested alias for toStream(fa).isEmpty.
Combine the elements of a structure using a monoid.
Left-associative, monadic fold of a structure.
Specialization of foldRightM when B has a Monoid.
Right-associative, monadic fold of a structure.
the element at index i in a Some, or None if the given index falls outside of the range
the element at index i, or default if the given index falls outside of the range
Insert an A between every A, yielding the sum.
Deforested alias for toStream(fa).size.
Strict sequencing in an applicative functor M that ignores the value in fa.
Strict traversal in an applicative functor M that ignores the result of f.
Inspired from the scalaz (https://github.com/scalaz/scalaz) project