License | BSD-style (see the file LICENSE) |
---|---|
Maintainer | sjoerd@w3future.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Documentation
Instances
Category Void Source # |
|
(Category k, HasInitialObject k) => HasColimits Void k Source # | An initial object is the colimit of the functor from 0 to k. |
Defined in Data.Category.Limit type ColimitFam Void k f Source # | |
(Category k, HasTerminalObject k) => HasLimits Void k Source # | A terminal object is the limit of the functor from 0 to k. |
type ColimitFam Void k f Source # | |
Defined in Data.Category.Limit | |
type LimitFam Void k f Source # | |
Defined in Data.Category.Limit |
voidNat :: (Functor f, Functor g, Dom f ~ Void, Dom g ~ Void, Cod f ~ d, Cod g ~ d) => f -> g -> Nat Void d f g Source #