Map each element of the structure to a scalaz.Semigroup, and combine the results.
Right-associative fold of a structure.
Whether all A
s in fa
yield true from p
.
Whether all A
s in fa
yield true from p
.
all
with monadic traversal.
all
with monadic traversal.
Whether any A
s in fa
yield true from p
.
Whether any A
s in fa
yield true from p
.
any
with monadic traversal.
any
with monadic traversal.
The composition of Foldable F
and Bifoldable G
, [x, y]F[G[x, y]]
, is a Bifoldable
The composition of Foldable F
and Bifoldable G
, [x, y]F[G[x, y]]
, is a Bifoldable
The composition of Foldable1 F
and G
, [x]F[G[x]]
, is a Foldable1
The composition of Foldables F
and G
, [x]F[G[x]]
, is a Foldable
The composition of Foldables F
and G
, [x]F[G[x]]
, is a Foldable
Alias for length
.
Alias for length
.
Whether a
is an element of fa
.
Whether a
is an element of fa
.
always return false
Combine the elements of a structure using a monoid.
Combine the elements of a structure using a monoid.
Left-associative fold of a structure.
Left-associative fold of a structure.
Left-associative fold of a structure.
Left-associative, monadic fold of a structure.
Left-associative, monadic fold of a structure.
Map each element of the structure to a scalaz.Monoid, and combine the results.
Map each element of the structure to a scalaz.Monoid, and combine the results.
As foldMap
but returning None
if the foldable is empty and Some
otherwise
Left-associative fold of a structure.
Specialization of foldRightM when B
has a Monoid
.
Specialization of foldRightM when B
has a Monoid
.
Right-associative fold of a structure.
Right-associative fold of a structure.
Right-associative, monadic fold of a structure.
Right-associative, monadic fold of a structure.
Curried version of foldLeft
Curried version of foldLeft
Curried foldLeft1
.
Curried version of foldLeftM
Curried version of foldLeftM
Curried version of foldRight
Curried version of foldRight
Curried foldRight1
.
Curried version of foldRightM
Curried version of foldRightM
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.
Insert an A
between every A, yielding the sum.
Deforested alias for toStream(fa).size
.
Deforested alias for toStream(fa).size
.
The greatest element of fa
, or None if fa
is empty.
The greatest element of fa
.
The element a
of fa
which yields the greatest value of f(a)
, or None if fa
is empty.
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
, or None if fa
is empty.
The greatest value of f(a)
for each element a
of fa
.
The smallest element of fa
, or None if fa
is empty.
The smallest element of fa
.
The element a
of fa
which yields the smallest value of f(a)
, or None if fa
is empty.
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
, or None if fa
is empty.
The smallest value of f(a)
for each element a
of fa
.
The product of Foldable1 F
and G
, [x](F[x], G[x]])
, is a Foldable1
The product of Foldables F
and G
, [x](F[x], G[x]])
, is a Foldable
The product of Foldables F
and G
, [x](F[x], G[x]])
, is a Foldable
The product of Foldable1 F
and Foldable 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 Foldable F
and Foldable1 G
, [x](F[x], G[x]])
, is a Foldable1
Selects groups of elements that satisfy p and discards others.
Selects groups of elements that satisfy p and discards others.
sequence_
for Free.
sequence_
for Free. collapses into a single Free *
sequence_
specialized to State
*
sequence_
specialized to State
*
Strict sequencing in an applicative functor M
that ignores the value in fa
.
Strict sequencing in an applicative functor M
that ignores the value in fa
.
Splits the elements into groups that alternatively satisfy and don't satisfy the predicate p.
Splits the elements into groups that alternatively satisfy and don't satisfy the predicate p.
traverse_
specialized to State
*
traverse_
specialized to State
*
A version of traverse_
that infers the type constructor M
.
A version of traverse_
that infers the type constructor M
.
Strict traversal in an applicative functor M
that ignores the result of f
.
Strict traversal in an applicative functor M
that ignores the result of f
.
A scalaz.Foldable where
foldMap
is total over semigroups. That is,toList
cannot return an empty list.