Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class Semigroupoid k1 => Groupoid (k1 :: k -> k -> *) where
Documentation
class Semigroupoid k1 => Groupoid (k1 :: k -> k -> *) where #
semigroupoid with inverses. This technically should be a category with inverses, except we need to use Ob to define the valid objects for the category
Instances
Groupoid (Coercion :: k -> k -> *) | |
Defined in Data.Groupoid | |
Groupoid ((:~:) :: k -> k -> *) | |
Defined in Data.Groupoid | |
Groupoid ((:~~:) :: k -> k -> *) | |
Defined in Data.Groupoid | |
Groupoid k2 => Groupoid (Dual k2 :: k1 -> k1 -> *) | |
Defined in Data.Groupoid |