specs2-fp
specs2-fp
API
org.specs2.fp
Applicative
Applicative
ApplicativeSyntax
EitherSyntax
Foldable
Foldable
given_Foldable_LazyList
given_Foldable_List
given_Foldable_Vector
FoldableSyntax
Functor
Functor
OptionFunctor
FunctorSyntax
FunctorSyntax
Identityx
Identityx
Memo
Memo
Monad
Monad
idMonad
optionMonad
MonadSyntax
MonadFlattenOps
MonadOps
Monoid
Monoid
Name
Name
name
NaturalTransformation
NaturalTransformation
Need
Need
Semigroup
Semigroup
SemigroupSyntax
Show
Show
ShowSyntax
Traverse
Traversal
Traverse
listInstance
TraverseSyntax
TraverseSyntax
Tree
Tree
Leaf
Node
TreeLoc
TreeLoc
Value
syntax
specs2-fp
/
org.specs2.fp
/
FoldableSyntax
FoldableSyntax
org.specs2.fp.FoldableSyntax
trait
FoldableSyntax
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
object
syntax
.type
Members list
Clear all
Extensions
Extensions
extension
[
F
[
_
],
A
](
fa
:
F
[
A
])(
using
evidence$2
:
Foldable
[
F
])
def
toList
:
List
[
A
]
extension
[
F
[
_
],
A
](
fa
:
F
[
A
])(
using
evidence$5
:
Foldable
[
F
],
evidence$6
:
Monoid
[
A
])
def
suml
:
A
extension
[
F
[
_
],
A
](
fa
:
F
[
A
])(
using
evidence$3
:
Foldable
[
F
],
evidence$4
:
Monoid
[
A
])
def
sumr
:
A
extension
[
F
[
_
],
M
[
_
],
A
,
B
](
fa
:
F
[
A
])(
using
evidence$7
:
Foldable
[
F
],
evidence$8
:
Applicative
[
M
])
def
traverse_
(
f
:
A
=>
M
[
B
]):
M
[
Unit
]
extension
[
A
,
B
,
F
[
_
],
M
[
_
]](
fa
:
F
[
A
])(
using
evidence$9
:
Foldable
[
F
],
evidence$10
:
Monad
[
M
])
def
foldLeftM
(
z
:
B
)(
f
: (
B
,
A
)
=>
M
[
B
]):
M
[
B
]
extension
[
A
,
B
,
F
[
_
],
M
[
_
]](
fa
:
F
[
A
])(
using
evidence$11
:
Foldable
[
F
],
evidence$12
:
Monad
[
M
])
def
foldRightM
(
z
:
B
)(
f
: (
A
,
=>
B
)
=>
M
[
B
]):
M
[
B
]
extension
[
F
[
_
],
A
,
B
](
fa
:
F
[
A
])(
using
evidence$13
:
Foldable
[
F
],
Monoid
[
B
])
def
foldMap
(
f
:
A
=>
B
):
B
extension
[
F
[
_
],
A
,
B
](
fa
:
F
[
A
])(
using
evidence$14
:
Foldable
[
F
])
def
foldLeft
(
z
:
B
)(
f
: (
B
,
A
)
=>
B
):
B
extension
[
F
[
_
],
A
](
fa
:
F
[
A
])(
using
evidence$15
:
Foldable
[
F
],
evidence$16
:
Monoid
[
A
])
def
sumAll
:
A
In this article
Attributes
Members list
Extensions
Extensions