Iso2
Isomorphism for arrows of kind (* -> ) -> ( -> *) -> *
Value members
Concrete methods
def %~(f: NaturalTransformation[G, G])(implicit FG: Liskov[Arr[F, G], NaturalTransformation[F, G]], GF: Liskov[Arr[G, F], NaturalTransformation[G, F]]): NaturalTransformation[F, F]
def unlift[A](implicit FG: Liskov[Arr[F, G], NaturalTransformation[F, G]], GF: Liskov[Arr[G, F], NaturalTransformation[G, F]]): IsoSet[F[A], G[A]]