Safe Haskell | None |
---|---|

Language | Haskell2010 |

- class Category m where
- type Object m a :: Constraint
- id :: Object m a => m a a
- (.) :: m b c -> m a b -> m a c
- observeObjects :: m a b -> Dict (Object m a, Object m b)

# Documentation

The class of categories `m`

with objects of kind `k`

which satisfy the
constraint `Object m`

. For any objects `a`

and `b`

, the type `m a b`

is the
type of morphisms with domain `a`

and codomain `b`

.

type Object m a :: Constraint Source

The set of objects.