root/scalaz/Cohoist

Cohoist

trait Cohoist[F[_[_], _]] extends ComonadTrans[F]
Companion
object
trait ComonadTrans[F]
class Object
trait Matchable
class Any

Value members

Abstract methods

def cohoist[M[_], N[_] : Comonad](f: NaturalTransformation[M, N]): NaturalTransformation[[_] =>> F[M, _$13], [_] =>> F[N, _$14]]

Inherited methods

def lower[G[_] : Cobind, A](a: F[G, A]): G[A]
Inherited from
ComonadTrans