Commits

Anonymous committed e1074a7

Update traverse slides to be a bit more consistent

  • Participants
  • Parent commits 9562d95

Comments (0)

Files changed (1)

 	<div class="slide">
 	<p>The <code>Traverse</code> typeclass provides exactly this. It gives the ability to commute two functors:</p>
 	<pre class="scala">
-trait Traverse[F[_]] extends Functor {
-	def sequence[G[_]: Applicative, A](fga: F[G[A]]): G[F[A]]
+trait Traverse[M[_]] extends Functor {
+	def sequence[N[_]: Applicative, A](mna: M[N[A]]): N[M[A]]
 }
 	</pre>	
-			<p style="font-size: 60%">(scalaz uses an alternative formulation based on a function <code>traverse: F[A] => (A => G[B]) => G[F[B]]</code>)</p>	
+			<p style="font-size: 60%">(scalaz uses an alternative formulation based on a function <code>traverse: M[A] => (A => N[B]) => N[M[B]]</code>)</p>	
 	</div>
 	<div class="slide">
 		<p><code>Traverse</code> is tremendously handy in its own right. For example, let's turn a list of asynchronous computations into an asynchronous computation of a list:</p>