 | category-extras-0.50.3: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Functor.Limit | Portability | non-portable (rank-2 polymorphism/existentials in Ran/Lan) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
|
Documentation |
|
type Lim = Ran (Const Void) |
|
type Colim = Lan (Const Void) |
|
module Control.Functor.KanExtension |
|
data Void |
Instances | |
|
|
Produced by Haddock version 2.1.0 |