IsoFunctorTemplate
Convenience template trait to implement <~>
Value members
Inherited methods
def %~(f: NaturalTransformation[G, G])(implicit FG: Liskov[NaturalTransformation[F, G], NaturalTransformation[F, G]], GF: Liskov[NaturalTransformation[G, F], NaturalTransformation[G, F]]): NaturalTransformation[F, F]
- Inherited from
- Iso2
def unlift[A](implicit FG: Liskov[NaturalTransformation[F, G], NaturalTransformation[F, G]], GF: Liskov[NaturalTransformation[G, F], NaturalTransformation[G, F]]): IsoSet[F[A], G[A]]
- Inherited from
- Iso2