category-extras-0.50.3: Various modules and constructs inspired by category theoryContentsIndex
Control.Functor.Limit
Portabilitynon-portable (rank-2 polymorphism/existentials in Ran/Lan)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
type Lim = Ran (Const Void)
type Colim = Lan (Const Void)
module Control.Functor.KanExtension
data Void
show/hide Instances
Produced by Haddock version 2.1.0