Isomorphisms
sealed abstract
Type members
Classlikes
Isomorphism for arrows of kind (* -> ) -> ( -> *) -> *
Isomorphism for arrows of kind (* -> ) -> ( -> *) -> *
Isomorphism for arrows of kind (* -> * -> ) -> ( -> * -> *) -> *
Isomorphism for arrows of kind (* -> * -> ) -> ( -> * -> *) -> *
trait IsoBifunctorTemplate[F[_, _], G[_, _]] extends IsoBifunctor[F, G] with IsoBifunctorTemplate0[F, G]
Convenience template trait to implement <~~>
Convenience template trait to implement <~~>
Implicits
Inherited implicits
implicit
Set isomorphism is commutative
Set isomorphism is commutative
- Inherited from
- IsomorphismsLow1
implicit
Natural isomorphism is commutative
Natural isomorphism is commutative
- Inherited from
- IsomorphismsLow1
implicit
Natural isomorphism is reflexive
Natural isomorphism is reflexive
- Inherited from
- IsomorphismsLow0