Slide 1

Slide 1 text

sequence a sighting of in @philip_schwarz slides by by

Slide 2

Slide 2 text

No content

Slide 3

Slide 3 text

^⇧P Type Info ^⇧P Type Info

Slide 4

Slide 4 text

@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