|
Control.Functor.Limit | Portability | non-portable (rank-2 polymorphism/existentials) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
Synopsis |
|
|
|
Documentation |
|
type Limit f = forall a. f a | Source |
|
type Limit = Ran (Const Void)
Limit { runLimit :: forall a. f a }
|
|
|
| Methods | | | Instances | |
|
|
|
type Colimit = Lan (Const Void) | Constructors | | Instances | |
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |