Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
0, the empty category. The limit and colimit of the functor from 0 to some category provide terminal and initial objects in that category.
- data Void a b
- data VoidF (~>) = VoidF
- class VoidColimit (~>) where
- type InitialObject (~>) :: *
- voidColimit :: Colimit (VoidF ~>) (InitialObject ~>)
- class VoidLimit (~>) where
- type TerminalObject (~>) :: *
- voidLimit :: Limit (VoidF ~>) (TerminalObject ~>)
Documentation
The (empty) data type of the arrows in 0.
class VoidColimit (~>) whereSource
An initial object is the colimit of the functor from 0 to (~>).
type InitialObject (~>) :: *Source
voidColimit :: Colimit (VoidF ~>) (InitialObject ~>)Source