• Home
• com.thoughtbot
• monocats_2.12
• 0.1.1
• source code
• traverse.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

monocats.instances.traverse.scala Maven / Gradle / Ivy

package monocats.instances

import cats.{Applicative, Traverse}
import monocats.MonoTraverse
import scala.language.higherKinds

package object traverse extends TraverseInstances

trait TraverseInstances {
  implicit def monocatsTraverseInstances[F[_]: Traverse, A] =
    new TraverseMonoTraverseInstance[F, A]
}

private[instances] class TraverseMonoTraverseInstance[F[_], A](
    implicit F: Traverse[F])
    extends FoldableMonoFoldableInstance[F, A]
    with MonoTraverse[F[A]] {

  def traverse[G[_]: Applicative](fa: F[A])(f: A => G[A]): G[F[A]] =
    F.traverse(fa)(f)
}