dev.constructive.eo.forgetful.ForgetfulTraverse
See theForgetfulTraverse companion object
Traverse the focus of F[_, _] under an effectful A => G[B]. Parameterised by the applicative constraint C[_[_]] — Applicative for carriers with miss branches, Functor for Tuple2, Distributive for ModifyF.
Type parameters
- C
-
constraint on
G - F
-
the carrier
Attributes
- Companion
- object
- Source
- ForgetfulTraverse.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object traverseobject traverseobject traverseobject eitherFTraverseobject tupleFTraverseobject tupleFTraverseApplicative
Members list
In this article