root/scalaz/Isomorphisms/Iso3

Iso3

trait Iso3[Arr[_[_, _], _[_, _]], F[_, _], G[_, _]]

Isomorphism for arrows of kind (* -> * -> ) -> ( -> * -> *) -> *

class Object
trait Matchable
class Any
Iso3[Arr, F, G]

Value members

Abstract methods

def from: Arr[G, F]
def to: Arr[F, G]

Concrete methods

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