Isomorphism
Type members
Inherited classlikes
Isomorphism for arrows of kind * -> * -> *
Isomorphism for arrows of kind * -> * -> *
- Inherited from
- Isomorphisms
Isomorphism for arrows of kind (* -> ) -> ( -> *) -> *
Isomorphism for arrows of kind (* -> ) -> ( -> *) -> *
- Inherited from
- Isomorphisms
Isomorphism for arrows of kind (* -> * -> ) -> ( -> * -> *) -> *
Isomorphism for arrows of kind (* -> * -> ) -> ( -> * -> *) -> *
- Inherited from
- Isomorphisms
Convenience template trait to implement <~~>
Convenience template trait to implement <~~>
- Inherited from
- Isomorphisms
Convenience template trait to implement <~>
Convenience template trait to implement <~>
- Inherited from
- Isomorphisms
Inherited types
Natural isomorphism between functors
Natural isomorphism between functors
- Inherited from
- Isomorphisms