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 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
Deforested alias for toStream(fa).size
.
Deforested alias for toStream(fa).size
.
Whether a
is an element of fa
.
Whether a
is an element of fa
.
Deforested alias for toStream(fa).isEmpty
.
Deforested alias for toStream(fa).isEmpty
.
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, 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.
Unbiased sum of monoidal values.
Unbiased sum of monoidal values.
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.
Curred version of foldLeft
Curred version of foldLeft
Curried version of foldLeftM
Curried version of foldLeftM
Curried version of foldRight
Curried version of foldRight
Curried version of foldRightM
Curried version of foldRightM
Insert an A
between every A, yielding the sum.
Insert an A
between every A, yielding the sum.
The greatest element of fa
, or None if fa
is empty.
The greatest element of fa
, or None if fa
is empty.
The smallest element of fa
, or None if fa
is empty.
The smallest element 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 Foldables F
and G
, [x](F[x], G[x]])
, is a Foldable
Selects groups of elements that satisfy p and discards others.
Selects groups of elements that satisfy p and discards others.
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
*
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
.