Iso3
Isomorphism for arrows of kind (* -> * -> ) -> ( -> * -> *) -> *
Value members
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 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]