category-extras-0.52.1: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Functor.Limit
Portabilitynon-portable (rank-2 polymorphism/existentials)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Synopsis
type Limit f = forall a. f a
class HasLimit f where
limit :: f a
data Colimit f = forall b . Colimit (f b)
Documentation
type Limit f = forall a. f aSource
type Limit = Ran (Const Void) Limit { runLimit :: forall a. f a }
class HasLimit f whereSource
Methods
limit :: f aSource
show/hide Instances
data Colimit f Source
type Colimit = Lan (Const Void)
Constructors
forall b . Colimit (f b)
show/hide Instances
Produced by Haddock version 2.3.0