A sighting of sequence function in Practical FP in Scala
Denunciar
Compartilhar
•0 gostou•28 visualizações
![@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 gostou•28 visualizações
Denunciar
Compartilhar
Baixar para ler 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.
Recomendados
Mais conteúdo relacionado
Mais de Philip Schwarz
Mais de Philip Schwarz(20)
Último
Último(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