category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
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 a
type Limit = Ran (Const Void) Limit { runLimit :: forall a. f a }
class HasLimit f where
Methods
limit :: f a
data Colimit f 
type Colimit = Lan (Const Void)
Constructors
forall b . Colimit (f b)
show/hide Instances
MonadReader (Colimit f) (Cocone f)
liftLimit :: (f :~> g) -> Limit f -> Limit g
liftColimit :: (f :~> g) -> Colimit f -> Colimit g
Produced by Haddock version 2.1.0