IsoBifunctorTemplate
trait IsoBifunctorTemplate[F[_, _], G[_, _]] extends IsoBifunctor[F, G] with IsoBifunctorTemplate0[F, G]
Convenience template trait to implement <~~>
Value members
Inherited methods
def %~(f: BiNaturalTransformation[G, G])(implicit FG: Liskov[BiNaturalTransformation[F, G], BiNaturalTransformation[F, G]], GF: Liskov[BiNaturalTransformation[G, F], BiNaturalTransformation[G, F]]): BiNaturalTransformation[F, 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
def unlift2[A](implicit FG: Liskov[BiNaturalTransformation[F, G], BiNaturalTransformation[F, G]], GF: Liskov[BiNaturalTransformation[G, F], BiNaturalTransformation[G, F]]): IsoFunctor[F, G]
- Inherited from
- Iso3