A sighting of sequence function in Practical FP in Scala
Report
Share
•0 likes•27 views
![@typeclass trait Traverse[F[_]] extends Functor[F] with Foldable[F] with …
…
Thread all the G effects through the F structure to invert the structure from F[G[A]] to G[F[A]].
def sequence[G[_]: Applicative, A](fga: F[G[A]]): G[F[A]] =
traverse(fga)(ga => ga)
List[F[Unit]] => F[List[Unit]]
case class CartRoutes[F[_]: JsonDecoder: Monad]
Applicative
Monad
Functor
Traverse
Foldable](https://image.slidesharecdn.com/2023-09-24-sighting-of-scala-cats-sequence-function-in-practical-fp-in-scala-230924162049-65d2cd06/75/a-sighting-of-sequence-function-in-practical-fp-in-scala-4-2048.jpg?cb=1696171716)
A sighting of sequence function in Practical FP in Scala
•0 likes•27 views
Report
Share
Download to read offline
Slide deck home: http://fpilluminated.com/assets/sighting-of-scala-cats-sequence-function-in-practical-fp-in-scala.html. Download PDF for perfect image quality.
Recommended
More Related Content
More from Philip Schwarz
More from Philip Schwarz(20)
Recently uploaded
Recently uploaded(20)
A sighting of sequence function in Practical FP in Scala
- 1. sequence a sighting of in @philip_schwarz slides by http://fpilluminated.com/ by
- 2. with some minor renaming, to ease comprehension for anyone lacking context – see repo for original
- 3. ^⇧P Type Info ^⇧P Type Info
- 4. @typeclass trait Traverse[F[_]] extends Functor[F] with Foldable[F] with … … Thread all the G effects through the F structure to invert the structure from F[G[A]] to G[F[A]]. def sequence[G[_]: Applicative, A](fga: F[G[A]]): G[F[A]] = traverse(fga)(ga => ga) List[F[Unit]] => F[List[Unit]] case class CartRoutes[F[_]: JsonDecoder: Monad] Applicative Monad Functor Traverse Foldable