category-extras-0.53.5: 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)
liftLimit :: (f :~> g) -> Limit f -> Limit g
liftColimit :: (f :~> g) -> Colimit f -> Colimit g
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
liftLimit :: (f :~> g) -> Limit f -> Limit gSource
liftColimit :: (f :~> g) -> Colimit f -> Colimit gSource
Produced by Haddock version 2.4.2