Skip to content

Instantly share code, notes, and snippets.

@Daenyth

Daenyth/1-MapTraverse.md

Last active March 29, 2024 16:35
Show Gist options
  • Star 8 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save Daenyth/e7ed8ca548b7f60cfeb924eb0e9a8811 to your computer and use it in GitHub Desktop.
Save Daenyth/e7ed8ca548b7f60cfeb924eb0e9a8811 to your computer and use it in GitHub Desktop.
Download ZIP
Scala (cats) map/traverse parallels
Raw
1-MapTraverse.md

Parallels between map and similar functions

map          :: F[A] => (A =>     B)   => F[B]
flatMap      :: F[A] => (A =>   F[B])  => F[B]
traverse     :: G[A] => (A =>   F[B])  => F[G[B]]
flatTraverse :: G[A] => (A => F[G[B]]) => F[G[B]]
traverse_    :: F[A] => (A =>   F[B])  => F[Unit]
Raw
2-TraverseSequence.md

traverse vs sequence

Both let you "flip" nested effects inside out

traverse  :: G[A] => (A => F[B]) => F[G[B]]
sequence  :: G[F[A]]             => F[G[A]]

You can also run just the effects and ignore the value

traverse_ :: F[A] => (A => F[B]) => F[Unit]
sequence_ :: G[F[A]]             => F[Unit]

Both functions can be defined in terms of each other

fa.traverse(f) == fa.map(f).sequence
fa.sequence    == fa.traverse(identity)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment