| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | sjoerd@w3future.com |
Data.Category.Void
Description
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 ~>)
- initialize :: CategoryO ~> a => InitialObject ~> ~> a
- class VoidLimit (~>) where
- type TerminalObject (~>) :: *
- voidLimit :: Limit (VoidF ~>) (TerminalObject ~>)
- terminate :: CategoryO ~> a => a ~> 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 (~>).
Associated Types
type InitialObject (~>) :: *Source
Methods
voidColimit :: Colimit (VoidF ~>) (InitialObject ~>)Source
initialize :: CategoryO ~> a => InitialObject ~> ~> aSource
Instances
| VoidColimit (->) | |
| VoidColimit Boolean | |
| VoidColimit Omega | |
| Functor f => VoidColimit (Alg (EndoHask f)) |
class VoidLimit (~>) whereSource
A terminal object is the limit of the functor from 0 to (~>).
Associated Types
type TerminalObject (~>) :: *Source
Methods
voidLimit :: Limit (VoidF ~>) (TerminalObject ~>)Source
terminate :: CategoryO ~> a => a ~> TerminalObject ~>Source