• Home
• org.scalaz
• scalaz-core_native0.5_3
• 7.4.0-M15
• source code
• ComonadTrans.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.

scalaz.ComonadTrans.scala Maven / Gradle / Ivy

package scalaz

trait ComonadTrans[F[_[_], _]] {
  def lower[G[_]: Cobind, A](a: F[G, A]): G[A]
}

object ComonadTrans {
  def apply[F[_[_], _]](implicit F: ComonadTrans[F]): ComonadTrans[F] = F
}

trait Cohoist[F[_[_], _]] extends ComonadTrans[F] {
  def cohoist[M[_], N[_]: Comonad](f: M ~> N): F[M, *] ~> F[N, *]
}

object Cohoist {
  def apply[F[_[_], _]](implicit F: Cohoist[F]): Cohoist[F] = F
}