specs2-fp
specs2-fp
org.specs2.fp
Applicative
Applicative
ApplicativeSyntax
ApplicativeOps
ListApplicativeOps
EitherIdOps
EitherObjectOps
EitherOps
EitherSyntax
Foldable
Foldable
FoldableSyntax
FoldableMonoidOps
FoldableOps
Functor
Functor
FunctorSyntax
FunctorOps
FunctorSyntax
LeftOps
Memo
Memo
Monad
Monad
MonadSyntax
MonadOps
Monoid
Monoid
Name
Name
NaturalTransformation
NaturalTransformation
Need
Need
RightOps
Semigroup
Semigroup
SemigroupSyntax
SemigroupOps
Show
Show
ShowSyntax
ShowOps
Traverse
Traversal
Traverse
TraverseSyntax
SequenceOps
TraverseOps
TraverseSyntax
Tree
Tree
Leaf
Node
TreeLoc
TreeLoc
Value
syntax
specs2-fp
/
org.specs2.fp
/
FoldableSyntax
/
FoldableOps
FoldableOps
implicit
class
FoldableOps
[
F
[
_
],
A
](
fa:
F
[
A
])(
implicit
evidence$2:
Foldable
[
F
])
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
def
foldLeft
[
B
](
z:
B
)(
f: (
B
,
A
)
=>
B
):
B
def
foldLeftM
[
M
[
_
] :
Monad
,
B
](
z:
B
)(
f: (
B
,
A
)
=>
M
[
B
]):
M
[
B
]
def
foldMap
[
B
:
Monoid
](
f:
A
=>
B
):
B
def
foldRightM
[
M
[
_
] :
Monad
,
B
](
z:
B
)(
f: (
A
,
=>
B
)
=>
M
[
B
]):
M
[
B
]
def
suml
(
implicit
m:
Monoid
[
A
]):
A
def
sumr
(
implicit
m:
Monoid
[
A
]):
A
def
toList
:
List
[
A
]
def
traverse_
[
M
[
_
],
B
](
f:
A
=>
M
[
B
])(
implicit
a:
Applicative
[
M
]):
M
[
Unit
]
Concrete fields
val
foldable
:
Foldable
[
F
]