scalaz-core/scalaz/BiConstrainedNaturalTransformation

BiConstrainedNaturalTransformation

trait BiConstrainedNaturalTransformation[F[_, _], G[_, _], C[_], E[_]]

A constrained transformation natural in both sides of a bifunctor

class Object
trait Matchable
class Any

Value members

Abstract methods

def apply[A : C, B : E](f: F[A, B]): G[A, B]