specs2-fp
specs2-fp
org.specs2.fp
Applicative
Applicative
futureApplicative
ApplicativeSyntax
EitherSyntax
Foldable
Foldable
given_Foldable_LazyList
given_Foldable_List
given_Foldable_Vector
FoldableSyntax
Functor
Functor
EitherFunctor
OptionFunctor
FunctorSyntax
FunctorSyntax
Identityx
Identityx
Memo
Memo
Monad
Monad
eitherMonad
futureMonad
idMonad
optionMonad
MonadSyntax
MonadFlattenOps
MonadOps
Monoid
Monoid
Name
Name
name
NaturalTransformation
NaturalTransformation
naturalId
Need
Need
Semigroup
Semigroup
SemigroupSyntax
Show
Show
ShowSyntax
Traverse
Traversal
Traverse
eitherInstance
listInstance
optionInstance
TraverseSyntax
TraverseSyntax
Tree
Tree
Leaf
Node
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