Skip to content

Traversable

funstruct.typeclasses.traversable

Traversable — map each element to an effect, then collect results.

traverse: (A → G[B]) → F[A] → G[F[B]] sequence: F[G[A]] → G[F[A]]

Traversable

Bases: Foldable

traverse + sequence.

Source code in funstruct/typeclasses/traversable.py
16
17
18
19
20
21
22
23
class Traversable(Foldable):
    """traverse + sequence."""

    @abstractmethod
    def traverse(self, fa, f: Callable, G: Applicative) -> object: ...

    def sequence(self, fga, G: Applicative) -> object:
        return self.traverse(fga, lambda x: x, G)