specs2-fp
specs2-fp
org.specs2.fp
Applicative
Applicative
futureApplicative
ApplicativeSyntax
EitherSyntax
Foldable
Foldable
given_Foldable_List
given_Foldable_Vector
given_Foldable_LazyList
FoldableSyntax
Functor
Functor
OptionFunctor
EitherFunctor
FunctorSyntax
FunctorSyntax
Identityx
Identityx
Memo
Memo
Monad
Monad
idMonad
optionMonad
eitherMonad
futureMonad
MonadSyntax
MonadOps
MonadFlattenOps
Monoid
Monoid
Name
Name
name
NaturalTransformation
NaturalTransformation
naturalId
Need
Need
Semigroup
Semigroup
SemigroupSyntax
Show
Show
ShowSyntax
Traverse
Traversal
Traverse
listInstance
optionInstance
eitherInstance
TraverseSyntax
TraverseSyntax
Tree
Tree
Node
Leaf
TreeLoc
TreeLoc
Value
syntax
specs2-fp
/
org.specs2.fp
/
Traverse
/
listInstance
listInstance
given
listInstance
:
Traverse
[
List
]
Type members
Value members
Type members
Inherited classlikes
class
Traversal
[G[_]](using G:
Applicative
[
G
])
Inherited from
Traverse
Value members
Concrete methods
def
map
[A, B](fa:
List
[A])(f: A => B):
List
[B]
def
traverseImpl
[G[_], A, B](fa:
List
[A])(f: A => G[B])(using evidence$5:
Applicative
[G]): G[
List
[B]]
Inherited methods
def
as
[A, B](fa:
List
[A])(b: => B):
List
[B]
Inherited from
Functor
def
sequence
[G[_], A](fga:
List
[G[A]])(using evidence$4:
Applicative
[G]): G[
List
[A]]
Traverse with the identity function.
Traverse with the identity function.
Inherited from
Traverse
def
traversal
[G[_]](using evidence$2:
Applicative
[G]):
Traversal
[G]
Inherited from
Traverse
def
traverse
[G[_], A, B](fa:
List
[A])(f: A => G[B])(using evidence$3:
Applicative
[G]): G[
List
[B]]
Inherited from
Traverse
final
def
traverseM
[A, G[_], B](fa:
List
[A])(f: A => G[
List
[B]])(using G:
Applicative
[G], F:
Monad
[
List
]): G[
List
[B]]
Inherited from
Traverse
def
void
[A](fa:
List
[A]):
List
[
Unit
]
Inherited from
Functor
def
xmap
[A, B](fa:
List
[A], f: A => B, g: B => A):
List
[B]
Inherited from
Functor