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
Implicits
Inherited implicits
Set isomorphism is commutative
Set isomorphism is commutative
- Inherited from
- IsomorphismsLow1
Natural isomorphism is commutative
Natural isomorphism is commutative
- Inherited from
- IsomorphismsLow1
Natural isomorphism is reflexive
Natural isomorphism is reflexive
- Inherited from
- IsomorphismsLow0