Index
| embed | Data.Groupoid.Isomorphism |
| Groupoid | Data.Groupoid |
| inv | Data.Groupoid |
| Iso | |
| 1 (Type/Class) | Data.Groupoid.Isomorphism |
| 2 (Data Constructor) | Data.Groupoid.Isomorphism |
| project | Data.Groupoid.Isomorphism |
groupoids-0.1.1: Haskell 98 Groupoids
Index
| embed | Data.Groupoid.Isomorphism |
| Groupoid | Data.Groupoid |
| inv | Data.Groupoid |
| Iso | |
| 1 (Type/Class) | Data.Groupoid.Isomorphism |
| 2 (Data Constructor) | Data.Groupoid.Isomorphism |
| project | Data.Groupoid.Isomorphism |