root/scalaz/Isomorphisms/IsoBifunctorTemplate

IsoBifunctorTemplate

trait IsoBifunctorTemplate[F[_, _], G[_, _]] extends IsoBifunctor[F, G]

Convenience template trait to implement <~~>

trait Iso3[~~>, F, G]
class Object
trait Matchable
class Any

Value members

Abstract methods

def from_[A, B](ga: G[A, B]): F[A, B]
def to_[A, B](fa: F[A, B]): G[A, B]

Inherited methods

def flip: Iso3[~~>, G, F]
Inherited from
Iso3
def unlift[A, B](implicit FG: Liskov[BiNaturalTransformation[F, G], BiNaturalTransformation[F, G]], GF: Liskov[BiNaturalTransformation[G, F], BiNaturalTransformation[G, F]]): IsoSet[F[A, B], G[A, B]]
Inherited from
Iso3
def unlift1[A](implicit FG: Liskov[BiNaturalTransformation[F, G], BiNaturalTransformation[F, G]], GF: Liskov[BiNaturalTransformation[G, F], BiNaturalTransformation[G, F]]): IsoFunctor[[_] =>> F[A, _$19], [_] =>> G[A, _$20]]
Inherited from
Iso3

Concrete fields

final
val from: BiNaturalTransformation[G, F]
final
val to: BiNaturalTransformation[F, G]